Note that I have moved. The new contact information is:

 Bernd Westphal 
 <replace 'oldenburg' by new location in the old address found below>

 Lehrstuhl für Softwaretechnik
 Institut für Informatik
 Fakultät für Angewandte Wissenschaften
 Albert-Ludwigs-Universität Freiburg
 Georges-Koehler-Allee 52

 79110 Freiburg

 Room 00-018

Bernd Westphal   westphal * informatik.uni-oldenburg.de  Abteilung Sicherheitskritische Eingebettete Systeme  Department für Informatik  Fakultät II  Carl von Ossietzky Universität Oldenburg  26111 Oldenburg  Telephone: +49 441 9722-506  Fax: +49 441 9722-502  Room D 110, OFFIS-Building (in doubt, ask at reception for the way; don't believe the receptionist's claim of my non-existence)  Official deparment's homepage of the aforementioned.

Last Update: Wed Jan 16 15:45:20 MET 2008
Get your own progress bar.

Time to go: 4 days, 20 hours, 14 minutes, 39 seconds

• Content
• Rejected at high quality conferences
• Publications
• Talks
• Projects Involved In
• Other Botches (partly for internal use only)
• Official Tools (for internal use only)
• Inofficial Tools
• Other Tools
• LaTeX Fun
• Miscellaneous
• Elsewhere

CIAA'05	ICALP'05	ICFEM'05	ASE'05	FM'06	FSTTCS'06	TACAS'06	VMCAI'07	CAV'07
FSTTCS'07	FM'08

See also: Rejecta Mathematica.

• Search the department's publications server for 'Westphal'.

• DBLP Bibliography Server.

• Bernd Westphal. Specification and Verification of Dynamic Topology Systems. Phd. Thesis, Carl von Ossietzky Universität Oldenburg, May, 2008.
  [ PDF] [BibTeX]  –  [Elektronische Dissertation].

• Jörg Bauer, Tobe Toben, and Bernd Westphal. Mind the Shapes: Abstraction Refinement via Topology Invariants. In: Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, and Yoshio Okamura (Eds.), Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 2007, Proceedings, 35-50, Lecture Notes in Computer Science 4762, Springer-Verlag, 2007.
  [ PDF] [BibTeX]  –  © Springer-Verlag.

• Jörg Bauer, Werner Damm, Tobe Toben, and Bernd Westphal. Verification and Synthesis of OCL Constraints via Topology Analysis: A Case Study. In: Andy Schürr, Manfred Nagl, Albert Zündorf (Eds.), Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Proceedings of Selected and Invited Papers, Schlosshotel am Bergpark, Wilhelmshöhe, Kassel, Germany, October 10 - 12, 2007, 357-372, Pre-Copy of the Proceedings.
  [ PDF] [BibTeX] .

• Werner Damm, Tobe Toben, Bernd Westphal. On the Expressive Power of Live Sequence Charts. In: Thomas Reps, Mooly Sagiv, and Jörg Bauer (Eds.), Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm, 225-246, Lecture Notes in Computer Science 4444, Springer-Verlag, 2007.
  [ PDF] [BibTeX]  –  © Springer-Verlag.

• Björn Wachter, Bernd Westphal. The Spotlight Principle. On Combining Process-Summarising State Abstractions. In: Byron Cook and Andreas Podelski (Eds.), Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings, 182-198, Lecture Notes in Computer Science 4349, Springer-Verlag, 2007.
  [ PDF] [BibTeX]  –  © Springer-Verlag.

• Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke. Check It Out: On the Efficient Formal Verification of Live Sequence Charts. In: Thomas Ball, Robert B. Jones (Eds.), Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, 219-233, Lecture Notes in Computer Science 4144, Springer-Verlag, 2006.
  [ PDF] [BibTeX]  –  [DBLP] [ElectronicEdition]  –  © Springer-Verlag.

• Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal. Specification and Verification of Dynamic Communication Systems. In: Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 189-200, 2006, IEEE Computer Society Press.
  [ PDF] [BibTeX] [BibTeX (IEEE)]  –  [ElectronicEdition]  –  © IEEE CS Press.

