| 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 | 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 | RLUS and SOA security: German National Personal Health Record Caumanns, J.; Rode, O.; Kuhlisch, R. |
Vortrag Presentation |
| 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 | Software engineering for secure systems. Pt.2: From design to implementation via model-based security engineering Jürjens, Jan; Nuseibeh, Bashar |
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 | 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 |