Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Ratiu, Daniel; Jürjens, Jan
Evaluating the Reference and Representation of Domain Concepts in APIsRené Krikhaar; Ralf Lämmel; Verhoef Chris (Hrsg). Proceedings of the 16th IEEE International Conference on Program Comprehension ICPC 2008: 10-13 June 2008; Amsterdam, The Netherlands. Los Alamitos, CA: IEEE Computer Society 2008 S. 242 - 247
Ratiu, Daniel; Feilkas, Martin; Jürjens, Jan
Extracting Domain Ontologies from Domain Specific APIsKostas Kontogiannis; Christos Tjortjis; Andreas Winter (Hrsg). Proceeding of the 12th European Conference on Software Maintenance and Reengineering CSMR 2008: April 1–4, 2008; Athens, Greece. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2008 S. 203 - 212
Whittle, Jon; Jürjens, Jan; Nuseibeh, Bashar et al.
First International Modeling Security WorkshopMichel R. V. Chaudron (Hrsg). Models in Software Engineering: Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers. Berlin: Springer 2008 S. 181 - 184
Fernández, Eduardo B.; Jürjens, Jan; Yoshioka, Nobukazu et al.
Incorporating Database Systems into a Secure Software Development MethodologyA. Min Tjoa; Roland R. Wagner (Hrsg). Proceedings of the 19th International Conference on Database and Expert Systems Applications: 1.- 5. September 2008; Turin, Italy. Los Alamitos, CA: IEEE Computer Society 2008 S. 310 - 314
Islam, Shareeful; Jürjens, Jan
Incorporating Security Requirements from Legal Regulations into UMLsec ModelsJon Whittle;Jan Jürjens;Bashar Nuseibeh;Glen Dobson (Hrsg). 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, 2008. Aachen: CEUR/RWTH 2008 S. 1 - 10
Taubenberger, Stefan; Jürjens, Jan
IT Security Risk Analysis based on Business Process Models enhanced with Security RequirementsJon Whittle;Jan Jürjens;Bashar Nuseibeh;Glen Dobson (Hrsg). 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, 2008. Aachen: CEUR/RWTH 2008 S. 1 - 10
Jürjens, Jan
Linking Cryptoprotocol Verification to RealityAnnual 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
Model-based Quality Assurance of Automotive SoftwareKrzysztof 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
Model-based Run-time Checking of Security Permissions using Guarded ObjectsMartin Leucker (Hrsg). Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Berlin: Springer 2008 S. 36 - 50
Jürjens, Jan; Schreck, Jörg; Bartmann, Peter
Model-based Security Analysis for Mobile CommunicationsWilhelm 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