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

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