The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Ada-Europe"( http://dblp.L3S.de/Venues/Ada-Europe )

URL (DBLP): http://dblp.uni-trier.de/db/conf/adaEurope

Publication years (Num. hits)
1991 (26) 1992 (26) 1993 (26) 1994 (42) 1995 (37) 1996 (41) 1997 (26) 1998 (26) 1999 (38) 2000 (27) 2001 (33) 2002 (29) 2003 (33) 2004 (27) 2005 (22) 2006 (20) 2007 (19) 2008 (21) 2009 (20) 2010 (20) 2011 (22) 2012 (16) 2013-2014 (27) 2015 (15) 2016-2017 (30) 2018 (11)
Publication types (Num. hits)
inproceedings(652) proceedings(28)
Venues (Conferences, Journals, ...)
Ada-Europe(680)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 421 occurrences of 218 keywords

Results
Found 680 publication records. Showing 680 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Stefano Munari, Sebastiano Valle, Tullio Vardanega Microservice-Based Agile Architectures: An Opportunity for Specialized Niche Technologies. Search on Bibsonomy Ada-Europe The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP. Search on Bibsonomy Ada-Europe The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jorge Real, Sergio Saez, Alfons Crespo Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar. Search on Bibsonomy Ada-Europe The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jorge Garrido, Juan Zamorano, Alejandro Alonso 0001, Juan Antonio de la Puente On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks. Search on Bibsonomy Ada-Europe The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1J. Javier Gutiérrez, Héctor Pérez 0001 Theory and Practice of EDF Scheduling in Distributed Real-Time Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antonio Casimiro, Pedro M. Ferreira (eds.) Reliable Software Technologies - Ada-Europe 2018 - 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings Search on Bibsonomy Ada-Europe The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation. Search on Bibsonomy Ada-Europe The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Filip Markovic, Jan Carlson, Radu Dobrin Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling. Search on Bibsonomy Ada-Europe The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maroua Maalej, S. Tucker Taft, Yannick Moy Safe Dynamic Memory Management in Ada and SPARK. Search on Bibsonomy Ada-Europe The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Omar Jaradat, Sasikumar Punnekkat Using Safety Contracts to Verify Design Assumptions During Runtime. Search on Bibsonomy Ada-Europe The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johann Blieberger, Bernd Burgstaller Safe Non-blocking Synchronization in Ada2x. Search on Bibsonomy Ada-Europe The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paolo Carletto, Tullio Vardanega Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime. Search on Bibsonomy Ada-Europe The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antonio Casimiro, Inês Gouveia, José Rufino Enforcing Timeliness and Safety in Mission-Critical Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Medina 0001, Etienne Borde, Laurent Pautet Directed Acyclic Graph Scheduling for Mixed-Criticality Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alan Burns, Sanjoy Baruah Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework. Search on Bibsonomy Ada-Europe The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi 0001 An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada. Search on Bibsonomy Ada-Europe The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jorge Garrido, Shuai Zhao, Alan Burns, Andy J. Wellings Supporting Nested Resources in MrsP. Search on Bibsonomy Ada-Europe The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Suzana Milutinovic, Jaume Abella, Irune Agirre, Mikel Azkarate-askasua, Enrico Mezzetti, Tullio Vardanega, Francisco J. Cazorla Software Time Reliability in the Presence of Cache Memories. Search on Bibsonomy Ada-Europe The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jorge Garrido, Juan Zamorano, Alejandro Alonso 0001, Juan Antonio de la Puente Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile. Search on Bibsonomy Ada-Europe The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alejandro R. Mosteo RxAda: An Ada implementation of the ReactiveX API. Search on Bibsonomy Ada-Europe The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xiaotian Dai, Alan Burns Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho OpenMP Tasking Model for Ada: Safety and Correctness. Search on Bibsonomy Ada-Europe The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Enrique Díaz, Mikel Fernández, Leonidas Kosmidis, Enrico Mezzetti, Carles Hernández, Jaume Abella, Francisco J. Cazorla MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding. Search on Bibsonomy Ada-Europe The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Johann Blieberger, Markus Bader (eds.) Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings Search on Bibsonomy Ada-Europe The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Patrick Rogers, Jose Ruiz, Tristan Gingold, Patrick Bernardi A New Ravenscar-Based Profile. Search on Bibsonomy Ada-Europe The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Seongho Jeong, Shinhyung Yang, Bernd Burgstaller Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions. Search on Bibsonomy Ada-Europe The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roderick Chapman Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong...). Search on Bibsonomy Ada-Europe The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Abhilash Thekkilakattil, Kaiqian Zhu, Yonggao Nie, Radu Dobrin, Sasikumar Punnekkat An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling. Search on Bibsonomy Ada-Europe The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mohsen Laali, Huai Liu, Margaret Hamilton, Maria Spichkova, Heinz W. Schmidt Test Case Prioritization Using Online Fault Detection Information. Search on Bibsonomy Ada-Europe The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alan Burns Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Robert Mittermayr, Johann Blieberger Kronecker Algebra for Static Analysis of Barriers in Ada. Search on Bibsonomy Ada-Europe The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi 0001 Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model. Search on Bibsonomy Ada-Europe The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jorge Real, Sergio Saez, Alfons Crespo Combining Time-Triggered Plans with Priority Scheduled Task Sets. Search on Bibsonomy Ada-Europe The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hai Tao Mei, Ian Gray, Andy J. Wellings Real-Time Stream Processing in Java. Search on Bibsonomy Ada-Europe The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Franco Mazzanti An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine. Search on Bibsonomy Ada-Europe The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones (eds.) Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings Search on Bibsonomy Ada-Europe The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Wittiger Eliminating Data Race Warnings Using CSP. Search on Bibsonomy Ada-Europe The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrew V. Jones Addressing the Regression Test Problem with Change Impact Analysis for Ada. Search on Bibsonomy Ada-Europe The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance. Search on Bibsonomy Ada-Europe The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Héctor Pérez 0001, J. Javier Gutiérrez, Michael González Harbour, J. Carlos Palencia The Polling Effect on the Schedulability of Distributed Real-Time Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Laura Baracchi, Silvia Mazzini, Stefano Puri, Tullio Vardanega Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development. Search on Bibsonomy Ada-Europe The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel From AADL Model to LNT Specification. Search on Bibsonomy Ada-Europe The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Juan Zamorano, Jorge Garrido Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS. Search on Bibsonomy Ada-Europe The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1A. Balázs, Attila Baksa, H. Bitterlich, I. Hernyes, O. Küchemann, Zoltan Pálos, J. Rustenbach, W. Schmidt, Péter Spányi, J. Sulyán, Sándor Szalai, Laszlo Várhalmi The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission. Search on Bibsonomy Ada-Europe The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jesús Fernández, Héctor Pérez 0001, J. Javier Gutiérrez, Michael González Harbour AFDX Emulator for an ARINC-Based Training Platform. Search on Bibsonomy Ada-Europe The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Manuel Díaz, Daniel Garrido Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later. Search on Bibsonomy Ada-Europe The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Domenik Pavletic, Markus Voelter, Syed Aoun Raza, Bernd Kolb, Timo Kehrer Extensible Debugger Framework for Extensible Languages. Search on Bibsonomy Ada-Europe The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Geoffrey Nelissen, David Pereira, Luís Miguel Pinho A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring. Search on Bibsonomy Ada-Europe The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft An Execution Model for Fine-Grained Parallelism in Ada. Search on Bibsonomy Ada-Europe The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Omar Jaradat, Iain Bate, Sasikumar Punnekkat Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases. Search on Bibsonomy Ada-Europe The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sebastiano Catellani, Luca Bonato, Sebastian Huber, Enrico Mezzetti Challenges in the Implementation of MrsP. Search on Bibsonomy Ada-Europe The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Santiago Urueña, Nuria Pérez, Bruno N. Calvo, Carlos Flores, Andreas Jung Guaranteeing Timing Requirements in the IXV On-Board Software. Search on Bibsonomy Ada-Europe The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jon Pérez, David González, Salvador Trujillo, Ton Trapman A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning. Search on Bibsonomy Ada-Europe The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri The CONCERTO Methodology for Model-Based Development of Avionics Software. Search on Bibsonomy Ada-Europe The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Juan Antonio de la Puente, Tullio Vardanega (eds.) Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings Search on Bibsonomy Ada-Europe The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Husni Khanfar, Björn Lisper, Abu Naser Masud Static Backward Program Slicing for Safety-Critical Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bernd Burgstaller, Johann Blieberger Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects. Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky Practical Formal Methods in Railways - The SafeCap Approach. Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Antoine Jaouën, Etienne Borde, Laurent Pautet, Thomas Robert PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jiale Zhou, Yue Lu, Kristina Lundqvist A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alan Burns, Andy J. Wellings Deadline-Aware Programming and Scheduling. Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sergio Saez, Jorge Real, Alfons Crespo Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012. Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Manar Qamhieh, Serge Midonnet Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level. Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ilya Lopatkin, Alexander B. Romanovsky Rigorous Development of Fault-Tolerant Systems through Co-refinement. Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luís Miguel Pinho, Brad Moore, Stephen Michell Parallelism in Ada: Status and Prospects. Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto Towards a Runtime Verification Framework for the Ada Programming Language. Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gerhard Hanis, Burkhard Stadlmann OBUs' Development and Maintenance of a Train Control System for Low Density Traffic Lines. Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Robert Lainé Lessons Learned and Easily Forgotten. Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sergio Saez, Alfons Crespo Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels. Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Laurent George 0001, Tullio Vardanega (eds.) Reliable Software Technologies - Ada-Europe 2014, 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mohamed Shawky Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Esteban Asensio, Ismael Lafoz, Andrew Coombes, Julian Navas Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software. Search on Bibsonomy Ada-Europe The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Emilio Salazar, Alejandro Alonso 0001, Miguel A. de Miguel, Juan Antonio de la Puente A Model-Based Framework for Developing Real-Time Safety Ada Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Xiaozhen Xue, Akbar Siami Namin Measuring the Odds of Statements Being Faulty. Search on Bibsonomy Ada-Europe The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Barry S. Fagin, Martin C. Carlisle Provably Secure DNS: A Case Study in Reliable Software. Search on Bibsonomy Ada-Europe The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carl Brandon, Peter Chapin A SPARK/Ada CubeSat Control Program. Search on Bibsonomy Ada-Europe The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Héctor Pérez 0001, J. Javier Gutiérrez Experience with the Integration of Distribution Middleware into Partitioned Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andrea Baldovin, Enrico Mezzetti, Tullio Vardanega Towards a Time-Composable Operating System. Search on Bibsonomy Ada-Europe The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Quinot, Eric Botcazou Lady Ada Mediates Peace Treaty in Endianness War. Search on Bibsonomy Ada-Europe The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk (eds.) Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings Search on Bibsonomy Ada-Europe The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stephen Michell, Brad Moore, Luís Miguel Pinho Tasklettes - A Fine Grained Parallelism for Ada on Multicores. Search on Bibsonomy Ada-Europe The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1J. Reinier van Kampenhout, Robert Hilbrich Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors. Search on Bibsonomy Ada-Europe The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Theodor Tempelmeier Teaching 'Concepts of Programming Languages' with Ada. Search on Bibsonomy Ada-Europe The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mark Louis Fairbairn, Alan Burns Implementing and Verifying EDF Preemption-Level Resource Control. Search on Bibsonomy Ada-Europe The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1José F. Ruiz, Cyrille Comar, Yannick Moy Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012. Search on Bibsonomy Ada-Europe The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Patricia López Martínez, Tullio Vardanega Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development. Search on Bibsonomy Ada-Europe The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pak-Lok Poon, Tsong Yueh Chen, T. H. Tse Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology. Search on Bibsonomy Ada-Europe The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sergio Saez, Jorge Real, Alfons Crespo An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications. Search on Bibsonomy Ada-Europe The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mats Brorsson, Luís Miguel Pinho (eds.) Reliable Software Technologies - Ada-Europe 2012 - 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings Search on Bibsonomy Ada-Europe The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marco Panunzio, Tullio Vardanega Ada Ravenscar Code Archetypes for Component-Based Development. Search on Bibsonomy Ada-Europe The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1José Miguel Faria, João Martins, Jorge Sousa Pinto An Approach to Model Checking Ada Programs. Search on Bibsonomy Ada-Europe The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marisol García-Valls, Felipe Ibáñez-Vázquez Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA. Search on Bibsonomy Ada-Europe The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov Augmenting Formal Development with Use Case Reasoning. Search on Bibsonomy Ada-Europe The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andrew Edmunds, Abdolbaghi Rezazadeh, Michael J. Butler Formal Modelling for Ada Implementations: Tasking Event-B. Search on Bibsonomy Ada-Europe The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Florian Pölzlbauer, Iain Bate, Eugen Brenner Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis Formal Goal-Oriented Development of Resilient MAS in Event-B. Search on Bibsonomy Ada-Europe The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kristoffer Nyborg Gregertsen, Amund Skavhaug Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit. Search on Bibsonomy Ada-Europe The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christian Forler, Stefan Lucks, Jakob Wenzel 0001 Designing the API for a Cryptographic Library - A Misuse-Resistant Application Programming Interface. Search on Bibsonomy Ada-Europe The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Syed Aoun Raza, Stefan Franke, Erhard Ploedereder Detecting High-Level Synchronization Errors in Parallel Programs. Search on Bibsonomy Ada-Europe The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 680 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license