- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c13 |      | Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand: Using contract-based component specifications for virtual integration testing and architecture design. DATE 2011: 1023-1028 |
| c12 | | Matthias Büker, Werner Damm, Günter Ehmen, Ingo Stierand: An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models. FMICS 2011: 149-164 |
| c11 | | Philipp Reinkemeier, Ingo Stierand, Philip Rehkop, Stefan Henkler: A pattern-based requirement specification language: Mapping automotive specific timing requirements. Software Engineering (Workshops) 2011: 99-108 |
| c10 | | Matthias Büker, Werner Damm, Günter Ehmen, Alexander Metzner, Ingo Stierand, Eike Thaden: Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too. SIES 2011: 156-165 |
| 2010 | ||
| c9 | | |
| c8 |  | Matthias Büker, Kim Grüttner, Philipp A. Hartmann, Ingo Stierand: Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks. FDL 2010: 43-48 |
| c7 | | Eike Thaden, Henrik Lipskoch, Alexander Metzner, Ingo Stierand: Exploiting Gaps in Fixed-Priority Preemptive Schedules for Task Insertion. RTCSA 2010: 212-217 |
| c6 | | Andreas Baumgart, Philipp Reinkemeier, Achim Rettberg, Ingo Stierand, Eike Thaden, Raphael Weber: A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems. SEUS 2010: 59-70 |
| 2009 | ||
| c5 | | Matthias Büker, Alexander Metzner, Ingo Stierand: Testing Real-time Task Networks with Functional Extensions using Model-checking. ETFA 2009: 1-10 |
| c4 | | Henning Dierks, Alexander Metzner, Ingo Stierand: Efficient Model-Checking for Real-Time Task Networks. ICESS 2009: 11-18 |
| 2006 | ||
| c3 | | Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand: An optimal approach to the task allocation problem on hierarchical architectures. IPDPS 2006 |
| 2005 | ||
| c2 | | Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand: Scheduling Distributed Real-Time Systems by Satisfiability Checking. RTCSA 2005: 409-415 |
| 1996 | ||
| c1 | | Elke Franz, Anja Jerichow, Steffen Möller, Andreas Pfitzmann, Ingo Stierand: Computer Based Steganography: How It Works and Why Therefore Any Restrictions on Cryptography Are Nonsense, at Best. Information Hiding 1996: 7-21 |
Colors in the list of coauthors
Last update Sun May 19 05:15:11 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page