Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan
Model-based vs. Code-based Verification for Critical Systems: A TutorialModels 2008 tutorial. 2008
Mohammed, Ammar; Furbach, Ulrich
Modeling Multi-agent Logistic Process System using Hybrid AutomataUlrich Ultes-Nitsche; Daniel Moldt; Juan C. Augusto (Hrsg). Modelling, simulation, Verification and Validation of Enterprise Information Systems: Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2008; in conjunction with 10th International Conference on Enterprise Information Systems ICEIS 2008: Barcelona, Spain; 12 - 13 June, 2008. Setúbal: INSTICC Press 2008 S. 141 - 149
Ihlemann, Carsten; Jacobs, Swen; Sofronie-Stokkermans, Viorica
On Local Reasoning in VerificationC. R. Ramakrishnan; Jakob Rehof (Hrsg). Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Berlin: Springer 2008 S. 265 - 281
Zöbel, Dieter; Weyand, Christian
On the Maneuverability of Heavy Goods VehiclesDaniel S. Yeung; Tsu-Tian Lee; Mu-Der Jeng; Michael R. Berthold (Hrsg). Proceedings of the IEEE International Conference on Systems, Man and Cybernetics SMC 2008: Singapore; 12 - 15 October 2008. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2008 S. 2303 - 2308
Krikhaar, René; Lämmel, Ralf; Chris, Verhoef
Proceedings of the 16th IEEE International Conference on Program Comprehension ICPC 2008: 10-13 June 2008; Amsterdam, The NetherlandsLos Alamitos, CA: IEEE Computer Society 2008
Joho, Hideo; Hopfgartner, Frank; Jose, Joemon M. et al.
Proceedings of the Second International Workshop on Adaptive Information Retrieval AIR 2008: London, United Kingdom; 18th October 2008Glasgow: University of Glasgow 2008
Whittle, Jon; Jürjens, Jan; Nuseibeh, Bashar et al.
Proceedings of the Workshop on Modeling Security MODSEC 08 held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems MODELS: Toulouse, France, September 28, 2008Aachen: CEUR/RWTH 2008
Jürjens, Jan
Quality Assurance for Security-Critical Systems13th Software & Systems Quality Conferences (SQC08). Congress Center Düsseldorf, Germany. 2008 S. 1 - 40
Washizaki, Hironori; Yoshioka, Nobukazu; Fernandez, Eduardo B. et al.
Report on the 2rd Workshop on Software Patterns and Quality (SPAQu ’08)Ademar Aguiar;Joe Yoder (Hrsg). Proceedings of the 15th Conference on Pattern Languages of Programs PLoP 2008: October 18th - 20th, 2008, Nashville, TN, USA. New York, NY: ACM Association for Computing Machinery 2008 S. 1 - 2
Höhn, Sebastian; Jürjens, Jan
Rubacon: Automated Support for Model-based Compliance EngineeringWilhelm 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. 875 - 878