• Bernd Westphal, Tobe Toben. The Good, the Bad and the Ugly: Well-formedness of Live Sequence Charts. In: Luciano Baresi and Reiko Heckel (Eds.), Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings, 230-246, Lecture Notes of Computer Science 3922, Springer-Verlag, 2006.
  [ PDF] [BibTeX]  –  [DBLP] [ElectronicEdition]  –  © Springer-Verlag.

• Tobe Toben, Bernd Westphal. On the Expressive Power of Live Sequence Charts. In: Jiri Wiedermann, Gerard Tel, Jaroslav Pokorny, Maria Bielikova, and Julius Stuller (Eds.), SOFSEM 2006: Theory and Practice of Computer Science, 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 2006, Volume II, 33-43, January 2006, Institute of Computer Science AS CR, Prague.
  [ PDF] [BibTeX]  –  © AS CR.

• Christian Mrugalla, Oliver Robbe, Ingo Schinz, Tobe Toben, Bernd Westphal. Formal Verification of a Sensor Voting and Monitoring UML Model. In: S. H. Houmb, J. Jürjens, R. France (Eds.), Proceedings of the 4th International Workshop on Critical Systems Development Using Modeling Languages ( CSDUML 2005), September 2005, Technische Universität München.
  [ PDF] [BibTeX]

• Tobe Toben, Bernd Westphal. Concurrent LSC Verification. On Decomposition Properties of Partially Ordered Symbolic Automata. In: R. Lazic, Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS'2005, ENTCS, 145:95--111, Elsevier B.V., January 2006.
  [ PDF] [BibTeX]  –  [DBLP] [ElectronicEdition]  –  © Elsevier B.V.
  
  (Miserably rejected) major revision: PDF, BibTeX.

• Bernd Westphal. LSC Verification for UML Models with Unbounded Creation and Destruction. In: B. Cook, S. Stoller, and W. Visser (Eds.), Proceedings of the Workshop on Software Model Checking (SoftMC 2005), ENTCS, 144(3):133-145, Elsevier B.V., July 2005.
  [ PDF] [BibTeX]  –  [DBLP] [ElectronicEdition]  –  © Elsevier B.V.

• Werner Damm, Bernd Westphal. Live and Let Die: LSC-based Verification of UML-Models. Science of Computer Programming, 55(1-3):117-159, March 2005.
  [ PDF (Prelim. Version)] [BibTeX]  –  [DBLP] [ElectronicEdition]  –  © Elsevier B.V.

• Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal. The Rhapsody UML Verification Environment. In: Jorge R. Cuellar, Zhiming Liu (Eds.), Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), Beijing, China, 174-183, IEEE Computer Society Press, 2004.
  [ PDF] [BibTeX]  –  [DBLP] [ElectronicEdition]  –  © IEEE CS Press.

• Werner Damm, Bernd Westphal. Introduction to Subject Area Charts. In: Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, 322-324, Lecture Notes of Computer Science 3147, Springer-Verlag, 2004.
  [ PDF] [BibTeX]  –  [DBLP] [ElectronicEdition]  –  © Springer-Verlag.

• Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke. Live Sequence Charts. In: Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, 374-399, Lecture Notes of Computer Science 3147, Springer-Verlag, 2004.
  [ PDF] [BibTeX]  –  [DBLP] [ElectronicEdition]  –  © Springer-Verlag.

• Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke. Formal Verification of LSCs in the Development Process. In: Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, 494-516, Lecture Notes of Computer Science 3147, Springer-Verlag, 2004.
  [ PDF] [BibTeX]  –  [DBLP] [ElectronicEdition]  –  © Springer-Verlag.

• Werner Damm, Bernd Westphal. Live and Let Die: LSC-based Verification of UML-Models. F.S.d. Boer, M. Bonsangue, S. Graf, W.-P. de Roever (Eds.), Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, 99-135, Lecture Notes in Computer Science 2852, Springer-Verlag, 2003.
  [Abstract] [ PDF] [BibTeX]  –  [DBLP] [ElectronicEdition]  –  © Springer-Verlag.

• Jochen Klose, Bernd Westphal. Verification of a Radio-based Signaling System Using Scenarios. In: Eckehard Schnieder (Ed.), International Workshop on Software Specification of Safety Relevant Transportation Control Tasks, 23 -- 24 April 2002, Braunschweig, 49-62, Fortschritt-Berichte VDI, Reihe 12, Verkehrstechnik/Fahrzeugtechnik, Nummer 535, VDI-Verlag Düsseldorf, 2003.
  [Abstract] [ PDF] [BibTeX]  –  © VDI Verlag.

