|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Natallia Kokash, Christian Krause, Erik P. de Vink |
Reo + mCRL2: A framework for model-checking dataflow in service compositions.  |
Formal Asp. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Krause |
Distributed Port Automata. |
ECEASST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christian Krause, Ziyan Maraikar, Alexander Lazovik, Farhad Arbab |
Modeling dynamic reconfigurations in Reo using high-level replacement systems. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Krause, Holger Giese |
Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements |
INFINITY |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Krause |
Reconfigurable Component Connectors. |
|
2011 |
RDF |
|
| 1 | Chrétien Verhoef, Christian Krause, Oscar Kanters, Rob van der Mei |
Simulation-Based Performance Analysis of Channel-Based Coordination Models. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung-Shik T. Q. Jongmans, Christian Krause, Farhad Arbab |
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab |
A Compositional Semantics for Stochastic Reo Connectors |
FOCLASA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Natallia Kokash, Christian Krause, Erik P. de Vink |
Time and Data-Aware Analysis of Graphical Service Models in Reo. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Natallia Kokash, Christian Krause, Erik P. de Vink |
Data-aware design and verification of service compositions with Reo and mCRL2. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
mCRL2, verification, Reo, service-based systems |
| 1 | Christian Krause, Carola Krause, Erik P. de Vink |
Action-based analysis of discrete regulatory networks with short-term stimuli. |
CMSB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Arendt, Enrico Biermann, Stefan Jurack, Christian Krause, Gabriele Taentzer |
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Koehler, Dave Clarke |
Decomposing port automata. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Krause |
Integrated Structure and Semantics for Reo Connectors and Petri Nets |
ICE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Natallia Kokash, Christian Krause, Erik P. de Vink |
Verification of Context-Dependent Channel-Based Service Models. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Koehler, David Costa, José Proença, Farhad Arbab |
Reconfiguration of Reo Connectors Triggered by Dataflow. |
ECEASST |
2008 |
DBLP BibTeX RDF |
|
| 1 | Christian Koehler, Alexander Lazovik, Farhad Arbab |
Connector Rewriting with High-Level Replacement Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Koehler, Farhad Arbab, Erik P. de Vink |
Reconfiguring Distributed Reo Connectors. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Koehler, Alexander Lazovik, Farhad Arbab |
ReoService: Coordination Modeling Tool. |
ICSOC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Köhler 0001, Holger Lewin, Gabriele Taentzer |
Ensuring Containment Constraints in Graph-based Model Transformation Approaches. |
ECEASST |
2007 |
DBLP BibTeX RDF |
|
| 1 | Enrico Biermann, Karsten Ehrig, Claudia Ermel, Christian Köhler 0001, Gabriele Taentzer |
The EMF Model Transformation Framework. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Biermann, Karsten Ehrig, Christian Köhler 0001, Günter Kuhns, Gabriele Taentzer, Eduard Weiss |
EMF Model Refactoring based on Graph Transformation Concepts. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Enrico Biermann, Karsten Ehrig, Christian Köhler 0001, Günter Kuhns, Gabriele Taentzer, Eduard Weiss |
Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Krause, Helmut Reimer |
Veranstaltungsbesprechungen. |
Datenschutz und Datensicherheit |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")