The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2004-2009 (22) 2010 (2)
Publication types (Num. hits)
article(1) inproceedings(23)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 15 keywords

Results
Found 24 publication records. Showing 24 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
64Wolfgang Ahrendt, Maximilian Dylla A Verification System for Distributed Objects with Asynchronous Method Calls. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
55Marcel Kyas, Einar Broch Johnsen A Real-Time Extension of Creol for Modelling Biomedical Sensors. Search on Bibsonomy FMCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe Type-Safe Runtime Class Upgrades in Creol. Search on Bibsonomy FMOODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam Conformance Testing of Distributed Concurrent Systems with Executable Designs. Search on Bibsonomy FMCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF concolic execution, Creol, Model-based testing, conformance testing, Maude
52Olaf Owe, Gerardo Schneider, Martin Steffen Components, objects, and contracts. Search on Bibsonomy SAVCBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Creol, object-orientation, components, interfaces, contracts, compositionality, deontic logic
42Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi 0001 Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
42Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl A Dynamic Class Construct for Asynchronous Concurrent Objects. Search on Bibsonomy FMOODS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte Lightweight Time Modeling in Timed Creol Search on Bibsonomy RTRTS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33Mohammad Mahdi Jaghoori, Tom Chothia Timed Automata Semantics for Analyzing Creol Search on Bibsonomy FOCLASA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas Resource Modeling for Timed Creol Models. Search on Bibsonomy TTSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen Executable Interface Specifications for Testing Asynchronous Creol Components. Search on Bibsonomy FSEN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Frank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori Modular Schedulability Analysis of Concurrent Objects in Creol. Search on Bibsonomy FSEN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Bernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. Search on Bibsonomy TTSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. Search on Bibsonomy TTSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Marcel Kyas Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol. Search on Bibsonomy TTSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu Creol: A type-safe object-oriented model for distributed concurrent systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Andries Stam, Alfons H. Salden Towards composition of distributed evolving services: the Credo approach (invited paper). Search on Bibsonomy Autonomics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Credo, Creol, exogenous coordination, composition, C, evolution, services, automata, Reo
21Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte Dynamic Symbolic Execution for Testing Distributed Objects. Search on Bibsonomy TAP@TOOLS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte Dynamic Symbolic Execution of Distributed Concurrent Objects. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Frank S. de Boer, Dave Clarke 0001, Einar Broch Johnsen A Complete Guide to the Future. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Mohammad Mahdi Jaghoori Coordinating Object Oriented Components Using Data-Flow Networks. Search on Bibsonomy FMCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas An Object-Oriented Component Model for Heterogeneous Nets. Search on Bibsonomy FMCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Einar Broch Johnsen, Olaf Owe A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. Search on Bibsonomy FMCO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #24 of 24 (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