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