Search results for "Creol"

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