Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2017Improving the elicitation of delightful context-aware features: A data-based approach
Falcao, Rodrigo
Conference Paper
2015Crowd out the competition
Groen, Eduard C.
Conference Paper
2015Crowd out the competition. Gaining market advantage through crowd-based requirements engineering
Groen, Eduard C.
Report
2015Evaluation of a systematic approach in variant management for safety-critical systems development
Käßmeyer, Michael; Velasco, David S.; Schurius, Markus
Conference Paper
2015Evaluation of a systematic approach in variant management for safety-critical systems development
Käßmeyer, Michael; Velasco, David S.; Schurius, Markus
Report
2014Dynamic analysis of usage control policies
Elrakaiby, Yehia; Pang, Jun
Conference Paper
2013Privacy preserving surveillance and the tracking-paradox
Greiner, S.; Birnstill, Pascal; Krempel, Erik; Beckert, B.; Beyerer, Jürgen
Conference Paper
2011Modelling software process variability: An empirical study
Martinez-Ruiz, T.; Garcia, F.; Piattini, M.; Münch, J.
Journal Article
2011Run-time security traceability for evolving systems
Bauer, A.; Jürjens, J.; Yu, Y.
Journal Article
2011Safe automotive software
Heckemann, Karl; Gesell, Manuel; Pfister, Thomas; Berns, Karsten; Schneider, Klaus; Trapp, Mario
Conference Paper
2011Safe automotive software
Heckemann, Karl; Gesell, Manuel; Pfister, Thomas; Berns, Karsten; Schneider, Klaus; Trapp, Mario
Report
2010Assuring functional safety in automotive software through pattern-based requirements development
Pai, Ganesh J.; Roeser, Andreas
Report
2005Formal specification and verification. Structures and techniques
Eschbach, R.
Dissertation
1997Modelling and verification with petri nets: Comparing a state oriented and event oriented approach
Mackenthun, R.; Voorhoeve, M.
Conference Paper
1992A high level interactive design environment for complex systems
Büddefeld, J.; Meyer zu Bexten, E.; Moraga, C.
Conference Paper
1992The signal description language SIBA
Meyer zu Bexten, E.; Moraga, C.
Conference Paper
1991CASSY a CAD environment for signal processing applications
Büddefeld, J.; Meyer zu Bexten, E.; Moraga, C.
Conference Paper
1991CASSY Werkzeuge zur formalen Darstellung und Verifikation von Signalverarbeitungssystemen
Büddefeld, J.; Hosticka, B.J.; Meyer zu Bexten, E.; Moraga, C.
Conference Paper
1991A formal representation language for signal processing -SIBA-.
Meyer zu Bexten, E.; Moraga, C.
Conference Paper
1991Die Signalbeschreibungssprache SIBA eingebunden in eine ergonomische Benutzeroberfläche
Büddefeld, J.; Meyer zu Bexten, E.; Moraga, C.
Conference Paper