Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2011Anwendung von Process-Mining-Ansätzen auf Log-Daten aus SAP-Systemen
Blyufshteyn, Igor
: Jürjens, Jan; Rehof, Jakob
Thesis
2011ARCHITECT: A layered framework for classifying technologies of event-based systems
Voisard, A.; Ziekow, H.
Journal Article
2011Architecture of the 'Daily Care Journal' for the support of health care networks
Wojciechowski, M.; Ristok, H.; Brandes, W.; Lange, B.; Baumgarten, G.
Conference Paper
2011Assessing the economic value of early warning systems
Klafft, M.; Meissen, U.
Conference Paper
2011Automated security hardening for evolving UML models
Jürjens, J.
Conference Paper
2011Connecting security requirements analysis and secure design using patterns and UMLsec
Schmidt, H.; Jürjens, J.
Conference Paper
2011Elektronische 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.
Conference Paper
2011Extracting and verifying cryptographic models from C protocol code by symbolic execution
Aizatulin, M.; Gordon, A.D.; Jürjens, J.
Conference Paper
2011Formale Abbildung der regulatorischen Compliance auf Security Policies
Bostan, Elena-Crina
: Jürjens, Jan; Hirsch, Martin
Thesis
2011A framework to support alignment of secure software engineering with legal regulations
Islam, S.; Mouratidis, H.; Jürjens, J.
Journal Article
2011Fraunhofer-Institut für Software- und Systemtechnik. Jahresbericht 2010
 
Annual Report
2011Guarded 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.
Report
2011Guiding a general-purpose C verifier to prove cryptographic protocols
Dupressoir, F.; Gordon, A.D.; Jürjens, J.; Naumann, D.A.
Conference Paper
2011HL7-basierte Vernetzung von erstem und zweitem Gesundheitsmarkt als Enabler für neue Präventions-Gesundheitsdienstleistungen
Meister, Sven; Houta, S.
Conference Paper
2011Home service engineering for sensor networks
Meis, J.; Wojciechowski, M.
Book Article
2011Incremental security verification for evolving UMLsec models
Jürjens, J.; Marchal, L.; Ochoa, M.; Schmidt, H.
Conference Paper
2011Konzeption und Umsetzung eines UMLsecTool-Plugins zur Prüfung von Authorization Constraints für die Prozessmodellierungssprache BPMN 2.0
Michel, Marcel
: Jürjens, Jan; Ruhroth, Thomas
Bachelor Thesis
2011Medizinisches Telemonitoring im Verbundforschungsvorhaben WohnSelbst
Schoepe, Lothar; Hartmann, Armin
Book Article
2011Mitigating soft error risks through protecting critical variables and blocks
Sadi, M.S.; Uddin, M.N.; Khan, M.M.R.; Jürjens, J.
Conference Paper
2011Mobile task computing: Beyond location-based services and EBooks
Liagouris, J.; Athanasiou, S.; Efentakis, A.; Pfennigschmidt, S.; Pfoser, D.; Tsigka, E.; Voisard, A.
Conference Paper
2011Model-based security verification and testing for smart-cards
Fourneret, E.; Ochoa, M.; Bouquet, F.; Botella, J.; Jürjens, J.; Yousefi, P.
Conference Paper
2011Modelling secure systems evolution: Abstract and concrete change specifications
Jürjens, J.; Ochoa, M.; Schmidt, H.; Marchal, L.; Houmb, S.H.; Islam, S.
Conference Paper
2011Monitoring von Geschäftsprozessen mit Compliance relevanten Eigenschaften
Mensah, Kubi Josua
: Jürjens, Jan; Küster, Jan-Christoph
Bachelor Thesis
2011Ontologie-basierte Modellierung ausgewählter Compliance-Regelwerke mit Anforderungserhebung zur Toolauswahl
Stahl, Christine Sarah
: Jürjens, Jan; Wenzel, Sven
Thesis
2011Orchestrating 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.
Conference Paper
2011Pattern-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.
Conference Paper
2011Problem 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.
Conference Paper
2011Das Projekt "WohnSelbst zuhause medizinisch versorgt" in Wiesbaden
Schöpe, Lothar; Hartmann, Armin
Book Article
2011Prototypische 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.
Abstract
2011Qualitä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
Report
2011RLUS and SOA security: German National Personal Health Record
Caumanns, J.; Rode, O.; Kuhlisch, R.
Presentation
2011Run-time security traceability for evolving systems
Bauer, A.; Jürjens, J.; Yu, Y.
Journal Article
2011Security and compliance in clouds
Beckers, K.; Jürjens, J.
Conference Paper
2011Security and Compliance in Clouds
Jürjens, Jan; Beckers, Kristian
Presentation
2011Security and compliance in clouds
Jürjens, Jan
Presentation
2011Security and compliance in clouds. Challenges and solutions
Jürjens, Jan
Presentation
2011Security and compliance in clouds. Pattern-based compliance and security requirements engineering
Jürjens, Jan; Hirsch, Martin; Küster, Jan-Christoph
Presentation
2011Security 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.
Book Article
2011Software engineering for secure systems. Pt.2: From design to implementation via model-based security engineering
Jürjens, Jan; Nuseibeh, Bashar
Presentation
2011Street marketing. How proximity and context drive coupon redemption
Spiekermann, S.; Rothensee, M.; Klafft, M.
Journal Article
2011Supporting requirements engineers in recognising security issues
Knauss, E.; Houmb, S.; Schneider, K.; Islam, S.; Jürjens, J.
Conference Paper
2011Systematic development of UMLsec design models based on security requirements
Hatebur, D.; Heisel, M.; Jürjens, J.; Schmidt, H.
Conference Paper
2011Usage of CEP and HL7 to solve information logistics problems in telemedicine
Meister, Sven
Conference Paper
2011Using continua health alliance standards
Schoepe, Lothar; Benner, Marian
Conference Paper
2011Using security patterns to develop secure systems
Fernandez, E.B.; Yoshioka, N.; Washizaki, H.; Jürjens, J.; Hilst, M. van; Pernul, G.
Book Article
2011Werkzeuggestützte Identifikation von IT-Sicherheitsrisiken
Peschke, M.; Hirsch, M.; Jürjens, J.; Braun, S.
Conference Paper