Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 2009: Brest, France
- Fabrice Kordon, Yvon Kermarrec:
Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings. Lecture Notes in Computer Science 5570, Springer 2009, ISBN 978-3-642-01923-4 - Alessandro Zovi, Tullio Vardanega
:
Requirements on the Target Programming Language for High-Integrity MDE. 1-15 - Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente:
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems. 16-29 - Julien Delange, Laurent Pautet, Peter H. Feiler:
Validating Safety and Security Requirements for Partitioned Architectures. 30-43 - Man Fai Lau, Yuen-Tak Yu:
On Comparing Testing Criteria for Logical Decisions. 44-58 - Didier Buchs, Levi Lucio, Ang Chen:
Model Checking Techniques for Test Generation from Business Process Models. 59-74 - Francisco J. Montoya-Dato, José Luis Fernández Alemán, Ginés García-Mateos:
An Experience on Ada Programming Using On-Line Judging. 75-89 - Claude Kaiser, Jean-François Pradat-Peyre:
Weak Fairness Semantic Drawbacks in Java Multithreading. 90-104 - Mario Aldea Rivas, Michael González Harbour, José F. Ruiz:
Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT. 105-118 - Alan Burns, Andy J. Wellings, Fengxiang Zhang:
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005. 119-133 - Amine Marref, Guillem Bernat:
Predicated Worst-Case Execution-Time Analysis. 134-148 - Sergio Sáez, Silvia Terrasa, Vicente Lorente Garcés, Alfons Crespo:
Implementing Reactive Systems with UML State Machines and Ada 2005. 149-163 - José L. Fernández-Sánchez, Gloria Mármol Acitores:
Modelling and Evaluating Real-Time Software Architectures. 164-176 - Liliana Favre:
A Formal Foundation for Metamodeling. 177-191 - Lei Pi, Jean-Paul Bodeveix, Mamoun Filali:
Modeling AADL Data Communication with BIP. 192-206 - Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat:
Formal Verification of AADL Specifications in the Topcased Environment. 207-221 - Oleg Sokolsky, Insup Lee, Duncan Clarke:
Process-Algebraic Interpretation of AADL Models. 222-236 - Gilles Lasnier, Bechir Zalila, Laurent Pautet, Jérôme Hugues:
Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications. 237-250 - Eric Le Pors, Olivier Grisvard:
Conceptual Modeling for System Requirements Enhancement. 251-265 - Christine Choppy, Olivier Bertrand, Patrice Carle:
Coloured Petri Nets for Chronicle Recognition. 266-281
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