• Bernd Westphal, Jochen Klose. Relating LSC Specifications to UML Models. In: Hartmut Ehrig, Martin Große-Rhode (Eds.), Proceedings of the Workshop Integration of Software Specification Techniques, INT'02, 2002.
  [Abstract] [ PDF] [BibTeX]  –  [CiteSeer]

• Bernd Westphal. Exploiting Object Symmetry in Verification of UML-Designs. Diplomarbeit, Carl von Ossietzky Universität Oldenburg, 2001.
  [ PDF] [BibTeX]

• Frank Köster, Bernd Westphal, Wolfgang Meyer, Michael Sonnenschein. Eine Unterstützung umweltepidemiologischer Untersuchungen durch die integrierte Anwendung individuenorientierter Simulationen und Techniken des Knowledge Discovery in Databases - Data Mining in Zeitreihen. In: D.P.F. Möller (Ed.), Frontiers in Simulation, Simulationstechnik - 14. Symposium in Hamburg, September 2000, ASIM, 395-400, 2000.
  [Abstract] [BibTeX]

• Frank Köster, Roland Radtke, Bernd Westphal, Michael Sonnenschein. Combining Methodical Procedures from Knowledge Discovery in Databases and Individual-Oriented Simulation - Data Mining in Time Series. In: R. Brause und E. Hanisch (Hrsg.), Medical Data Analysis. First International Symposium, ISMDA-2000, Proceedings, 169-182, Lecture Notes in Computer Science 1933, Springer-Verlag, 2000.
  [Abstract] [DBLP]  –  © Springer-Verlag.

• Bernd Westphal, Jochen Klose
  INT 2002
  INT 2002 Grenoble, March 2002

• DFG SFB/TR "Automatic Verification and Analysis of Complex Systems" (AVACS),
  Subproject S2, Dynamic Communication Systems

• Use-case driven Specification of Engineering Applications (USE),
  part of the DFG priority program "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen" (SPP 1064)

• IST OMEGA

• AIT WOODDES

• Projectroot Tools HOWTO
  Local explanation how to write PROJECTROOT tools and libraries, what the processes are, tarpits and pitfalls, etc. Originally aimed at Hiwis, but should provide information for everyone else developing software in the "PROJECTROOT context". (But mind the disclaimer!) 2004-2005

• ???
  "Friday Talk", ??? 2004

• Elephant Spinout
  Solving the Elephant Spinout puzzle with a model-checker, 2004.

  Note that the solution procedure is obviously recursive, similar to the "towers of hanoi" puzzle, thus there is not much sense in solving it with N=1,2,3,... elephants using a model-checker.

  And the world is still waiting to see how Christian's solver "Goblin" performs on this example...

  Update (to while away waiting time): Instead of Elephant Spinout, "Hysat" (the solver formerly known as "Goblin") happily (and lightning fast) solves SUDOKUs in fractions of a second. But they're pure satisfiability problems, would be suspicious if Hysat would not solve them...
  The same can be encoded as a Symtab/SMI pair and is solved by smi2prover a little bit faster. Symbolic model-checking seems not the way to solve sudokus when counting total time. Transforming the SMI into a BDD didn't terminate within 24h on busoni when dynamic reordering is on, without dynamic ordering it terminates in 3:16 min. Pure model-checking takes about 0.3s, thus coming close to the solvers, but also counting preparation and back-translation of the counter-example we get a total time of about 3:20 min. ...

• Bernd Westphal, Tobe Toben
  Dilettanten Ole (a.k.a. Recipy 37: LSC Specification Case Study)
  Technical Report, 2003

• SMI Semantics

  • The World's Ugliest Language aka SMI - Syntax and Semantics
    Technical Report, June 2002.
  • An SMI Semantics - User's Guide
    "Friday Talk", March 2002.

• Harel-visit 02?

• Sivoes?
  Position Paper, May 2001.
  (Seems that the homepage of the Sivoes workshop disappeared and that there were no proceedings.)

• DA
  Talk, Internal Review, March 2001

• Makefile.qt
  Integration of Qt into department makefiles, 2004. (Joint work with Jens and Boris.)

