Andr Windisch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2003–2007
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ICINCO | A service-oriented framework for manned and unmanned systems to support network-centric operations. | Norbert Oswald, Andr Windisch, Stefan Frster, Herwig Moser, Toni Reichelt |
| 2004 | FDL | A Methodology for Embedded System Design supporting Layered Platforms. | Stefan Frster, Andr Windisch, Marco Fischer, Dieter Monjau, Wolfram Hardt |
| 2003 | FDL | A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics. | Marco Fischer, Andr Windisch, Stefan Frster, Burkhard Balser, Dieter Monjau |
| 2003 | FDL | Process Algebraic Specification, Refinement, and Verification of Embedded Systems. | Stefan Frster, Marco Fischer, Dieter Monjau, Andr Windisch, Burkhard Balser |
| 2003 | RSP | A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra. | Stefan Frster, Marco Fischer, Andr Windisch, Burkhard Balser, Dieter Monjau |