|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 111 occurrences of 71 keywords
|
|
|
Results
Found 305 publication records. Showing 305 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
121 | Frank Singhoff, Jérôme Legrand, Laurent Nana, Lionel Marcé |
Scheduling and memory requirements analysis with AADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005, pp. 1-10, 2005, ACM, 1-59593-185-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ada framework, memory requirements and real time scheduling analysis, AADL |
115 | Joyce L. Tokar |
Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, Philadelphia, PA, USA], pp. 1-13, 2006, Springer, 978-3-540-74033-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Modeling, Dependability, Architecture description language, Architecture analysis |
106 | Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche |
A System Dependability Modeling Framework Using AADL and GSPNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, Philadelphia, PA, USA], pp. 14-38, 2006, Springer, 978-3-540-74033-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
evaluation, model transformation, AADL, dependability modeling, GSPN |
99 | Oleg Sokolsky, Insup Lee 0001, Duncan Clarke |
Schedulability analysis of AADL models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
90 | Stefan Björnander, Lars Grunske, Kristina Lundqvist |
Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QoSA ![In: Architectures for Adaptive Software Systems, 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings, pp. 101-115, 2009, Springer, 978-3-642-02350-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Behavior Annex, TASM, Translation, AADL |
90 | Frank Singhoff, Alain Plantec |
AADL modeling and analysis of hierarchical schedulers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 41-50, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ada framework, cheddar, platypus, real time, scheduling analysis, AADL, timed automaton |
90 | Jean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland |
A mapping from AADL to Java-RTSJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria, pp. 165-174, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
architecture analysis and design languages (AADL), Java, real-time systems, architecture description languages, real-time specification for Java (RTSJ) |
83 | Dionisio de Niz, Peter H. Feiler |
Verification of Replication Architectures in AADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 365-370, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
83 | Roberto Varona-Gomez, Eugenio Villar |
AADL Simulation and Performance Analysis in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 323-328, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
83 | Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche |
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Seventh European Dependable Computing Conference, EDCC-7 2008, Kaunas, Lithuania, 7-9 May 2008, pp. 85-90, 2008, IEEE Computer Society, 978-0-7695-3138-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
83 | Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux |
A Study of the AADL Mode Change Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland, pp. 288-293, 2008, IEEE Computer Society, 0-7695-3139-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
83 | Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers |
Using AADL to Model a Protocol Stack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland, pp. 277-281, 2008, IEEE Computer Society, 0-7695-3139-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
83 | Hongyu Sun 0001, Miriam Hauptman, Robyn R. Lutz |
Integrating Product-Line Fault Tree Analysis into AADL Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 15-22, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
67 | Hong P. Liu, David P. Gluch |
Formal verification of AADL behavior models: a feasibility investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 47th Annual Southeast Regional Conference, 2009, Clemson, South Carolina, USA, March 19-21, 2009, 2009, ACM, 978-1-60558-421-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
architecture analysis & design language, model checking, tool integration, computational tree logic |
67 | Ivano Malavolta, Henry Muccini, Patrizio Pelliccione |
Integrating AADL within a Multi-domain Modeling Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 341-346, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
67 | Oleg Sokolsky, Insup Lee 0001, Duncan Clarke |
Process-Algebraic Interpretation of AADL Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings, pp. 222-236, 2009, Springer, 978-3-642-01923-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
67 | Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis |
Translating AADL into BIP - Application to the Verification of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers, pp. 5-19, 2008, Springer, 978-3-642-01647-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
67 | Shenglin Gui, Lei Luo 0004, Qian Liu, Fulei Guo, Shaopeng Lu |
UCaS: A Schedulability Analysis Tool for AADL Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC (2) ![In: 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008, Volume II: Workshops, pp. 449-454, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
67 | Malika Benammar, Faiza Belala, Fateh Latreche |
AADL behavioral annex based on generalized rewriting logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCIS ![In: Proceedings of the IEEE International Conference on Research Challenges in Information Science, RCIS 2008, Marrakech, Morocco, June 3-6, 2008, pp. 1-8, 2008, IEEE, 978-1-4244-1677-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
67 | Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas |
The AADL behaviour annex - experiments and roadmap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, pp. 377-382, 2007, IEEE Computer Society, 978-0-7695-2895-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
67 | Thomas Vergnaud, Laurent Pautet, Fabrice Kordon |
Using the AADL to Describe Distributed Applications from Middleware to Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings, pp. 67-78, 2005, Springer, 3-540-26286-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
64 | Peter H. Feiler, Dionisio de Niz, Chris Raistrick, Bruce A. Lewis |
From PIMs to PSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, pp. 365-370, 2007, IEEE Computer Society, 978-0-7695-2895-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
58 | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll 0001 |
Verification and performance evaluation of aadl models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 285-286, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
performability, model checking, reliability, dependability, aadl |
58 | Jérôme Hugues, Bechir Zalila, Laurent Pautet, Fabrice Kordon |
From the prototype to the final embedded system using the Ocarina AADL tool suite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 7(4), pp. 42:1-42:25, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Ocarina, PolyORB-HI, real-time, distributed, embedded, AADL, DRE |
57 | Kyungmin Bae, Peter Csaba Ölveczky |
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, pp. 127-152, 2023, Springer, 978-3-031-52182-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
55 | Werner Damm |
A Microprogramming Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(5), pp. 559-574, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
microprogramming logic, syntax-directed proof system, horizontal computer architectures, clocked microarchitectures, axiomatic definition, microoperations, low-level parallelism, dynamic conflicts, specification, computer architecture, theorem proving, specification languages, architecture description language, formal logic, microprogramming, AADL, timing behavior |
51 | Frédéric Mallet, Charles André, Julien DeAntoni |
Executing AADL Models with UML/MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 371-376, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Lei Pi, Jean-Paul Bodeveix, Mamoun Filali |
Modeling AADL Data Communication with BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings, pp. 192-206, 2009, Springer, 978-3-642-01923-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Lars Grunske, Jun Han |
A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 283-292, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Yue Ma 0004, Jean-Pierre Talpin, Thierry Gautier |
Virtual prototyping AADL architectures in a polychronous model of computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA, pp. 139-148, 2008, IEEE Computer Society, 978-1-4244-2417-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger |
AADL Execution Semantics Transformation for Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland, pp. 263-268, 2008, IEEE Computer Society, 0-7695-3139-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Su-Young Lee 0002, Frédéric Mallet, Robert de Simone |
Dealing with AADL End-to-End Flow Latency with UML MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland, pp. 228-233, 2008, IEEE Computer Society, 0-7695-3139-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Matthias Brun 0001, Jérôme Delatour, Yvon Trinquet |
Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland, pp. 257-262, 2008, IEEE Computer Society, 0-7695-3139-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Hugues Balp, Etienne Borde, Grégory Haïk, Jean-François Tilman |
Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland, pp. 269-274, 2008, IEEE Computer Society, 0-7695-3139-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
48 | Vibha Prasad, Ting Yan, Praveen Jayachandran, Zengzhong Li, Sang Hyuk Son, John A. Stankovic, Jörgen Hansson, Tarek F. Abdelzaher |
ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 3-6 December 2007, Tucson, Arizona, USA, pp. 203-213, 2007, IEEE Computer Society, 0-7695-3062-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Bruce Lewis |
Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISSEF ![In: Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers, pp. 249-260, 2002, Springer, 3-540-21179-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Yue Ma 0004, Jean-Pierre Talpin, Thierry Gautier |
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010, pp. 2361-2366, 2010, IEEE Computer Society, 978-0-7695-4108-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
behavior annex, synchronous, AADL, SSA |
42 | Hassan Reza, Emanuel S. Grant |
Toward Extending AADL-OSATE Toolset with Color Petri Nets (CPNs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, USA, 27-29 April 2009, pp. 1085-1088, 2009, IEEE Computer Society, 978-0-7695-3596-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
MetaH, OSATE, Eclipse, ADL, Color Petri nets, AADL, Model-Based Engineering |
42 | Yunwei Dong, Geng Wang, Hong-bing Zhao |
A Model-Based Testing for AADL Model of Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009, pp. 185-190, 2009, IEEE Computer Society, 978-0-7695-3828-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Architecture Analyze and Design Language (AADL), Markov Chain, Model-based Testing, Error Model |
39 | Rodolfo Pellizzoni, Patrick O'Neil Meredith, Min-Young Nam, Mu Sun, Marco Caccamo, Lui Sha |
Handling mixed-criticality in SoC-based real-time embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 235-244, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mixed-criticality, system-on-chip, runtime monitoring, platform-based design, AADL |
38 | Mohamed Elkamel Hamdane |
Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL. (A model-driven engineering approach for verifying AADL descriptions). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
38 | Farid Adaili |
Nouvelle Approche Globale par Composants AADL pour le Développement desSystèmes Adaptatifs de Contrôle Industriel. (New Global Approach based AADL Components for the Development of Adaptive Industrial Control Systems). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
38 | Pierre Dissaux, Olivier Marc |
Executable AADL: Real-Time Simulation of AADL Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACVI@MoDELS ![In: Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, ACVI@MoDELS 2014, Valencia, Spain, September 29, 2014., 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
38 | Yuqing Qian, Jing Liu 0012, Xiaohong Chen 0007 |
Hybrid AADL: a sublanguage extension to AADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internetware ![In: Proceedings of the 5th Asia-Pacific Symposium on Internetware, Internetware 2013, Changsha, China, October 23-24, 2013, pp. 27:1-27:4, 2013, ACM, 978-1-4503-2369-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
38 | Mohamed Yassin Chkouri |
Modélisation des systèmes temps-réel embarqués en utilisant AADL pour la génération automatique d'applications formellement vérifiées. (Modelling real-time embedded systems using AADL for the automatic generation of applications formally verified). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
35 | Aldeida Aleti, Stefan Björnander, Lars Grunske, Indika Meedeniya |
ArcheOpterix: An extendable tool for architecture optimization of AADL models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, May 16, 2009, Vancouver, Canada, pp. 61-71, 2009, IEEE Computer Society, 978-1-4244-3721-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu 0004, Dianfu Ma |
A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 347-352, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat 0001 |
Formal Verification of AADL Specifications in the Topcased Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings, pp. 207-221, 2009, Springer, 978-3-642-01923-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Sudhanwa Kholgade, Jamie White, Hassan Reza |
Comparing the Specification of a Near-Real Time Commanding System Using Statecharts and AADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2-4 April 2007, Las Vegas, Nevada, USA, pp. 355-360, 2007, IEEE Computer Society, 978-0-7695-2776-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens |
Virtual execution of AADL models via a translation into synchronous programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria, pp. 134-143, 2007, ACM, 978-1-59593-825-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
simulation, formal verification, architecture description language, synchronous languages |
35 | Madeleine Faugère, Thimothée Bourbeau, Robert de Simone, Sébastien Gérard |
MARTE: Also an UML Profile for Modeling AADL Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, pp. 359-364, 2007, IEEE Computer Society, 978-0-7695-2895-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Peter H. Feiler |
Modeling the Implementation of State-Based System Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 377-382, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Erwan Jahier, Nicolas Halbwachs, Pascal Raymond |
Synchronous Modeling and Validation of Priority Inheritance Schedulers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 140-154, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Simulation, Scheduling, Embedded systems, Formal Verification, Architecture Description Languages, Synchronous Languages |
32 | Youngseok Oh, Danhyung Lee, Sungwon Kang, Jihyun Lee |
Extended Architecture Analysis Description Language for Software Product Line Approach in Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30 - June 1st, Nice, France, pp. 87-88, 2007, IEEE Computer Society, 1-4244-1050-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Isabelle Perseil, Laurent Pautet |
A Co-Modeling Methodology Designed for RT Architecture Models Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, pp. 371-376, 2007, IEEE Computer Society, 978-0-7695-2895-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet |
Generating Distributed High Integrity Applications from Their Architectural Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings, pp. 155-167, 2007, Springer, 978-3-540-73229-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Werner Damm, Gert Döhmen |
An Axiomatic Approach to the Specification of Distributed Computer Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE, Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings, pp. 103-120, 1987, Springer, 3-540-17943-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
23 | Jörgen Hansson, Lutz Wrage, Peter H. Feiler, John Morley, Bruce A. Lewis, Jérôme Hugues |
Architectural Modeling to Verify Security and Nonfunctional Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 8(1), pp. 43-49, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Architecture Analysis and Design Language, security, verification, architectural modeling, AADL |
23 | Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand |
Investigating the usability of real-time scheduling theory with the Cheddar project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 43(3), pp. 259-295, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Architecture modelling and verification, Scheduling theory, AADL, Software engineering tools |
23 | Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues |
Automatic framework generation for hard real-time applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(1), pp. 107-122, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Ravenscar, Real-time, Ada, Code generation, Model transformation, AADL |
23 | Isabelle Perseil, Laurent Pautet |
Foundations of a new software engineering method for real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(3), pp. 195-202, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
PBSE, +CAL, UML, Real-time, Code generation, MDA, Model transformation, MDE, MARTE, AADL, Continuum, Software engineering method |
23 | Bechir Zalila, Laurent Pautet, Jérôme Hugues |
Towards Automatic Middleware Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 221-228, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Automatic Middleware Generation, Ocarina, PolyORB-HI, AADL, Distributed Real-Time Embedded Systems |
23 | Dionisio de Niz, Peter H. Feiler |
On Resource Allocation in Architectural Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 291-297, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model, Architecture, Resource Allocation, Software, Bin Packing, Budgets, AADL, Model-Based Engineering |
19 | Zhen Li, Zining Cao, Fujun Wang, Chao Xing |
A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 34(1), pp. 49-89, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Paul A. Wortman, John A. Chandy |
Translation of AADL model to security attack tree (TAMSAT) to SMART evaluation of monetary security risk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Secur. J. A Glob. Perspect. ![In: Inf. Secur. J. A Glob. Perspect. 32(4), pp. 297-313, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Hana Mkaouar, Dominique Blouin, Etienne Borde |
A benchmark of incremental model transformation tools based on an industrial case study with AADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 22(1), pp. 175-201, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Mohamed Elkamel Hamdane, Saad Harous, Elhillali Kerkouche, Nabil Messaoudi |
Improving consistency of AADL models: A composition approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Eng. ![In: Syst. Eng. 26(3), pp. 257-270, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Faiqa Adnan, Mazhar Javed Awan, Amena Mahmoud, Haitham Nobanee, Awais Yasin, Azlan Mohd Zain |
EfficientNetB3-Adaptive Augmented Deep Learning (AADL) for Multi-Class Plant Disease Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 85426-85440, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Zhengling Guo, Zining Cao |
Combined Formal Modeling and Model Transformation Based on AADL and Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 18(4), pp. 185-199, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Ehsan Ahmad, Hessam S. Sarjoughian |
An Environment for Developing Simulatable AADL-DEVS Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 123, pp. 102690, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Xiongpeng Hu, Jing Liu, Hui Dou, HongTao Chen, Yuhong Zhang |
Automatic Generation of Component Fault Trees from AADL Models for Design Failure Modes and Effects Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023, Chiang Mai, Thailand, October 22-26, 2023, pp. 550-561, 2023, IEEE, 979-8-3503-1958-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter |
Automated Property-Based Testing from AADL Component Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, pp. 131-150, 2023, Springer, 978-3-031-43680-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Guo Peng, Zhang Xiao, Wang Yang |
The Scheduling Analysis Method of Embedded Real-Time System Based on AADL-IO Annex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD-Winter ![In: 25th ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2023 Summer, Taiyuan, Taiwan, July 5-7, 2023, pp. 211-215, 2023, IEEE, 979-8-3503-4586-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Hallerstede, John Hatcliff |
A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, pp. 45-64, 2023, Springer, 978-3-031-52182-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan |
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 903, pp. 1-25, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky, Sharon Kim, Minseok Kang |
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 24(6), pp. 911-948, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Yu Tan, Yongwang Zhao, Dianfu Ma, Xuejun Zhang |
A Comprehensive Formalization of AADL with Behavior Annex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Program. ![In: Sci. Program. 2022, pp. 2079880:1-2079880:26, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Hariharan Thiagarajan, John Hatcliff, Robby |
Awas: AADL information flow and error propagation analysis framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 18(4), pp. 485-504, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart |
Mechanization of a Large DSML: An Experiment with AADL and Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022, pp. 1-9, 2022, IEEE, 979-8-3503-3190-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | John Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage |
Formalization of the AADL Run-Time Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II, pp. 105-134, 2022, Springer, 978-3-031-19755-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Eric Senn, Lucie W. J. Bourdon, Dominique Blouin |
Multi-paradigm modeling for early analysis of ROS-based robotic applications using a library of AADL models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, pp. 677-683, 2022, ACM, 978-1-4503-9467-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Rakshit Mittal, Dominique Blouin, Anish Bhobe, Soumyadip Bandyopadhyay |
Solving the instance model-view update problem in AADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, pp. 55-65, 2022, ACM, 978-1-4503-9466-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Rakshit Mittal, Dominique Blouin |
OSATE-DIM solves the instance model-view update problem in AADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, pp. 1-6, 2022, ACM, 978-1-4503-9467-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Rakshit Mittal |
The instance model-view update problem in AADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, pp. 221-224, 2022, ACM, 978-1-4503-9467-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Xiaoying Chen, Yi Zhu, Yu Zhao, Jinyong Wang, Anarbekov Altynbek |
Hybrid Modeling and Model Transformation of AADL for Verifying the Properties of CPS Space-Time Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 99539-99551, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Danielle Stewart, Jing Liu, Darren D. Cofer, Mats Per Erik Heimdahl, Michael W. Whalen, Michael Peterson |
AADL-Based safety analysis using formal methods applied to aircraft digital systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 213, pp. 107649, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Yin Lu, Shudong Qin, Leqi Xi, Yunwei Dong |
On Schedulability Analysis of AADL Architecture with Storage Resource Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Informatics ![In: Int. J. Softw. Informatics 11(4), pp. 429-452, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Jaehun Lee, Sharon Kim, Kyungmin Bae, Peter Csaba Ölveczky |
HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I, pp. 491-504, 2021, Springer, 978-3-030-81684-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | John Hatcliff, Jason Belt, Robby, Todd Carpenter |
HAMR: An AADL Multi-platform Code Generation Toolset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings, pp. 274-295, 2021, Springer, 978-3-030-89158-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Eric Senn, Lucie Bourdon |
Introducing CPU load Analysis from AADL Models for ROS applications : a use case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 24th Forum on specification & Design Languages, FDL 2021, Antibes, France, September 8-10, 2021, pp. 1-8, 2021, IEEE, 978-1-6654-1825-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Yunwei Dong, Qian-wen Gou, Pei Tang |
Architecture-Level Schedulability Analysis with IO Constraint using AADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSA ![In: 8th International Conference on Dependable Systems and Their Applications, DSA 2021, Yinchuan, China, August 5-6, 2021, pp. 220-229, 2021, IEEE, 978-1-6654-4391-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Fei Wang 0049, Zhibin Yang, Zhi-qiu Huang, Chengwei Liu, Yong Zhou, Jean-Paul Bodeveix, Mamoun Filali |
An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 69(1), pp. 154-173, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Mingrui Xiao, Yunwei Dong, Qian-wen Gou, Feng Xue, Yong-Hua Chen |
Architecture-level particular risk modeling and analysis for a cyber-physical system with AADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Inf. Technol. Electron. Eng. ![In: Frontiers Inf. Technol. Electron. Eng. 21(11), pp. 1607-1625, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Jorge L. Salazar-Cerreno, Zeeshan Qamar, Shahrokh Saeedi, Binbin Weng, Hjalti H. Sigmarsson |
Frequency Agile Microstrip Patch Antenna Using an Anisotropic Artificial Dielectric Layer (AADL): Modeling and Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 6398-6406, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Abeer Saeed Abdo Hadad, Chunyan Ma, Adeeb Abdulwakeel Obadi Ahmed |
Formal Verification of AADL Models by Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 72814-72834, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel |
A formal approach to AADL model-based software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 22(2), pp. 219-247, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Diego Camara Sales, Cristian Koliver, Leandro Buss Becker |
Ontology and Rules for Characterization of Sensors and Actuators Devices in AADL Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBESC ![In: X Brazilian Symposium on Computing Systems Engineering, SBESC 2020, Florianopolis, Brazil, November 24-27, 2020, pp. 1-8, 2020, IEEE, 978-1-7281-8286-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Joonas Linnosmaa, Antti Pakonen, Nikolaos Papakonstantinou, Péter Kárpáti |
Applicability of AADL in modelling the overall I&C architecture of a nuclear power plant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: The 46th Annual Conference of the IEEE Industrial Electronics Society, IECON 2020, Singapore, October 18-21, 2020, pp. 4337-4344, 2020, IEEE, 978-1-7281-5414-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Hariharan Thiagarajan, Brian R. Larson, John Hatcliff, Yi Zhang 0051 |
Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings, pp. 34-50, 2020, Springer, 978-3-030-58919-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Hariharan Thiagarajan, John Hatcliff, Robby |
Awas: AADL Information Flow and Error Propagation Analysis Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA Companion ![In: Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings, pp. 294-310, 2020, Springer, 978-3-030-59154-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 305 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|