Tools

DiPro – Directed Probabilistic Counterexample Generation Tool Released

3 Comments / Publications, Research, Software, Tools / By Florian Leitner-Fischer

After many months of implementation and testing we finally released the DiPro tool for probabilistic counterexample generation tool. I will give a talk on DiPro’s features on the SPIN 2011 Workshop (July 14-15), co-located with CAV 2011 in Snowbird Utah. What is DiPro? Current stochastic model checkers do not make counterexamples for property violations readily …

DiPro – Directed Probabilistic Counterexample Generation Tool Released Read More »

Mac OSX Text Editor: TextWrangler

1 Comment / Software, Tools / By Florian Leitner-Fischer

On my Windows computers I use Notepad++ for editing text files like html, css, php and other script files. Now, that I’m using a MacBook Pro as work computer, I searched for an equivalent text editor. The features I need are: Freeware Syntax Highlighting Comparing Files Good Search / Replace capabilities After I tested a …

Mac OSX Text Editor: TextWrangler Read More »

Tool List

5 Comments / English Posts, Software, Tools / By Florian Leitner-Fischer

Yesterday I received my new quad core PC and I want to present a list of software tools that I don’t want to miss: Synergy: Enables you to share the keyboard and mouse with another PC via LAN. Notepad++: Great editor. ExpandDrive: Mount any folder that is accessibly via SSH as an network drive. Filezilla: …

Tool List Read More »

SVN Plugin für Dreamweaver

Leave a Comment / PHP, Tools / By Florian Leitner-Fischer

Es ist einfach lästig, wenn man immer zwischen Dreamweaver und TortoiseSVN hin und her springen muss. SubWeaver schafft hier Abhilfe, das Addin für Dreamweaver, integriert Tortoise SVN in Dreamweaver so das man dort direkt commiten kann. Und das Beste ist, SubWeaver ist absolut umsonst.

Google Browser Sync

Leave a Comment / Software, Tools / By Florian Leitner-Fischer

Wer häufig an mehreren Rechnern arbeiten kennt das folgende Problem sicher: Man weiß das man einen Link in seinen Favoriten hat und braucht diesen genau jetzt, sitzt aber am falschen Rechner. Hier mit ist jetzt Schluss! Mit der Firefox Erweiterung Google Browser Sync kann man seine Favoriten auf allen Rechnern synchronisieren und als kleiner Bonus hat …

Google Browser Sync Read More »

Vista Battery Saver

Leave a Comment / My Life, Software, Tools / By Florian Leitner-Fischer

Mit der Installation von Windows Vista vor über 8 Monaten, wurde die “Lebensdauer” meines Notebooks Akkus in etwa halbiert. das lag vor allem daran, dass ich auch im Akku betrieb, Aero aktiviert hatte, weil ich nicht immer wenn ich das Notebook vom Netz genommen habe umschalten wollte. Eine Lösung für dieses Problem ist der Vista …

Vista Battery Saver Read More »

Windows Live Writer 1.0 hat Probleme mit Umlauten

1 Comment / Software, Tools / By Florian Leitner-Fischer

Bei meinem letzten Post ist mir aufgefallen, das der Windows Live Writer Version 1.0 Beta Deutsch, noch Probleme mit deutschen Umlauten hat. Dies liegt daran, das der Live Writer die Umlaute nicht HTML-Escape Tags umbaut. Sprich ein ä bleibt auch im HTML Code ein ä und wird nicht zu ä. Deswegen wird der Post dann …

Windows Live Writer 1.0 hat Probleme mit Umlauten Read More »

Scott Hanselman’s 2007 Ultimate Developer and Power Users Tool List for Windows

Leave a Comment / Software, Tools / By Florian Leitner-Fischer

Scott Hanselman hat die neuste Version seiner Tool Liste veroeffentlicht. Ich habe selten eine so umfangreiche und sorgfältig ausgewählte Tool-Liste gesehen. Ein kurzer Blick lohnt sich auf jeden Fall. http://www.hanselman.com/tools

Täglich ein Geschenk

Leave a Comment / Software, Tools / By Florian Leitner-Fischer

Wir leben in einer Zeit in der es nichts mehr um sonst gibt! ? Sollte man zumindest meinen ABER bei Giveaway of the Day bekommt man jeden Tag ein kleines Geschenk 😉Jeden Tag wird dort ein (Shareware-) Programm kostenlos zum download angeboten. Dieses ist dann genau 24 Stunden verf

Splitten von Dateien unter Linux

Leave a Comment / Software, Tools / By Florian Leitner-Fischer

Vorkurzem wollte ich eine Datei (5GB) auf einer Linux Maschine teilen, um sie dann mit meinem 1 GB USB Stick auf einen anderen Rechner zu kopieren. (Leider bestand keine Netzwerkverbindung) Das Teilen ist recht einfach : split [OPTION] [INPUT [PREFIX]] Options: -b, –bytes=SIZE Größe der einzelnen Teile in Bytes Nun ist es zu gegebener Maßen, …

Splitten von Dateien unter Linux Read More »

Wir verwenden Cookies