Jürjens, Jan

Annual Meeting of the Working Group on Formal Methods and Software Engineering for Safety and Security (German Computer Society). Darmstadt (Germany). 2008 S. 1 - 29

Jürjens, Jan; Reiß, Daniel; Trachtenherz, David

Krzysztof Czarnecki;Ileana Ober;Jean-Michel Bruel;Axel Uhl;Markus Völter (Hrsg). Model Driven Engineering Languages and Systems: 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings. Berlin: Springer 2008 S. 858 - 873

Jürjens, Jan; Reiß, Daniel; Trachtenherz, David

MoDELS. 2008 S. 858 - 873

Jürjens, Jan

Martin Leucker (Hrsg). Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Berlin: Springer 2008 S. 36 - 50 (Lecture Notes in Computer Science)

Jürjens, Jan

RV. 2008 S. 36 - 50

Jürjens, Jan; Schreck, Jörg; Bartmann, Peter

Wilhelm Schäfer;Matthew B. Dwyer;Volker Gruhn (Hrsg). Proceeding of the 30th International Conference on Software Engineering ICSE 2008: May 10-18, 2008; Leipzig, Germany. New York, NY: ACM Association for Computing Machinery 2008 S. 683 - 692

Jürjens, Jan; Schreck, Jörg; Bartmann, Peter

ICSE. 2008 S. 683 - 692

Jürjens, Jan

Electronic Notes in Theoretical Computer Science. Bd. 220. H. 1. Amsterdam: Elsevier 2008 S. 93 - 104

Jürjens, Jan

Electr. Notes Theor. Comput. Sci. Bd. 220. H. 1. 2008 S. 93 - 104

Jürjens, Jan

Models 2008 tutorial. 2008