|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 8 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Holger Giese, Stefan Henkler, Martin Hirsch |
A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems.  |
Simulation  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer |
Modeling and Verifying Dynamic Communication Structures based on Graph Transformations. |
Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Loffler, Andreas Seibel, Holger Giese |
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hirsch |
Modell-basierte Verifikation von vernetzten mechatronischen Systemen. |
|
2008 |
RDF |
|
| 1 | Stefan Henkler, Martin Hirsch |
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. |
MBEES |
2008 |
DBLP BibTeX RDF |
|
| 1 | Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel 0002 |
Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme. |
MBEES |
2007 |
DBLP BibTeX RDF |
|
| 1 | Claudia Priesterjahn, Matthias Tichy, Stefan Henkler, Martin Hirsch, Wilhelm Schäfer |
Fujaba4Eclipse Real-Time Tool Suite. |
Model-Based Engineering of Embedded Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel 0002 |
Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen. |
Software Engineering |
2007 |
DBLP BibTeX RDF |
|
| 1 | Holger Giese, Stefan Henkler, Martin Hirsch |
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. |
WADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Alfonso Gambuzza, Eckehard Münch, Henner Vöcking |
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Gehrke, Petra Nawratil, Oliver Niggemann, Wilhelm Schäfer, Martin Hirsch |
Scenario-Based Verification of Automotive Software Systems. |
MBEES |
2006 |
DBLP BibTeX RDF |
|
| 1 | Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein |
Nobody's perfect: interactive synthesis from parametrized real-time scenarios. |
SCESM |
2006 |
DBLP DOI BibTeX RDF |
scenario-based synthesis, model checking, patterns, diagnosis |
| 1 | Holger Giese, Martin Hirsch |
Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. |
MoDELS Satellite Events |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Burmester, Holger Giese, Martin Hirsch, Daniela Schilling, Matthias Tichy |
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
model checking, UML, embedded systems, real-time, MDA, safety-critical |
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")