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 Telemedical ILOG listeners: Information logistics processing of telemedical values using CEP and HL7
Meister, Sven; Stahlmann, Valentin
Konferenzbeitrag
Conference Paper
2012 Telemedizinische ILOG Listener: Informationslogistische Verarbeitung telemedizinischer Werte unter Nutzung von CEP und 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
Diese Liste ist ein Auszug aus der Publikationsplattform Fraunhofer-Publica

This list has been generated from the publication platform Fraunhofer-Publica