• cross
  Compiling for Cygwin under Linux and Solaris, compiling for Solaris under Linux and Solaris (only set this up, not actively maintaining).

• dot
  Only the dot tool from the graphviz package compiled for all RUVE platforms as autograph.sh requires it, 2004. (Maintainer.)

• errorlibwrap
  Small tool that provides errorlib support to tools that are not linked against errorlib, e.g. general shell tools. Works as a wrapper like env(1), time(1), etc., 2003.

• estimate_bits
  Small tool that takes a Symtab and computes^Westimates the number of bits that would be needed to encode the variables from the symtab in a BDD, 2002.

• getopt_macros.h
  Collection of macros that can be used to construct option processing for long and short options. In other words, a crude substitute for getopt_long(3) that is unfortunately only available via GNU libc and hence not for Solaris, 2001-2004.

• hlltl2mttl
  "High-level Language Temporal Logic to MapTab mapped Temporal Logic". Can be used to provide support for CTL with, e.g., C++ expressions. The tool basically replaces C++ expressions in a CTL formula by symbolic names and maps the symbolic names to the original C++ expression, 2002.

• lockfile
  Small helper for an experiment on parallel building of PROJECTROOT tools. Can be used to ensure that modules that are not "multitarget aware" are built exclusively with no other build running in parallel, 2004.

• lsclib_se
  "lsclib Special Edition". Huge library that subsumes lsclib, ooLsc, maptab, and possibly others. Set up for the students of A. Ravn who wanted to use the LSCEdit for their project to study LSCs and Uppaals temporal logic with time, 2003.

• lscmapmerge
  Small tool that unifies annotations of instance lines in pre-chart and main-chart. Used for dynamic binding LSCs, 2005.

• map2proptab
  "Maptab to Proptab". Constructs a proptab and (optionally) a quantification file from a Maptab and a set of ".prop" files as spit out by sslif, 2002-2005.

• omega_lsc2lsc
  Converts LSCs between the ITU-MSC-based ASCII format and the ad-hoc XML format defined in the Omega project. Never ever used in the wild -- and most probably won't be, 2003.

• prptools
  "Property tools". Helper tools for XUVE, the XML based UML Verification Environment. Mimics Rhapsody's property mechanism using a simple variable-value file and is, among others, used to generate the configuration specific Makefile from the site.prp, 2003.

• qdialog
  Qt-clone of xdialog, 2003. Once used by the UVE-integration to communicate with the user by yes/no boxes in the context of Omega XML LSCs. No longer used since the LSCEdit can import XML directly, 2003.

• qdisplay
  Qt-clone of ImageMagick's display(1). To be precise, only a platform independent viewer for PNGs, used with the Autograph feature of the LSCEdit, 2004.

• qt
  Qt, academic edition, 2003-2005. (Maintainer.) The commercial version is maintained by Jens.

• quantlib
  "Quantifier library". Used with dynamic binding LSCs, 2002-2005.

• quanttools
  Tools for processing quantification files. Used with dynamic binding LSCs, 2004-2005.

• Rhapsody Verification Environment (RUVE)

  • Tool offer on the OMEGA homepage.
  • Public Documentation (Tutorial and Restrictions) on the OMEGA homepage.
  • Local development version is always found here.
    Documentation is in doc/, the tutorial is also the installation guide.
  • The Recipies collection
    ((sic!) for historical reasons; correct spelling would have been 'recipes' and 'recipe'.)
    The recipies are found in the directory the above link points to.

• scalana
  "Scalarset Analysis". Detect scalarsets in an SMI program, 2002-2005.

• shift2symtab
  Precomputes the initial step of a model, replaces the initial values in the Symtab by the computed values, and removes the initialisation code, 2001-2005.

• smiaorflat
  "SMI Array-of-Record Flattening". Replaces arrays of records by multiple arrays, one for each record component. Once thought to be of use with UML verification, 2004-2005.

• smidb
  The SMI debugger, 2001-2005.

• smihinundherconvert
  Convert from 16bit SMI/Symtab to 32bit SMI/Symtab and back. Emerged in the UML verification context where the frontend produced 16bit SMI while the backend should use contemporary 32bit SMI tools, 2004.
  Technically, the library is produced by taking the sources of both a 16bit and a 32bit version of smilib and symlib, using sed(1) to separate the namespaces, and linking all four into a single library. It is then easy to convert hence and forth.

