André Windisch

According to our database, André Windisch authored at least 17 papers between 1999 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Development of a Real-Time Decision-Making System for Certifiable Autonomous Unmanned Systems.

Jens Halbig, André Windisch, Patrick Kingsbury, Norbert Oswald, Wolfram Hardt

Proceedings of the Autonomous Mobile Systems 2012, 2012

2007

IP Based Transport Abstraction for Middleware Technologies.

Toni Reichelt, Norbert Oswald, André Windisch, Stefan Förster, Herwig Moser

Proceedings of the Third International Conference on Networking and Services (ICNS 2007), 2007

A service-oriented framework for manned and unmanned systems to support network-centric operations.

Norbert Oswald, André Windisch, Stefan Förster, Herwig Moser, Toni Reichelt

Proceedings of the ICINCO 2007, 2007

An Architectural Framework for Cooperative Civil and Military Mission Scenarios.

Norbert Oswald, Stefan Förster, Herwig Moser, Toni Reichelt, André Windisch

Proceedings of the Autonome Mobile Systeme 2007, 2007

2004

A Methodology for Embedded System Design supporting Layered Platforms.

Stefan Förster, André Windisch, Marco Fischer, Dieter Monjau, Wolfram Hardt

Proceedings of the Forum on specification and Design Languages, 2004

2003

A framework for the formalisation of the simulation semantics of multi-lingual specified heterogeneous systems.

André Windisch

PhD thesis, 2003

A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra.

Stefan Förster, Marco Fischer, André Windisch, Burkhard Balser, Dieter Monjau

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

A New Process-Algebraic Specification Methodology for Integrated Modular Avionic Systems.

Marco Fischer, Stefan Förster, André Windisch, Burkhard Balser, Dieter Monjau

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

Process Algebraic Specification, Refinement, and Verification of Embedded Systems.

Stefan Förster, Marco Fischer, Dieter Monjau, André Windisch, Burkhard Balser

Proceedings of the Forum on specification and Design Languages, 2003

A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics.

Marco Fischer, André Windisch, Stefan Förster, Burkhard Balser, Dieter Monjau

Proceedings of the Forum on specification and Design Languages, 2003

2001

An operational framework for the multi-lingual system simulation based on pi-calculus.

André Windisch, Dieter Monjau

Proceedings of the 21st International Conference of the Chilean Computer Science Society (SCCC 2001), 2001

Concept of a Joint University/Industry Course for Mixed-Signal System-On-Chip Design.

Jochen Mades, Thomas Schneider, André Windisch, Thomas Hollstein, Jürgen Becker, Manfred Glesner

Proceedings of the 2001 International Conference on Microelectronics Systems Education, 2001

2000

Eine flexible Simulationsumgebung für System-On-Chip Design (A Flexible Simulation Environment for System-On-Chip Design).

André Windisch, Thomas Schneider, Jochen Mades, Dieter Monjau, Manfred Glesner, Carsten Hammer, Wolfgang Ecker

Informationstechnik Tech. Inform., 2000

A JAVA-Based Mixed-Signal Design Environment.

Jochen Mades, Thomas Schneider, Manfred Glesner, André Windisch, Wolfgang Ecker

Proceedings of the 13th Annual Symposium on Integrated Circuits and Systems Design, 2000

VXML: VHDL Hardware Design Representation in XML.

Wolfgang Ecker, Mike Heuchling, Jochen Mades, Thomas Schneider, André Windisch, Ke Yang

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000

An Open VHDL-AMS Simulation Framework.

Thomas Schneider, Jochen Mades, Manfred Glesner, André Windisch, Wolfgang Ecker

Proceedings of the 2000 IEEE/ACM International Workshop on Behavioral Modeling and Simulation, 2000

1999

A scalable multithreaded compiler front-end.

André Windisch, Thomas Schneider, Ke Yang, Jochen Mades, Wolfgang Ecker

Proceedings of the Parallel Computing: Fundamentals & Applications, 1999