Jahr
Year
Titel/Autor:in
Title/Author
Publikationstyp
Publication Type
2011 Extracting and verifying cryptographic models from C protocol code by symbolic execution
Aizatulin, M.; Gordon, A.D.; Jürjens, J.
Konferenzbeitrag
Conference Paper
2011 Run-time security traceability for evolving systems
Bauer, A.; Jürjens, J.; Yu, Y.
Zeitschriftenaufsatz
Journal Article
2011 Security and compliance in clouds
Beckers, K.; Jürjens, J.
Konferenzbeitrag
Conference Paper
2011 Pattern-based support for context establishment and asset identification of the ISO 27000 in the field of cloud computing
Beckers, K.; Schmidt, H.; Küster, J.-C.; Faßbender, S.
Konferenzbeitrag
Conference Paper
2011 Qualitätskriterien im Umfeld von AAL
Busch, August; Claßen, Katrin; Groß, Anne; Gaden, Udo; Häring, Sabine; Heusinger, Stefan; Hildebrand, Claudia; Klein, Bernd; Klippert, Jürgen; Loss, Kay; Metzger, Nadine; Ott, Alexander; Schindler, Bernd; Scholtysek, Frank; Schöpe, Lothar; Seitz, Thomas; Sträter, Oliver; Villela, Karina
Bericht
Report
2011 RLUS and SOA security: German National Personal Health Record
Caumanns, J.; Rode, O.; Kuhlisch, R.
Vortrag
Presentation
2011 Elektronische Patientenakte gemäß §291a SGB V - Die Patientenakte in der Versorgung: Kernkonzepte und technische Umsetzung
Caumanns, J.; Eckstein, L.; Kuhlisch, R.; Kunz, T.; Rode, O.; Viebeg, U.
Konferenzbeitrag
Conference Paper
2011 Guiding a general-purpose C verifier to prove cryptographic protocols
Dupressoir, F.; Gordon, A.D.; Jürjens, J.; Naumann, D.A.
Konferenzbeitrag
Conference Paper
2011 Using security patterns to develop secure systems
Fernandez, E.B.; Yoshioka, N.; Washizaki, H.; Jürjens, J.; Hilst, M. van; Pernul, G.
Aufsatz in Buch
Book Article
2011 Model-based security verification and testing for smart-cards
Fourneret, E.; Ochoa, M.; Bouquet, F.; Botella, J.; Jürjens, J.; Yousefi, P.
Konferenzbeitrag
Conference Paper
2011 Systematic development of UMLsec design models based on security requirements
Hatebur, D.; Heisel, M.; Jürjens, J.; Schmidt, H.
Konferenzbeitrag
Conference Paper
2011 Prototypische Umsetzung einer elektronischen Patientenakte nach § 291a SGB V für die medizinische Forschung
Helbing, K.; Quade, M.; Geßner, C.; Kuhlisch, R.; Kunz, T.; Frey, M.; Rienhoff, O.
Meeting Abstract
2011 A framework to support alignment of secure software engineering with legal regulations
Islam, S.; Mouratidis, H.; Jürjens, J.
Zeitschriftenaufsatz
Journal Article
2011 Modelling secure systems evolution: Abstract and concrete change specifications
Jürjens, J.; Ochoa, M.; Schmidt, H.; Marchal, L.; Houmb, S.H.; Islam, S.
Konferenzbeitrag
Conference Paper
2011 Automated security hardening for evolving UML models
Jürjens, J.
Konferenzbeitrag
Conference Paper
2011 Incremental security verification for evolving UMLsec models
Jürjens, J.; Marchal, L.; Ochoa, M.; Schmidt, H.
Konferenzbeitrag
Conference Paper
2011 Security and Compliance in Clouds
Jürjens, Jan; Beckers, Kristian
Vortrag
Presentation
2011 Security and compliance in clouds. Challenges and solutions
Jürjens, Jan
Vortrag
Presentation
2011 Security and compliance in clouds. Pattern-based compliance and security requirements engineering
Jürjens, Jan; Hirsch, Martin; Küster, Jan-Christoph
Vortrag
Presentation
2011 Security and compliance in clouds
Jürjens, Jan
Vortrag
Presentation
2011 Software engineering for secure systems. Pt.2: From design to implementation via model-based security engineering
Jürjens, Jan; Nuseibeh, Bashar
Vortrag
Presentation
2011 Assessing the economic value of early warning systems
Klafft, M.; Meissen, U.
Konferenzbeitrag
Conference Paper
2011 Supporting requirements engineers in recognising security issues
Knauss, E.; Houmb, S.; Schneider, K.; Islam, S.; Jürjens, J.
Konferenzbeitrag
Conference Paper
2011 Mobile task computing: Beyond location-based services and EBooks
Liagouris, J.; Athanasiou, S.; Efentakis, A.; Pfennigschmidt, S.; Pfoser, D.; Tsigka, E.; Voisard, A.
Konferenzbeitrag
Conference Paper
2011 Orchestrating security and system engineering for evolving systems
Massacci, F.; Bouquet, F.; Fourneret, E.; Jürjens, J.; Lund, M.S.; Madelénat, S.; Muehlberg, J.; Paci, F.; Paul, S.; Piessens, F.; Solhaug, B.; Wenzel, S.
Konferenzbeitrag
Conference Paper
2011 Home service engineering for sensor networks
Meis, J.; Wojciechowski, M.
Aufsatz in Buch
Book Article
2011 Usage of CEP and HL7 to solve information logistics problems in telemedicine
Meister, Sven
Konferenzbeitrag
Conference Paper
2011 HL7-basierte Vernetzung von erstem und zweitem Gesundheitsmarkt als Enabler für neue Präventions-Gesundheitsdienstleistungen
Meister, Sven; Houta, S.
Konferenzbeitrag
Conference Paper
2011 Security patterns: Comparing modeling approaches
Nhlabatsi, A.; Bandara, A.; Hayashi, S.; Haley, C.B.; Jürjens, J.; Kaiya, H.; Kubo, A.; Laney, R.; Mouratidis, H.; Nuseibeh, B.; Tahara, Y.; Tun, T.T.; Washizaki, H.; Yoshioka, N.; Yu, Y.
Aufsatz in Buch
Book Article
2011 From software-as-a-good to SaaS: Challenges and needs - developing a tool supported methodology for the migration of non-saas applications to SaaS
Orue-Echevarria Arrita, Leire; Ibarra, Juncal Alonso; Gottschick, Jan; Restel, H.
Konferenzbeitrag
Conference Paper
2011 Werkzeuggestützte Identifikation von IT-Sicherheitsrisiken
Peschke, M.; Hirsch, M.; Jürjens, J.; Braun, S.
Konferenzbeitrag
Conference Paper
2011 Guarded Process Spaces (GPS): A navigation system towards creation and dynamic change of healthcare processes from the end-user's perspective
Reuter, P.; Dadam, P.; Rudolph, S.; Deiters, W.; Trillsch, S.
Bericht
Report
2011 Mitigating soft error risks through protecting critical variables and blocks
Sadi, M.S.; Uddin, M.N.; Khan, M.M.R.; Jürjens, J.
Konferenzbeitrag
Conference Paper
2011 Connecting security requirements analysis and secure design using patterns and UMLsec
Schmidt, H.; Jürjens, J.
Konferenzbeitrag
Conference Paper
2011 Using continua health alliance standards
Schoepe, Lothar; Benner, Marian
Konferenzbeitrag
Conference Paper
2011 Medizinisches Telemonitoring im Verbundforschungsvorhaben WohnSelbst
Schoepe, Lothar; Hartmann, Armin
Aufsatz in Buch
Book Article
2011 Das Projekt "WohnSelbst zuhause medizinisch versorgt" in Wiesbaden
Schöpe, Lothar; Hartmann, Armin
Aufsatz in Buch
Book Article
2011 Street marketing. How proximity and context drive coupon redemption
Spiekermann, S.; Rothensee, M.; Klafft, M.
Zeitschriftenaufsatz
Journal Article
2011 Problem analysis of traditional IT-security risk assessment methods - an experience report from the insurance and auditing domain
Taubenberger, S.; Jürjens, J.; Yu, Y.; Nuseibeh, B.
Konferenzbeitrag
Conference Paper
2011 ARCHITECT: A layered framework for classifying technologies of event-based systems
Voisard, A.; Ziekow, H.
Zeitschriftenaufsatz
Journal Article
2011 Architecture of the 'Daily Care Journal' for the support of health care networks
Wojciechowski, M.; Ristok, H.; Brandes, W.; Lange, B.; Baumgarten, G.
Konferenzbeitrag
Conference Paper
2011 Fraunhofer-Institut für Software- und Systemtechnik. Jahresbericht 2010
Jahresbericht
Annual Report
Diese Liste ist ein Auszug aus der Publikationsplattform Fraunhofer-Publica

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