• smiiterfw
  "SMI Iteration Framework". Abstractly implements the (over and over newly implemented) iteration over SMI programs and expressions. Specific code is provided using function pointers, 2004.

• smitrc2wfv
  "SMI trace to WFV". Converts "raw" SMI traces to the WFV format of the traceviewer, 2004. (Only written as proof of concept; maintenance will be handed over to the traceviewer maintainer.)

• symtab_instrefs
  "Instantiate References in the Symtab". Replaces references by new, "real" type declarations. Emerged in the context of DTR where different pointer types (that are originally references to a single pointer type) should be treated differently, 2004.

• symtool
  "Symmetry Tool". Implements Query-Reduction and computes DTR-files, 2004-2005.

• teenyweenysmi
  Rename variables in a SMI/Symtab to small names 'a', 'b', 'c', ... with the length of names reciprocally corresponding to the frequency of use, 2002.

• test.sh
  Shell script to execute and evaluate tests. Best suited for tools that take files as input and produce (diff-able) ASCII output. Features comprise soll-values for different platforms, parallel execution of tests, soll-values for execution time, and many others, 2002-2005.

• wfvconverterlib
  Wrapper library for the task to construct valid WFV files using the xmllib. Should finally be the backend of all tools that produce WFV files for the traceviewer, 2004. (Only written as proof of concept; maintenance will be handed over to the traceviewer maintainer.)

• prj-get.sh
  Rsync the part of PROJECTROOT referenced by a particular Makefile.incl to a local copy of PROJECTROOT, 2004.
  See 'prj-get.sh --help' for more information.

• smidnf
  "smidnf", 2004.

• build_all.sh
  "build_all.sh", 2004.

• consult
  "consult", 2003.

• watch_xdvi
  "watch_xdvi", 2004.

• vmware-console.sh
  "vmware-console.sh", 2004.

• filelist2html.sh
  "filelist2html.sh", 2003.

• psa4toa5
  "psa4toa5", 2003.

• pstogifpage
  "pstogifpage", 2003.

• ltxposter
  "ltxposter", 2003.

• dfmeter.sh
  "dfmeter.sh", 2002.

• watchprint
  "watchprint", 2003.

• xload-follow
  "xload-follow", 2002.

• xteatime
  Poor man's kteatime(1) built from "on board equipment", 2002.

  Usage: xteatime DURATION

  Where DURATION is a positive number of seconds after which the internal speaker beeps and a window pops up to notify you that DURATION seconds have passed.

• progressbar.sty
  The progress bar, 2006.

• lsc.sty
  Typesetting Live Sequence Charts, 2005-2006.

• toollib.sty
  Typesetting tool and document flows, 2004.

• Prosper Styles uniol04 (and uniol)
  A prosper style with reduced decorations and priority on usable space in the middle that picks up the blue and green colours of the Carl von Ossietzky Universität's "corporate design", 2003-2004.
  (Linking and using the new logo does not imply that I like it or would prefer it over the old one!)

  Installation: put PPRuniol04.sty (and, if you need the old version, also PPRuniol.sty; but note that it is broken in various ways, e.g. has a wrong PDF cropping box) into /usr/local/share/texmf-local/tex/latex/prosper/contrib and put the logo uniol_4c.eps into /usr/local/share/texmf-local/tex/latex/prosper/contrib/img.

  A brief description of options can be found inline, in the PPR-files.

  Note that the original Encapsulated PostScript of the logo as found on the Uni homepage is unusable with ghostscript newer than 8.00 since it comprises a clearpage-command and if embedded clears your whole slide. The version linked above is the result of applying ps2ps(1) (cf. this README.uniol_4c).

• marmelabel.sty
  Typesetting jam jar labels, 2001-2005.

• Mensa English
  A food dictionary (that has been and is still) obtained by translating the words occuring in the daily german menue of our mensa to english.

