Karsten Wolf
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
5
Active years
2006–2019
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TACAS | Presentation of the 9th Edition of the Model Checking Contest. | Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gall, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjl Jensen, Log Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jir Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf |
| 2011 | ICSOC | Decidability Results for Choreography Realization. | Niels Lohmann, Karsten Wolf |
| 2011 | TACAS | Applying CEGAR to the Petri Net State Equation. | Harro Wimmel, Karsten Wolf |
| 2010 | BPM | How to Implement a Theory of Correctness in the Area of Business Processes and Services. | Niels Lohmann, Karsten Wolf |
| 2010 | ICSOC | Artifact-Centric Choreographies. | Niels Lohmann, Karsten Wolf |
| 2010 | ICSOC | Service Discovery Using Communication Fingerprints. | Olivia Oanea, Jan Srmeli, Karsten Wolf |
| 2009 | BPM | Instantaneous Soundness Checking of Industrial Business Process Models. | Dirk Fahland, Cdric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Vlzer, Karsten Wolf |
| 2009 | BPM | Set Algebra for Service Behavior: Applications and Constructions. | Kathrin Kaschner, Karsten Wolf |
| 2009 | ICSOC | Another Approach to Service Instance Migration. | Nannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf |
| 2008 | BPM | Covering Places and Transitions in Open Nets. | Christian Stahl, Karsten Wolf |
| 2008 | WWW | Extending the compatibility notion for abstract WS-BPEL processes. | Dieter Knig, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf |
| 2007 | BPM | Behavioral Constraints for Services. | Niels Lohmann, Peter Massuthe, Karsten Wolf |
| 2006 | ISoLA | Analysis Techniques for Service Models. | Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner |