Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for OSATE with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2006-2023 (11)
Publication types (Num. hits)
article(1) inproceedings(10)
Venues (Conferences, Journals, ...)
ACM Southeast Regional Confere...(2) ICECCS(2) EDCC(1) EUC (2)(1) ITNG(1) J. Object Technol.(1) MoDELS (Companion)(1) MoDELS (Satellite Events)(1) RTSS(1)
Authors
David P. Gluch(2) Hong P. Liu(2) Alain Plantec(1) Ana-Elena Rugina(1) Arnaud Schach(1) Dominique Blouin(1) Emanuel S. Grant(1) Fáber D. Giraldo(1) Frank Singhoff(1) Fulei Guo(1) Hassan Reza(1) Henry Muccini(1) Ivano Malavolta(1) John A. Stankovic(1) Jörgen Hansson(1) Juan E. Medina(1) More (+10 of total 34)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 8 keywords
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
99Hong P. Liu, David P. Gluch Formal verification of AADL behavior models: a feasibility investigation. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF architecture analysis & design language, model checking, tool integration, computational tree logic
74Hassan Reza, Emanuel S. Grant Toward Extending AADL-OSATE Toolset with Color Petri Nets (CPNs). Search on Bibsonomy ITNG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF MetaH, OSATE, Eclipse, ADL, Color Petri nets, AADL, Model-Based Engineering
37Sam Procter The OSATE Slicer: Graph-Based Reachability for Architectural Models. Search on Bibsonomy J. Object Technol. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Rakshit Mittal, Dominique Blouin OSATE-DIM solves the instance model-view update problem in AADL. Search on Bibsonomy MoDELS (Companion) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
37Fáber D. Giraldo, Mónica M. Villegas, Juan E. Medina Extending Osate 2 for Custom Simulation of Virtual Devices. Search on Bibsonomy MoDELS (Satellite Events) The full citation details ... 2017 DBLP  BibTeX  RDF
37Mickaël Kerboeuf, Alain Plantec, Frank Singhoff, Arnaud Schach, Pierre Dissaux Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate. Search on Bibsonomy ICECCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
25Ivano Malavolta, Henry Muccini, Patrizio Pelliccione Integrating AADL within a Multi-domain Modeling Framework. Search on Bibsonomy ICECCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation. Search on Bibsonomy EDCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Shenglin Gui, Lei Luo 0004, Qian Liu, Fulei Guo, Shaopeng Lu UCaS: A Schedulability Analysis Tool for AADL Models. Search on Bibsonomy EUC (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Vibha 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 RTSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Hong P. Liu, David P. Gluch Templates and automation for temporal query generation. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF architecture analysis & design language, model checking, computation tree logic
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license