• VNC on Solaris
  When vncserver(1) complains in the logs about permissions and says something about /tmp/.X11 then the problem is typically that it wants to create a socket there for the local protocol but a regular user does not have write permissions there.
  If the intention is anyway to connect to the Xvnc remotely, one wants to write:

  vncserver -nolisten local

  Then it only listens on TCP ports.

  If the intention is to have multiple people look on a single desktop, one wants to write:

  vncserver -nolisten local -alwaysshared

  Otherwise VNC assures that there is at most one client at a time by disconnecting clients.

  The place to look for diagnostics is:

  $HOME/.vnc/[server]:[display].log

  This is where the output of Xvnc(1) goes to. vncserver(1) considers the job to be successfully done when Xvnc(1) starts. It doesn't bother whether Xvnc(1) actually runs successfully or not (e.g. due to misspelled options).

  The places to look for help are:

  vncserver --help Xvnc --help

• Faster LaTeX from gvim
  Redirect latex(1) output to console instead of into gvim(1) window, 2005.
  The vim command :!latex main.tex shows the voluminous output of latex(1) in the gvim(1) window. Calling gvim(1) as follows establishes the abbreviation :M which redirects the latex(1) output to the (ssh) shell which the gvim(1) has been started from:

  gvim -c "ca M silent !latex main >& $SSH_TTY && dvips main >& $SSH_TTY &" main.tex

  The silent causes the command to return immediately, without gvim(1) waiting for pressing RETURN.
  Note: the command is for SHELL being csh(1) and an ssh-shell which is so kind to store the current pts in SSH_TTY.

• ssh-agent on Cygwin
  ssh-add(1) checks the permission on the files id_dsa and id_dsa.pub to be owner-readable only and warns if they are more permittive.
  On cygwin, some directories (e.g. my HOME on fidelio) don't support permissions properly and all files get permission 644, thus ssh-add(1) moans on each execution.
  To avoid this warning, I set up a copy of .ssh in a local directory which supports permissions properly by this snippet in .profile:

  SRC=$HOME/ssh DST=c:/temp/.ssh-$USER LNK=$HOME/.ssh if [ ! -d $DST ]; then cp -a $SRC $DST chmod 400 $DST/* rm -rf $LNK ln -sv $DST $LNK fi

• Makefile.latex
  Intended as generic Makefile for LaTeX sources with special targets for slides, for packaging of all source files, etc. 2004.

  Note that it's far from fitting all. Currently it, e.g., fails to support multiple BibTeX input files and still does not incorporate Matthias' dynamic re-running cruft.

• pickyprompt.sh
  Have an ungratious shell watching the return values of your commands, 2004.

  Usage: put something like

  if ( $?tcsh && -x $HOME/bin/pickyprompt.sh ) eval `$HOME/bin/pickyprompt.sh`

  into your .cshrc. Example:

  % ls xzyz ls: xzyz: No such file or directory % ls xzy ls: xzy: No such file or directory :-/ - hey! % ls xzz ls: xzz: No such file or directory :-( - Houston... % ls xyz xyz :-) - that's better... %

• smi.vim
  SMI/Symtab Syntax Highlighting for vim, 2001.
  A README and the mentioned files .gvimrc, mysyntax.vim, myfiletypes.vim, and smi.vim.
  (Eckard has some syntax highlighting for Emacs.)

• smi.st
  SMI/Symtab Syntax Highlighting for enscript, 2001.
  A README and the mentioned files smi.st, enscript.st-now-global, UPDATE.sh, and enscript.st.

• Interesting Conferences & Workshops

• Piled Higher and Deeper - PhDComics
• "So long, and thanks for the Ph.D.!" a.k.a. "Everything I wanted to know about C.S. graduate school at the beginning but didn't learn until later."
• Dan Berry's Advice on How to Finish your Ph.D.
• What Scientists really mean when they say things.

• Dinge geregelt kriegen ohne einen Funken Selbstdisziplin (MP3).
• Getting my stuff done... (youtube)
• Gesucht: Die Prokrastionationalmannschaft

• Zitierregeln und Literaturverzeichnisse

The "restricted accesibility" files are links to local files, i.e. have protocol "file://". By default, Firefox refuses to follow those links if you are viewing this page as an external page. That is, if you obtained this page by a different protocol, for example from a web-server using protocol "http://" like in http://seshome.informatik.uni-oldenburg.de/~berndw.

In order to access the local files, either point your Firefox (manually) to

  file:///home/berndw/public_html/index.html

or configure your Firefox according to this article: mozillaZine entry on links to local pages.

Mon Aug 25 11:25:30 MEST 2008 — if the phone doesn't ring, it's me