Anzahl: 5 10 25 50 100 Alle
Seiten: 1 2 > >>
2002
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
2012
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
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
2013
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
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.
2011
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
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
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
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
Eclipse Plug-Ins for IMA Systems Integration
IN EADS Workshop on Eclipse Technology 2005, November 2005.
Configuration of future IMA Systems with VERDI.
IN EADS Technical Workshop Series 2005, November 2005.
AADL-Modelling of Plug&Play Weapon System Architecture
IN Proceedings of the AADL Workshop 2005, page 121 - 132, October 2005.
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
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.
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.
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 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
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
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
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
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
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
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
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
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
Seiten: 1 2 > >>