|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 10 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alexander Romanovsky, Cliff B. Jones, Jens Bendisposto, Michael Leuschel |
Preface.  |
ECEASST  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jens Bendisposto, Fabian Fritz, Michael Jastram, Michael Leuschel, Ingo Weigelt |
Developing Camille, a text editor for Rodin. |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Bendisposto, Michael Leuschel |
Automatic Flow Analysis for Event-B. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Bendisposto, Michael Leuschel, Markus Roggenbach |
Avocs2010 Preface. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel, Jens Bendisposto |
Directed Model Checking for B: An Evaluation and New Techniques. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Bendisposto, Ian Endrijautzki, Michael Leuschel, David Schneider |
A Semantics-Aware Editing Environment for Prolog in Eclipse |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jens Bendisposto, Michael Leuschel |
Proof Assisted Model Checking for B. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
Model Checking, Experiment, Theorem Proving, B-Method, Tool Integration |
| 1 | Lukas Ladenberger, Jens Bendisposto, Michael Leuschel |
Visualising Event-B Models with B-Motion Studio. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker |
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
Service Choreography Models, Model Checking, Formal Methods, Model-based Testing, Integration Testing |
| 1 | Jens Bendisposto, Michael Leuschel, O. Ligot, Mireille Samia |
La validation de modèles Event-B avec le plug-in ProB pour RODIN. |
Technique et Science Informatiques |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jens Bendisposto, Michael Leuschel |
BE4: The B Extensible Eclipse Editing Environment. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Bendisposto, Michael Leuschel |
A Generic Flash-Based Animation Engine for ProB. |
B |
2007 |
DBLP DOI BibTeX RDF |
Animation, Tool Support, B-Method |
| 1 | Michael Leuschel, Jens Bendisposto |
Animating and Model Checking B Specifications with Higher-Order Recursive Functions. |
Rigorous Methods for Software Construction and Analysis |
2007 |
DBLP BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")