Anzahl: 5 10 25 50 100 Alle
Seiten: 1
PhdThesis
2002
André Windisch
A Framework for the Formalisation of the Simulation Semantics of Multi-Lingual Specified Heterogeneous Systems
TU Chemnitz, Fakultät für Informatik, Professur Rechnersysteme, D-09107 Chemnitz, Deutschland, December 2002. ISBN: 3-18-371910-X
A Framework for the Formalisation of the Simulation Semantics of Multi-Lingual Specified Heterogeneous Systems
TU Chemnitz, Fakultät für Informatik, Professur Rechnersysteme, D-09107 Chemnitz, Deutschland, December 2002. ISBN: 3-18-371910-X
InCollection
2012
Jens Halbig and André Windisch and Patrick Kingsbury and Norbert Oswald and Wolfram Hardt
Development of a Real-Time Decision-Making System for Certifiable Autonomous Unmanned Systems
Informatik aktuell, IN Autonomous Mobile Systems 2012, page 119 - 128, Springer Verlag, 2012. ISBN: 978-3-642-32216-7, ISSN: 1431-472-X
Development of a Real-Time Decision-Making System for Certifiable Autonomous Unmanned Systems
Informatik aktuell, IN Autonomous Mobile Systems 2012, page 119 - 128, Springer Verlag, 2012. ISBN: 978-3-642-32216-7, ISSN: 1431-472-X
2004
Marco Fischer and Stefan Förster and André Windisch
A New Time Extension to PI-Calculus based on Time Consuming Transition Semantics
IN Languages for System Specification, page 271 - 283, Kluwer Academic Publishers, 2004. ISBN: 1-4020-7990-7
A New Time Extension to PI-Calculus based on Time Consuming Transition Semantics
IN Languages for System Specification, page 271 - 283, Kluwer Academic Publishers, 2004. ISBN: 1-4020-7990-7
Article
2013
Jens Halbig and André Windisch and Patrick Kingsbury and Norbert Oswald and Wolfram Hardt
Realtime Decision-Making for Certifiable Autonomous Unmanned Systems
IN International Journal of Imaging and Robotics, page 44 - 57, CESER Publications, 2013. ISSN: 2231-525X
Realtime Decision-Making for Certifiable Autonomous Unmanned Systems
IN International Journal of Imaging and Robotics, page 44 - 57, CESER Publications, 2013. ISSN: 2231-525X
2000
André Windisch and Schneider and Mades and Dieter Monjau and Manfred Glesner and Hammer and Wolfgang Ecker
Eine flexible Simulationsumgebung für System-On-Chip Design
IN Informationstechnik und Technische Informatik (it+ti), page 43 - 53, Oldenbourg Verlag, München, Deutschland, 2000.
Eine flexible Simulationsumgebung für System-On-Chip Design
IN Informationstechnik und Technische Informatik (it+ti), page 43 - 53, Oldenbourg Verlag, München, Deutschland, 2000.
InProceedings
2011
Jens Halbig and André Windisch and Patrick Kingsbury and Norbert Oswald and Wolfram Hardt
Integration of Realtime Decision-Making in Time-triggered Software Architectures for Certifiable Autonomous Unmanned Systems
IN Proceedings of 2011 2nd International Conference on Instrumentation Control and Automation (ICA 2011), page 219 - 224, IEEE Computer Society, November 2011. ISBN: 978-1-4577-1460-3
Integration of Realtime Decision-Making in Time-triggered Software Architectures for Certifiable Autonomous Unmanned Systems
IN Proceedings of 2011 2nd International Conference on Instrumentation Control and Automation (ICA 2011), page 219 - 224, IEEE Computer Society, November 2011. ISBN: 978-1-4577-1460-3
2007
Norbert Oswald and Stefan Förster and Herwig Moser and Toni Reichelt and André Windisch
An Architectural Framework for Cooperative Civil and Military Mission Scenarios
Informatik aktuell, IN 20. Fachgespräch Autonome Mobile Systeme (AMS 2007), page 110 - 113, Springer Verlag, October 2007. ISBN: 9783540747635
An Architectural Framework for Cooperative Civil and Military Mission Scenarios
Informatik aktuell, IN 20. Fachgespräch Autonome Mobile Systeme (AMS 2007), page 110 - 113, Springer Verlag, October 2007. ISBN: 9783540747635
Toni Reichelt and Norbert Oswald and André Windisch and Stefan Förster and Herwig Moser
IP Based Transport Abstraction for Middleware Technologies
IN Proceedings of the Third International Conference on Networking and Services (ICNS07), page 39 - 45, International Academy, Research, and Industry Association (IARIA), Athens, Greece, IEEE Computer Society, June 2007. ISBN: 0-7695-2858-9
IP Based Transport Abstraction for Middleware Technologies
IN Proceedings of the Third International Conference on Networking and Services (ICNS07), page 39 - 45, International Academy, Research, and Industry Association (IARIA), Athens, Greece, IEEE Computer Society, June 2007. ISBN: 0-7695-2858-9
Norbert Oswald and André Windisch and Stefan Förster and Herwig Moser and Toni Reichelt
A Service-oriented Framework for Manned and Unmanned Systems to support Network-centric Operations
IN Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics, page 284 - 291, Institute for Systems and Technologies of Information, Control and Communication (INSTICC), Angers, France, INSTICC Press, May 2007. ISBN: 9789728865870
A Service-oriented Framework for Manned and Unmanned Systems to support Network-centric Operations
IN Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics, page 284 - 291, Institute for Systems and Technologies of Information, Control and Communication (INSTICC), Angers, France, INSTICC Press, May 2007. ISBN: 9789728865870
2005
André Windisch and Stefan Förster and Marco Fischer and Norbert Oswald
Eclipse Plug-Ins for IMA Systems Integration
IN EADS Workshop on Eclipse Technology 2005, November 2005.
Eclipse Plug-Ins for IMA Systems Integration
IN EADS Workshop on Eclipse Technology 2005, November 2005.
André Windisch and Stefan Förster and Marco Fischer
Configuration of future IMA Systems with VERDI.
IN EADS Technical Workshop Series 2005, November 2005.
Configuration of future IMA Systems with VERDI.
IN EADS Technical Workshop Series 2005, November 2005.
André Windisch and Stefan Förster and Marco Fischer and Schlatt
AADL-Modelling of Plug&Play Weapon System Architecture
IN Proceedings of the AADL Workshop 2005, page 121 - 132, October 2005.
AADL-Modelling of Plug&Play Weapon System Architecture
IN Proceedings of the AADL Workshop 2005, page 121 - 132, October 2005.
2004
Stefan Förster and André Windisch and Marco Fischer and Dieter Monjau and Wolfram Hardt
A Methodology for Embedded Systems Design supporting Layered Platforms
IN Proceedings of Forum on Specification and Design Languages (FDL'04), page 544 - 555, September 2004.
A Methodology for Embedded Systems Design supporting Layered Platforms
IN Proceedings of Forum on Specification and Design Languages (FDL'04), page 544 - 555, September 2004.
2003
Dieter Monjau and Burkhard Balser and Marco Fischer and André Windisch and Stefan Förster
A New Time Extension to PI-Calculus based on Time Consuming Transition Semantics
IN Proceedings of Forum on Specification and Design Languages (FDL'03), page 447 - 455, September 2003.
A New Time Extension to PI-Calculus based on Time Consuming Transition Semantics
IN Proceedings of Forum on Specification and Design Languages (FDL'03), page 447 - 455, September 2003.
Stefan Förster and André Windisch and Marco Fischer and Dieter Monjau and Burkhard Balser
Process Algebraic Specification, Refinement, and Verification of Embedded Systems
IN Proceedings of Forum on Specification and Design Languages (FDL'03), page 525 - 535, September 2003.
Process Algebraic Specification, Refinement, and Verification of Embedded Systems
IN Proceedings of Forum on Specification and Design Languages (FDL'03), page 525 - 535, September 2003.
Stefan Förster and Marco Fischer and André Windisch and Burkhard Balser and Dieter Monjau
A New Specification Methodology for Embedded Systems Based on the PI-Calculus Process Algebra
IN Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP), page 26 - 32, IEEE Computer Society, June 2003. ISBN: 0-7695-1943-1
A New Specification Methodology for Embedded Systems Based on the PI-Calculus Process Algebra
IN Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP), page 26 - 32, IEEE Computer Society, June 2003. ISBN: 0-7695-1943-1
Marco Fischer and Stefan Förster and André Windisch
A New Process-Algebraic Specification Methodology for Integrated Modular Avionics Systems
Berichte aus der Informatik, IN Proc. of the 6. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Shaker Verlag, Aachen, Deutschland, February 2003. ISBN: 3-8322-1202-7
A New Process-Algebraic Specification Methodology for Integrated Modular Avionics Systems
Berichte aus der Informatik, IN Proc. of the 6. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Shaker Verlag, Aachen, Deutschland, February 2003. ISBN: 3-8322-1202-7
2002
André Windisch and Stefan Förster and Marco Fischer and Burkhard Balser and Dieter Monjau and Mathias Sporer
Eine wiederverwendungsorientierte Entwurfsmethodik für IMA-Systeme basierend auf Methoden der künstlichen Intelligenz
IN Proc. des Kongresses der Deutschen Gesellschaft für Luft- und Raumfahrt (DGLR), September 2002.
Eine wiederverwendungsorientierte Entwurfsmethodik für IMA-Systeme basierend auf Methoden der künstlichen Intelligenz
IN Proc. des Kongresses der Deutschen Gesellschaft für Luft- und Raumfahrt (DGLR), September 2002.
2001
André Windisch and Dieter Monjau
An Operational Framework for the Multi-Lingual System Simulation Based on Pi-Calculus
IN Proceedings of the XXI International Conference of the Chilean Computer Science Society (SCCC 2001), page 282 - 292, IEEE Computer Society, November 2001. ISBN: 0-7695-1396-4
An Operational Framework for the Multi-Lingual System Simulation Based on Pi-Calculus
IN Proceedings of the XXI International Conference of the Chilean Computer Science Society (SCCC 2001), page 282 - 292, IEEE Computer Society, November 2001. ISBN: 0-7695-1396-4
2000
Schneider and Mades and Manfred Glesner and André Windisch and Wolfgang Ecker
An Open VHDL-AMS Simulation Framework
IN IEEE/ACM International Workshop on Behavioral Modeling and Simulation (BMAS 2000), page 89 - 94, IEEE Computer Society, October 2000. ISBN: 0-7695-0893-6
An Open VHDL-AMS Simulation Framework
IN IEEE/ACM International Workshop on Behavioral Modeling and Simulation (BMAS 2000), page 89 - 94, IEEE Computer Society, October 2000. ISBN: 0-7695-0893-6
Karayiannis and Mades and André Windisch and Schneider and Wolfgang Ecker
Using XML for Represantation and Visualization of Elaborated VHDL-AMS Models
IN Proceedings of the VHDL International Users Forum (VIUF), page 83 - 87, IEEE Computer Society, October 2000. ISBN: 0-7695-0890-1
Using XML for Represantation and Visualization of Elaborated VHDL-AMS Models
IN Proceedings of the VHDL International Users Forum (VIUF), page 83 - 87, IEEE Computer Society, October 2000. ISBN: 0-7695-0890-1
Wolfgang Ecker and André Windisch and Mades and Schneider and Yang
Gated Clocks in RT-Synthesis and Simulation
IN Proceedings of the VHDL International Users Forum (VIUF), page 59 - 63, IEEE Computer Society, October 2000. ISBN: 0-7695-0890-1
Gated Clocks in RT-Synthesis and Simulation
IN Proceedings of the VHDL International Users Forum (VIUF), page 59 - 63, IEEE Computer Society, October 2000. ISBN: 0-7695-0890-1
Schneider and Mades and André Windisch and Manfred Glesner and Wolfgang Ecker
Anatomy of a VHDL-AMS Environment.
IN Proceedings of the Forum on Design Languages (FDL), page 159 - 165, September 2000. ISBN: 3-0000-6540-7
Anatomy of a VHDL-AMS Environment.
IN Proceedings of the Forum on Design Languages (FDL), page 159 - 165, September 2000. ISBN: 3-0000-6540-7
André Windisch and Schneider and Mades and Dieter Monjau and Wolfgang Ecker
A VHDL-Centric Mixed-Language Simulation Environment
IN Proceedings of the Forum on Design Languages (FDL), page 339 - 345, September 2000. ISBN: 3-0000-6540-7
A VHDL-Centric Mixed-Language Simulation Environment
IN Proceedings of the Forum on Design Languages (FDL), page 339 - 345, September 2000. ISBN: 3-0000-6540-7
Karayiannis and Mades and André Windisch and Schneider and Wolfgang Ecker
Using XML in VHDL Analysis and Simulation
IN Proceedings of the Forum on Design Languages (FDL), page 117 - 122, September 2000. ISBN: 3-0000-6540-7
Using XML in VHDL Analysis and Simulation
IN Proceedings of the Forum on Design Languages (FDL), page 117 - 122, September 2000. ISBN: 3-0000-6540-7
Schneider and André Windisch and Mades and Manfred Glesner and Dieter Monjau and Wolfgang Ecker
A System-Level Simulation Environment for System-On-Chip Design
IN Proceedings of 13th Annual IEEE International ASIC/SOC Conference, page 58 - 62, September 2000. ISBN: 0-7803-6598-4
A System-Level Simulation Environment for System-On-Chip Design
IN Proceedings of 13th Annual IEEE International ASIC/SOC Conference, page 58 - 62, September 2000. ISBN: 0-7803-6598-4
Yang and André Windisch and Schneider and Mades and Wolfgang Ecker
IVE: An Internet based Distributed VHDL Environment
IN Proceedings of 13th Annual IEEE International ASIC/SOC Conference, page 131 - 135, September 2000. ISBN: 0-7803-6598-4
IVE: An Internet based Distributed VHDL Environment
IN Proceedings of 13th Annual IEEE International ASIC/SOC Conference, page 131 - 135, September 2000. ISBN: 0-7803-6598-4
Schneider and Mades and André Windisch and Manfred Glesner and Wolfgang Ecker
A JAVA-based Mixed-Signal Design Environment
IN Proceedings of the XIII Symposium on Integrated Circuits and System Design (Chip In The Jungle), page 301 - 306, IEEE Computer Society, September 2000. ISBN: 0-7695-0843-X
A JAVA-based Mixed-Signal Design Environment
IN Proceedings of the XIII Symposium on Integrated Circuits and System Design (Chip In The Jungle), page 301 - 306, IEEE Computer Society, September 2000. ISBN: 0-7695-0843-X
Yang and André Windisch and Schneider and Mades and Wolfgang Ecker
IVE: An Environment for Internet Based distributed VHDL Design
IN Proceedings of the 16th World Computer Congress, page 516 - 525, IEEE Computer Society, August 2000. ISBN: 3-9018-8208-1
IVE: An Environment for Internet Based distributed VHDL Design
IN Proceedings of the 16th World Computer Congress, page 516 - 525, IEEE Computer Society, August 2000. ISBN: 3-9018-8208-1
Wolfgang Ecker and Mike Heuchling and Mades and Schneider and André Windisch and Yang
Using XML for VHDL Model Representation
IN Proceedings of the 16th World Computer Congress, page 526 - 535, IEEE Computer Society, August 2000. ISBN: 3-9018-8208-1
Using XML for VHDL Model Representation
IN Proceedings of the 16th World Computer Congress, page 526 - 535, IEEE Computer Society, August 2000. ISBN: 3-9018-8208-1
André Windisch
An Abstract Simulation Model for Mixed Language Hardware Simulation
IN Proceedings of the IEEE Summer Computer Simulation Conference (SCSC), page 319 - 326, July 2000. ISBN: 1-56555-208-3
An Abstract Simulation Model for Mixed Language Hardware Simulation
IN Proceedings of the IEEE Summer Computer Simulation Conference (SCSC), page 319 - 326, July 2000. ISBN: 1-56555-208-3
Mades and Schneider and André Windisch and Wolfgang Ecker
Elaboration of Hierarchical VHDL-AMS Models for Mixed-Signal Simulation
IN Proceedings of the International HDL Conference and Exhibition (HDLCON), page 111 - 117, The Printig House, US, March 2000.
Elaboration of Hierarchical VHDL-AMS Models for Mixed-Signal Simulation
IN Proceedings of the International HDL Conference and Exhibition (HDLCON), page 111 - 117, The Printig House, US, March 2000.
Wolfgang Ecker and Mike Heuchling and Mades and Schneider and André Windisch and Yang
VXML: VHDL-Design Hardware Representation in XML
IN ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, page 129 - 140, VDE Verlag, Berlin, Offenbach, February 2000. ISBN: 3-8007-2524-X
VXML: VHDL-Design Hardware Representation in XML
IN ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, page 129 - 140, VDE Verlag, Berlin, Offenbach, February 2000. ISBN: 3-8007-2524-X
1999
Wolfgang Ecker and Mike Heuchling and Mades and Schneider and Schneider and André Windisch and Yang and Zambaldi
VHDL2HYPER - A highly flexible Hypertext Generator for VHDL Models
IN Proceedings of the VHDL International Users Forum (VIUF), page 57 - 62, IEEE Computer Society, October 1999. ISBN: 0-7695-0334-9
VHDL2HYPER - A highly flexible Hypertext Generator for VHDL Models
IN Proceedings of the VHDL International Users Forum (VIUF), page 57 - 62, IEEE Computer Society, October 1999. ISBN: 0-7695-0334-9
Wolfgang Ecker and Manfred Glesner and Hollstein and Mades and Schneider and Theisen and André Windisch and Yang
A Flexible Connected Data System for VHDL Source Code Analysis, Transformation and Processing
IN GMM Fachbericht Entwurf integrierter Schaltungen, 9. E.I.S. Workshop, VDE Verlag, Berlin, Offenbach, September 1999.
A Flexible Connected Data System for VHDL Source Code Analysis, Transformation and Processing
IN GMM Fachbericht Entwurf integrierter Schaltungen, 9. E.I.S. Workshop, VDE Verlag, Berlin, Offenbach, September 1999.
Mades and Schneider and André Windisch and Yang and Wolfgang Ecker
A Scalable Multithreaded Compiler Frontend
IN Parallel Computing - Fundamentals and Applications - Proceedings of the International Conference (ParCo99), page 722 - 729, August 1999. ISBN: 1-86094-235-0
A Scalable Multithreaded Compiler Frontend
IN Parallel Computing - Fundamentals and Applications - Proceedings of the International Conference (ParCo99), page 722 - 729, August 1999. ISBN: 1-86094-235-0
André Windisch and Wolfgang Ecker and Hammer and Mades and Schneider and Yang
An Adaptable VHDL-AMS Compiler Front End
IN Proceedings Second International Forum on Design Languages FDL 99, page 71 - 80, August 1999. ISBN: 2-84010-033-9
An Adaptable VHDL-AMS Compiler Front End
IN Proceedings Second International Forum on Design Languages FDL 99, page 71 - 80, August 1999. ISBN: 2-84010-033-9
Wolfgang Ecker and Mades and Schneider and André Windisch and Yang
A Makefile Generator for VHDL Models under Consideration of Hierarchical Names, Identifier-Visibility and Identifier-Hiding
IN Proceedings Second International Forum on Design Languages FDL 99, page 81 - 90, August 1999. ISBN: 2-84010-033-9
A Makefile Generator for VHDL Models under Consideration of Hierarchical Names, Identifier-Visibility and Identifier-Hiding
IN Proceedings Second International Forum on Design Languages FDL 99, page 81 - 90, August 1999. ISBN: 2-84010-033-9
Wolfgang Ecker and Mades and Schneider and André Windisch and Yang
A Dependency Graph for VHDL Design Files and Design Units and its Application in a VHDL Design Environment
IN Proceedings of the International HDL Conference and Exhebition (HDLCON), page 111 - 117, April 1999.
A Dependency Graph for VHDL Design Files and Design Units and its Application in a VHDL Design Environment
IN Proceedings of the International HDL Conference and Exhebition (HDLCON), page 111 - 117, April 1999.
Denk and Feldmann and Hammer and Kahlert and Neubert and Reissig and André Windisch
Extension of a Standard Circuit Simulator towards VHDL-AMS
IN Proceedings of the Analog 99, page 12 - 17, February 1999.
Extension of a Standard Circuit Simulator towards VHDL-AMS
IN Proceedings of the Analog 99, page 12 - 17, February 1999.
Seiten: 1
