André Windisch

17 papers C 4Journal 1Unranked 11
YearRankTypeTitle / Venue / Authors
2012 — conf
Development of a Real-Time Decision-Making System for Certifiable Autonomous Unmanned Systems.
AMS
Jens Halbig, André Windisch, Patrick Kingsbury, Norbert Oswald, Wolfram Hardt
2007 — conf
A service-oriented framework for manned and unmanned systems to support network-centric operations.
ICINCO-ICSO
Norbert Oswald, André Windisch, Stefan Förster, Herwig Moser, Toni Reichelt
2007 — conf
An Architectural Framework for Cooperative Civil and Military Mission Scenarios.
AMS
Norbert Oswald, Stefan Förster, Herwig Moser, Toni Reichelt, André Windisch
2007 — conf
IP Based Transport Abstraction for Middleware Technologies.
ICNS
Toni Reichelt, Norbert Oswald, André Windisch, Stefan Förster, Herwig Moser
2004 C conf
A Methodology for Embedded System Design supporting Layered Platforms.
FDL
Stefan Förster, André Windisch, Marco Fischer, Dieter Monjau, Wolfram Hardt
2003 — conf
A New Process-Algebraic Specification Methodology for Integrated Modular Avionic Systems.
MBMV
Marco Fischer, Stefan Förster, André Windisch, Burkhard Balser, Dieter Monjau
2003 C conf
A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra.
IEEE International Workshop on Rapid System Prototyping
Stefan Förster, Marco Fischer, André Windisch, Burkhard Balser, Dieter Monjau
2003 C conf
A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics.
FDL
Marco Fischer, André Windisch, Stefan Förster, Burkhard Balser, Dieter Monjau
2003 — —
A framework for the formalisation of the simulation semantics of multi-lingual specified heterogeneous systems.
André Windisch
2003 C conf
Process Algebraic Specification, Refinement, and Verification of Embedded Systems.
FDL
Stefan Förster, Marco Fischer, Dieter Monjau, André Windisch, Burkhard Balser
2001 — conf
An operational framework for the multi-lingual system simulation based on pi-calculus.
SCCC
André Windisch, Dieter Monjau
2001 — conf
Concept of a Joint University/Industry Course for Mixed-Signal System-On-Chip Design.
MSE
Jochen Mades, Thomas Schneider, André Windisch, Thomas Hollstein, Jürgen Becker, Manfred Glesner
2000 — conf
A JAVA-Based Mixed-Signal Design Environment.
SBCCI
Jochen Mades, Thomas Schneider, Manfred Glesner, André Windisch, Wolfgang Ecker
2000 — conf
An Open VHDL-AMS Simulation Framework.
BMAS
Thomas Schneider, Jochen Mades, Manfred Glesner, André Windisch, Wolfgang Ecker
2000 J jnl
Eine flexible Simulationsumgebung für System-On-Chip Design (A Flexible Simulation Environment for System-On-Chip Design).
Informationstechnik Tech. Inform.
André Windisch, Thomas Schneider, Jochen Mades, Dieter Monjau, Manfred Glesner, Carsten Hammer, Wolfgang Ecker
2000 — conf
VXML: VHDL Hardware Design Representation in XML.
MBMV
Wolfgang Ecker, Mike Heuchling, Jochen Mades, Thomas Schneider, André Windisch, Ke Yang
1999 — conf
A scalable multithreaded compiler front-end.
PARCO
André Windisch, Thomas Schneider, Ke Yang, Jochen Mades, Wolfgang Ecker