A Model-Based Approach To Requirements Analysis (2008)
Eva Geisberger, Johannes Grünbauer, Bernhard Schätz
A major task in designing systems development is the systematic elaboration of functional system requirements and their integration into the environment of the overall technical system. The main...
Critical Systems Development with UML: Overview with Automotive Case-study (2008)
Jan Jürjens, Johannes Grünbauer
We give an overview over the content of the tutorial “Critical Systems Development with UML: Methods and Tools”. We explain the methodology proposed in the tutorial at the hand of an example from...
Towards a Model-Based and Incremental Development Process for Service-Based Systems (2008)
Martin Deubler, Johannes Grünbauer, Gerhard Popp, Guido Wimmel, Christian Salzmann, ...
In this paper we introduce the concept of service-based modeling and integrate the modeling techniques into existing development processes. We focus on services in the different phases of the...
Modelling Secure IT Systems - A Survey (2007)
Johannes Grünbauer, Jan Jürjens, Guido Wimmel
e the physical layer of a system. We use them to check whether the security requirements on the logical level of the system are enforced by the level of physical security, or whether additional...
Critical Systems Development with UML: Overview with Automotive Case-study (2007)
Jan Jürjens, Johannes Grünbauer
We give an overview over the content of the tutorial "Critical Systems Development with UML: Methods and Tools". We explain the methodology proposed in the tutorial at the hand of an...
A Model-Based Approach To Requirements Analysis (2007)
Schätz, Bernhard, Geisberger, Eva, Grünbauer, Johannes
A major task in designing embedded systems is the systematic elaboration of functional system requirements and their integration into the environment of the complete technical system. The main...
04441 Working Group -- Description and Matching of Services in Mobile Environments (2005)
Grünbauer, Johannes, Klein, Michael, Koloniari, Georgia, Samaras, George, Türker, Can
Service oriented computing is a new paradigm that is especially interesting in mobile environments. As a characteristics, functionality is hidden behind an interface and described as a black box with...
Modelling Secure IT Systems - A Survey (2004)
Johannes Grünbauer, Jan Jürjens, Guido Wimmel
The development of security-critical systems is difficult. Many systems are designed and realised which exhibit severe shortcomings, which sometimes enable spectacular exploits. In this...
Sound development of secure service-based systems (2004)
Martin Deubler, Johannes Grünbauer, Jan Jürjens, Guido Wimmel
Service-based software systems are a useful concept recently developed to support the development of systems offering functions (the so-called services) which may be interrelated or may mutually...
Sound development of secure service-based systems (2004)
Martin Deubler, Johannes Grünbauer, Jan Jürjens, Guido Wimmel
Service-based software systems are a useful concept recently developed to support the development of systems offering functions (the so-called services) which may be interrelated or may mutually...
Modelling and Verification of Layered Security Protocols: A Bank Application (2003)
Johannes Grünbauer, Helia Hollmann, Jan Jürjens, Guido Wimmel
Designing security-critical systems correctly is very difficult and there are many examples of weaknesses arising in practice. A particular challenge lies in the development of layered security...
Modelling and verification of layered security protocols: A bank application (2003)
Johannes Grünbauer, Helia Hollmann, Guido Wimmel
Abstract. Designing security-critical systems correctly is very difficult and there are many examples of weaknesses arising in practice. A particular challenge lies in the development of layered...