| Jahr Year | Titel/Autor:in Title/Author | Publikationstyp Publication Type |
|---|---|---|
| 2012 | Computational verification of C protocol implementations by symbolic execution Aizatulin, M.; Gordon, D.; Jürjens, J. |
Konferenzbeitrag Conference Paper |
| 2012 | Verifying cryptographic code in C: Some experience and the Csec challenge Aizatulin, M.; Dupressoir, F.; Gordon, A.D.; Jürjens, J. |
Konferenzbeitrag Conference Paper |
| 2012 | P23R: Sicherheitskonzept Baum, Jürgen; Caumanns, Jörg; Eckstein, Levona; Kraft, Reiner; Stöwer, Mechthild |
Bericht Report |
| 2012 | Mobilapplikationen und Management der Hypertonie Becker, S.; Mitchell, A.; Königsmann, T.; Kribben, A.; Erbel, R. |
Zeitschriftenaufsatz Journal Article |
| 2012 | Supporting the development and documentation of ISO 27001 information security management systems through security requirements engineering approaches Beckers, K.; Faßbender, S.; Heisel, M.; Küster, J.-C.; Schmidt, H. |
Konferenzbeitrag Conference Paper |
| 2012 | P23R: Spezifikationen zur Sicherheitsarchitektur Caumanns, Jörg; Baum, Jürgen; Kraufmann, Ben; Kuhlisch, Raik; Restel, Hannes |
Bericht Report |
| 2012 | P23R: Sicherheitsarchitektur Caumanns, Jörg; Baum, Jürgen; Kraufmann, Ben; Kuhlisch, Raik; Restel, Hannes |
Bericht Report |
| 2012 | ICT infrastructures for telerehabilitation Deiters, Wolfgang; Koch, Oliver; Königsmann, Thomas; Meister, Sven |
Aufsatz in Buch Book Article |
| 2012 | Ein Geschäftsmodellansatz für ein standardisiertes technikunterstütztes Dienstleistungsangebot im Wohnquartier - Das Projekt STADIWAMI Dobernowsky, M.; Gauch, S.; Fahl, P.; Schoepe, L.; Trage, M. |
Aufsatz in Buch Book Article |
| 2012 | Vérification et Test pour des systèmes évolutifs Fourneret, E.; Bouquet, F.; Ochoa, M.; Jürjens, J.; Wenzel, S. |
Konferenzbeitrag Conference Paper |
| 2012 | P23R. Rahmenarchitektur Gottschick, Jan; Baum, Jürgen; Clauder, Frank; Hartenstein, Heiko; Rosenmüller, Rainer |
Bericht Report |
| 2012 | Service Design Studio (SDS) - the execution environment for the service design studio Iscan, Hülya; Flake, Stephan; Tacken, Jürgen; Ley, Martin; Schmülling, Christian |
Vortrag Presentation |
| 2012 | Beyond one-shot security Jürjens, J.; Schneider, K. |
Aufsatz in Buch Book Article |
| 2012 | Informationssicherheit im Cloud Computing Jürjens, Jan |
Vortrag Presentation |
| 2012 | Den Nebel lichten: Von Compliance-Regularien zu testbaren Sicherheitsanforderungen Jürjens, Jan |
Vortrag Presentation |
| 2012 | Security in information systems: New challenges and opportunities Jürjens, Jan; Rosado, David G.; Sánchez, Luis Enrique; Fernández-Medina, Eduardo |
Zeitschriftenaufsatz Journal Article |
| 2012 | Model-based security engineering Jürjens, Jan |
Vortrag Presentation |
| 2012 | IT as an enabler of sustainable use of data from innovative technical components for assisted living Knaup, P.; Schöpe, L. |
Konferenzbeitrag Conference Paper |
| 2012 | Telemedical events: Intelligent delivery of telemedical values using CEP and HL7 Meister, S. |
Konferenzbeitrag Conference Paper |
| 2012 | TiEE - Telemedizinische ILOG Event Engine Meister, Sven; Schafer, Sven; Stahlmann, Valentin |
Aufsatz in Buch Book Article |
| 2012 | Information overload in telemedicine: Using complex event processing and context for intelligent information filtering and supply Meister, Sven; Koch, Oliver |
Konferenzbeitrag Conference Paper |
| 2012 | eTraining - Vernetzung von erstem und zweitem Gesundheitsmarkt über die HL7 Clinical Document Architecture (CDA) Meister, Sven; Houta, Salima |
Aufsatz in Buch Book Article |
| 2012 | Telemedizinische ILOG Listener: Informationslogistische Verarbeitung telemedizinischer Werte unter Nutzung von CEP und HL7 Meister, Sven; Stahlmann, Valentin |
Konferenzbeitrag Conference Paper |
| 2012 | Telemedical ILOG listeners: Information logistics processing of telemedical values using CEP and HL7 Meister, Sven; Stahlmann, Valentin |
Konferenzbeitrag Conference Paper |
| 2012 | Non-interference on UML state-charts Ochoa, M.; Jürjens, J.; Cuellar, J. |
Konferenzbeitrag Conference Paper |
| 2012 | A sound decision procedure for the compositionality of secrecy Ochoa, M.; Jürjens, J.; Warzecha, D. |
Konferenzbeitrag Conference Paper |
| 2012 | Guarded Process Spaces (GPS): A navigation system towards creation and dynamic change of healthcare processes from the end-user's perspective Reuter, C.; Dadam, P.; Rudolph, S.; Deiters, W.; Trillsch, S. |
Konferenzbeitrag Conference Paper |
| 2012 | Foreword Rosado, D.G.; Crespo, L.E.S.; Blanco, C.; Jürjens, J. |
Konferenzbeitrag Conference Paper |
| 2012 | P23R: Spezifikation des P23R-Protokolls Rubinstein, Tatjana; Baum, Jürgen; Gottschick, Jan |
Bericht Report |
| 2012 | Supporting security assurance in the context of evolution: Modular modeling and analysis with UMLsec Ruhroth, T.; Jürjens, J. |
Konferenzbeitrag Conference Paper |
| 2012 | Enhancing security requirements engineering by organizational learning Schneider, K.; Knauss, E.; Houmb, S.; Islam, S.; Jürjens, J. |
Zeitschriftenaufsatz Journal Article |
| 2012 | A construction kit of flexible IT-services for supply chain planning and operations Steinbuss, Sebastian; Klingebiel, Katja; Yüzgülec, Gökhan; Hegmanns, Tobias |
Konferenzbeitrag Conference Paper |
| 2012 | Modeling trade-offs in the design of sensor-based event processing infrastructures Voisard, A.; Ziekow, H. |
Zeitschriftenaufsatz Journal Article |
| 2012 | Die Logistics Mall - Orchestrierung von Logistik-Applikationen in der Cloud Weißenberg, Norbert; Harmuth, Nina |
Zeitschriftenaufsatz Journal Article |
| 2012 | Securing processes for outsourcing into the cloud Wenzel, S.; Wessel, C.; Humberg, T.; Jürjens, J. |
Konferenzbeitrag Conference Paper |
| 2012 | Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen Wessel, C.; Humberg, T.; Wenzel, S.; Jürjens, J. |
Konferenzbeitrag Conference Paper |
| 2012 | Model-based development of context-aware applications using the MILEO-context server Wojciechowski, Manfred; Wiedeler, Markus |
Konferenzbeitrag Conference Paper |