Karsten Wolf - RankMe

82 papers A* 1A 10B 12C 1Journal 27Unranked 27

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	How to Verify Aggregating Global Properties. PNSE@Petri Nets Karsten Wolf
2024	B	`conf`	Modular State Spaces - A New Perspective. Petri Nets Julian Gaede, Sophie Wallner, Karsten Wolf
2024	B	`conf`	Verifying Temporal Logic Properties in the Modular State Space. Petri Nets Lukas Zech, Karsten Wolf
2023	—	`conf`	Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. TOOLympics@ETAPS Nicolas Amat, Elvio G. Amparore, Bernard Berthomieu, Pierre Bouvier, Silvano Dal-Zilio, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Shuo Li, Emmanuel Paviot-Adet, Laure Petrucci, Jirí Srba, Yann Thierry-Mieg, Karsten Wolf
2022	J	`jnl`	Portfolio Management in Explicit Model Checking. Trans. Petri Nets Other Model. Concurr. Karsten Wolf
2022	J	`jnl`	Skeleton Abstraction for Universal Temporal Properties. Fundam. Informaticae Sophie Wallner, Karsten Wolf
2022	J	`jnl`	Using Approximation for the Verification of Token-Scaling Models. Trans. Petri Nets Other Model. Concurr. Torsten Liebke, Karsten Wolf
2021	B	`conf`	Skeleton Abstraction for Universal Temporal Properties. Petri Nets Sophie Wallner, Karsten Wolf
2021	J	`jnl`	Skeleton Abstraction for Universal Temporal Properties. CoRR Sophie Wallner, Karsten Wolf
2021	J	`jnl`	Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach. Trans. Petri Nets Other Model. Concurr. Torsten Liebke, Karsten Wolf
2020	—	`conf`	Portfolio Management in Explicit Model Checking. PNSE@Petri Nets Karsten Wolf
2020	—	`conf`	Verification of Token-Scaling Models using an Under-Approximation. PNSE@Petri Nets Torsten Liebke, Karsten Wolf
2019	J	`jnl`	How Petri Net Theory Serves Petri Net Model Checking: A Survey. Trans. Petri Nets Other Model. Concurr. Karsten Wolf
2019	—	`conf`	Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg 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
2019	—	`conf`	Solving E (φUψ) using the CEGAR Approach. PNSE@Petri Nets/ACSD Torsten Liebke, Karsten Wolf
2019	J	`jnl`	Synthesis for Various Petri Net Classes with Union/Find. Fundam. Informaticae Karsten Wolf
2019	B	`conf`	Taking Some Burden Off an Explicit CTL Model Checker. Petri Nets Torsten Liebke, Karsten Wolf
2018	—	`conf`	A Simple Abstract Interpretation for Petri Net Queries. PNSE@Petri Nets/ACSD Karsten Wolf
2018	B	`conf`	Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple Inputs. Petri Nets Ronny Tredup, Christian Rosenke, Karsten Wolf
2018	J	`jnl`	Interleaving Based Model Checking of Concurrency and Causality. Fundam. Informaticae Karsten Wolf
2018	J	`jnl`	MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
2018	B	`conf`	Petri Net Model Checking with LoLA 2. Petri Nets Karsten Wolf
2018	B	`conf`	Petri Net Synthesis with Union/Find. Petri Nets Karsten Wolf
2017	B	`conf`	Model Checking Concurrency and Causality. Petri Nets Karsten Wolf
2016	J	`jnl`	Running LoLA 2.0 in a Model Checking Competition. Trans. Petri Nets Other Model. Concurr. Karsten Wolf
2015	J	`jnl`	The Petri net twist in explicit model checking. Softw. Syst. Model. Karsten Wolf
2014	—	`conf`	Developing simulation models - from conceptual to executable model and back - an artifact-based workflow approach. SimuTools Stefan Rybacki, Fiete Haack, Karsten Wolf, Adelinde M. Uhrmacher
2014	J	`jnl`	Explizites Model Checking: Welche Vorteile bieten Petrinetze? Inform. Spektrum Karsten Wolf
2014	—	`ch.`	From Artifacts to Activities. Web Services Foundations Niels Lohmann, Karsten Wolf
2014	—	`conf`	LoLA as Abstract Planning Engine of PlanICS. PNSE @ Petri Nets Artur Niewiadomski, Karsten Wolf
2013	J	`jnl`	Editorial. Inf. Syst. Mathias Weske, Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf
2013	J	`jnl`	Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
2013	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency VII Trans. Petri Nets and Other Models of Concurrency Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
2012	J	`jnl`	Applying CEGAR to the Petri Net State Equation Log. Methods Comput. Sci. Harro Wimmel, Karsten Wolf
2012	J	`jnl`	Raw Report on the Model Checking Contest at Petri Nets 2012 CoRR Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
2012	J	`jnl`	Reducing Adapter Synthesis to Controller Synthesis. IEEE Trans. Serv. Comput. Christian Gierds, Arjan J. Mooij, Karsten Wolf
2012	B	`conf`	Stubborn Sets for Simple Linear Time Properties. Petri Nets Andreas Lehmann, Niels Lohmann, Karsten Wolf
2011	J	`jnl`	Analysis on demand: Instantaneous soundness checking of industrial business process models. Data Knowl. Eng. Dirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf
2011	A	`conf`	Applying CEGAR to the Petri Net State Equation. TACAS Harro Wimmel, Karsten Wolf
2011	A	`ed.`	Business Process Management - 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings BPM Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf
2011	J	`jnl`	Compact Representations and Efficient Algorithms for Operating Guidelines. Fundam. Informaticae Niels Lohmann, Karsten Wolf
2011	A	`conf`	Decidability Results for Choreography Realization. ICSOC Niels Lohmann, Karsten Wolf
2011	B	`conf`	Finding a Witness Path for Non-liveness in Free-Choice Nets. Petri Nets Harro Wimmel, Karsten Wolf
2011	J	`jnl`	Guaranteeing Weak Termination in Service Discovery. Fundam. Informaticae Karsten Wolf, Christian Stahl, Daniela Weinberg, Janine Ott, Robert Danitz
2010	A	`conf`	Artifact-Centric Choreographies. ICSOC Niels Lohmann, Karsten Wolf
2010	—	`conf`	Decidability Issues for Decentralized Controllability of Open Nets. AWPN Karsten Wolf
2010	A	`conf`	How to Implement a Theory of Correctness in the Area of Business Processes and Services. BPM Niels Lohmann, Karsten Wolf
2010	J	`jnl`	Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Comput. J. Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf
2010	B	`conf`	New Algorithms for Deciding the Siphon-Trap Property. Petri Nets Olivia Oanea, Harro Wimmel, Karsten Wolf
2010	J	`jnl`	Preface. Fundam. Informaticae Giuliana Franceschinis, Wojciech Penczek, Karsten Wolf
2010	—	`conf`	Reachability Analysis via Net Structure. AWPN Harro Wimmel, Karsten Wolf
2010	A	`conf`	Service Discovery Using Communication Fingerprints. ICSOC Olivia Oanea, Jan Sürmeli, Karsten Wolf
2009	—	`conf`	A finite representation of all substitutable services and its applications. ZEUS Jarungjit Parnjai, Christian Stahl, Karsten Wolf
2009	—	`conf`	A theory of service behavior. ZEUS Karsten Wolf
2009	—	`conf`	An efficient necessary condition for compatibility. ZEUS Olivia Oanea, Karsten Wolf
2009	—	`conf`	Another Approach to Service Instance Migration. ICSOC/ServiceWave Nannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf
2009	B	`ed.`	Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings Petri Nets Giuliana Franceschinis, Karsten Wolf
2009	J	`jnl`	Deciding service composition and substitutability using extended operating guidelines. Data Knowl. Eng. Christian Stahl, Karsten Wolf
2009	J	`jnl`	Does My Service Have Partners?. Trans. Petri Nets Other Model. Concurr. Karsten Wolf
2009	A	`conf`	Instantaneous Soundness Checking of Industrial Business Process Models. BPM Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf
2009	—	`conf`	Petrifying Operating Guidelines for Services. ACSD Niels Lohmann, Karsten Wolf
2009	—	`conf`	Realizability Is Controllability. WS-FM Niels Lohmann, Karsten Wolf
2009	—	`conf`	Realizability is controllability. ZEUS Niels Lohmann, Karsten Wolf
2009	—	`conf`	Service Interaction: Patterns, Formalization, and Analysis. SFM Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf
2009	A	`conf`	Set Algebra for Service Behavior: Applications and Constructions. BPM Kathrin Kaschner, Karsten Wolf
2009	—	`conf`	Verifying Deadlock- and Livelock Freedom in an SOA Scenario. ACSD Karsten Wolf, Christian Stahl, Janine Ott, Robert Danitz
2009	—	`ed.`	Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers WS-FM Roberto Bruni, Karsten Wolf
2008	—	`ed.`	15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen und Werkzeuge für Petrinetze, AWPN 2008, Rostock, Germany, September 26-27, 2008. Proceedings AWPN Niels Lohmann, Karsten Wolf
2008	—	`conf`	An Approach to Tackle Livelock-Freedom in SOA. AWPN Christian Stahl, Karsten Wolf
2008	J	`jnl`	Can I find a partner? Undecidability of partner existence for open nets. Inf. Process. Lett. Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf
2008	A	`conf`	Covering Places and Transitions in Open Nets. BPM Christian Stahl, Karsten Wolf
2008	A*	`conf`	Extending the compatibility notion for abstract WS-BPEL processes. WWW Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf
2008	—	`conf`	On Synthesizing Behavior that Is Aware of Semantical Constraints. AWPN Karsten Wolf
2007	J	`jnl`	An algorithm for matching non-deterministic services with operating guidelines. Int. J. Bus. Process. Integr. Manag. Peter Massuthe, Karsten Wolf
2007	A	`conf`	Behavioral Constraints for Services. BPM Niels Lohmann, Peter Massuthe, Karsten Wolf
2007	J	`jnl`	Challenges in a Service-Oriented World. ERCIM News Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, Christian Stahl
2007	—	`conf`	From Public Views to Private Views - Correctness-by-Design for Services. WS-FM Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf
2007	—	`conf`	Generating Petri Net State Spaces. ICATPN Karsten Wolf
2007	—	`conf`	Operating Guidelines for Finite-State Services. ICATPN Niels Lohmann, Peter Massuthe, Karsten Wolf
2006	—	`conf`	An Algorithm for Matching Nondeterministic Services with Operating Guidelines. The Role of Business Processes in Service Oriented Architectures Peter Massuthe, Karsten Wolf
2006	C	`conf`	Analysis Techniques for Service Models. ISoLA Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner
2006	—	`conf`	Separability in Conflict-Free Petri Nets. Ershov Memorial Conference Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf