FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Stein, Stefan; Lange, Thomas; Zittlau, Stefanie et al.
mGeoWikiMichael H. Breitner;Martin Breunig;Elgar Fleisch;Key Pousttchi;Klaus Turowski (Hrsg). Mobile und Ubiquitaere Informationssysteme - Technologien, Prozesse,Marktfaehigkeit: Proceedings zur 3. Konferenz Mobile und Ubiquitaere Informationssysteme MMS 2008; Muenchen; 26. - 28. Februar 2008. Bonn: Gesellschaft für Informatik 2008 S. 67 - 80
Silva Parreiras, Fernando; Staab, Steffen; Schenk, Simon et al.
Model Driven Specification of Ontology TranslationsQing Li; Stefano Spaccapietra; Eric Yu; Antoni Olivé (Hrsg). Conceptual Modeling - ER 2008: 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 23-26, 2008, Proceedings. Berlin: Springer 2008 S. 484 - 497
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
Jürjens, Jan; Rumm, R.
Model-based Security Analysis of the German Health Card ArchitectureMethods of Information in Medicine. Bd. 47. H. 5. Stuttgart: Thieme 2008 S. 409 - 416
Jürjens, Jan
Model-based Security Testing Using UMLsec: A Case StudyElectronic Notes in Theoretical Computer Science. Bd. 220. H. 1. Amsterdam: Elsevier 2008 S. 93 - 104
Jürjens, Jan
Model-based vs. Code-based Verification for Critical Systems: A TutorialModels 2008 tutorial. 2008
Kunegis, Jérôme; Schmidt, Stephan; Albayrak, Şahin et al.
Modeling Collaborative Similarity with the Signed Resistance Distance KernelMalik Ghallab; Constantine D. Spyropoulos; Nikos Fakotakis; Nikos Avouris (Hrsg). Proceedings of the 18th European Conference on Artificial Intelligence ECAI 2008 including Prestigious Applications of Intelligent Systems (PAIS 2008): July 21–25, 2008; Patras, Greece. Amsterdam: IOS Press 2008 S. 261 - 265
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