Burkhart Wolff

123 papers A 3B 11C 14Journal 47Unranked 41

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Bridge between CSP Processes and Functional Automata. Arch. Formal Proofs Benoît Ballenghien, Burkhart Wolff
2025	J	`jnl`	A Proof of Hilbert Basis Theorem and an Extension to Formal Power Series. Arch. Formal Proofs Benjamin Puyobro, Benoît Ballenghien, Burkhart Wolff
2025	J	`jnl`	CSP Semantics over Restriction Spaces. Arch. Formal Proofs Benoît Ballenghien, Burkhart Wolff
2025	J	`jnl`	Definition and Elementary Properties of Ultrametric Spaces. Arch. Formal Proofs Benoît Ballenghien, Benjamin Puyobro, Burkhart Wolff
2025	J	`jnl`	Examples of Restriction Spaces. Arch. Formal Proofs Benoît Ballenghien, Benjamin Puyobro, Burkhart Wolff
2025	J	`jnl`	Parametric ontologies in formal software engineering. Sci. Comput. Program. Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff
2025	C	`conf`	Polychronous RSS in a Process-Algebraic Framework - A Case Study. ABZ Paolo Crisafulli, Adrien Durier, Benjamin Puyobro, Burkhart Wolff
2025	J	`jnl`	Restriction Spaces: a Fixed-Point Theory. Arch. Formal Proofs Benoît Ballenghien, Benjamin Puyobro, Burkhart Wolff
2025	J	`jnl`	Ultrametric Structure for Restriction Spaces. Arch. Formal Proofs Benoît Ballenghien, Benjamin Puyobro, Burkhart Wolff
2024	C	`conf`	A Theory of Proc-Omata - and Proof Methods for Process Architectures. ICTAC Benoît Ballenghien, Burkhart Wolff
2024	B	`conf`	An Operational Semantics in Isabelle/HOL-CSP. ITP Benoît Ballenghien, Burkhart Wolff
2024	C	`conf`	Event-B as DSL in Isabelle and HOL Experiences from a Prototype. ABZ Benoît Ballenghien, Burkhart Wolff
2024	J	`jnl`	Isabelle/DOF. Arch. Formal Proofs Achim D. Brucker, Nicolas Méric, Burkhart Wolff
2023	B	`conf`	Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. ICECCS Simon Foster, Burkhart Wolff
2023	J	`jnl`	Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. CoRR Simon Foster, Burkhart Wolff
2023	J	`jnl`	HOL-CSPM - Architectural operators for HOL-CSP. Arch. Formal Proofs Benoît Ballenghien, Safouan Taha, Burkhart Wolff
2023	J	`jnl`	Modeling and analysing Cyber-Physical Systems in HOL-CSP. Robotics Auton. Syst. Paolo Crisafulli, Safouan Taha, Burkhart Wolff
2023	J	`jnl`	Operational Semantics formally proven in HOL-CSP. Arch. Formal Proofs Benoît Ballenghien, Burkhart Wolff
2023	C	`conf`	Using Deep Ontologies in Formal Software Engineering. ABZ Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff
2020	J	`jnl`	A Sound Type System for Physical Quantities, Units, and Measurements. Arch. Formal Proofs Simon Foster, Burkhart Wolff
2020	J	`jnl`	Model Transformation as Conservative Theory-Transformation. J. Object Technol. Achim D. Brucker, Frédéric Tuong, Burkhart Wolff
2020	—	`conf`	On the Semantics of Polychronous Polytimed Specifications. FORMATS Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
2020	B	`conf`	Philosophers May Dine - Definitively! IFM Safouan Taha, Burkhart Wolff, Lina Ye
2020	C	`conf`	TESL: A Model with Metric Time for Modeling and Simulation. TIME Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff
2020	J	`jnl`	The HOL-CSP Refinement Toolkit. Arch. Formal Proofs Safouan Taha, Burkhart Wolff, Lina Ye
2020	J	`jnl`	Timed Discrete-Event Simulation of Aviation Scenarios. Simul. Notes Eur. Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff
2019	J	`jnl`	A Formal Development of a Polychronous Polytimed Coordination Language. Arch. Formal Proofs Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff
2019	J	`jnl`	Clean - An Abstract Imperative Programming Language and its Theory. Arch. Formal Proofs Frédéric Tuong, Burkhart Wolff
2019	—	`conf`	Deeply Integrating C11 Code Support into Isabelle/PIDE. F-IDE@FM Frédéric Tuong, Burkhart Wolff
2019	J	`jnl`	HOL-CSP Version 2.0. Arch. Formal Proofs Safouan Taha, Lina Ye, Burkhart Wolff
2019	J	`jnl`	Isabelle/C. Arch. Formal Proofs Frédéric Tuong, Burkhart Wolff
2019	B	`conf`	Isabelle/DOF: Design and Implementation. SEFM Achim D. Brucker, Burkhart Wolff
2019	J	`jnl`	Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming. Arch. Formal Proofs Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro, Burkhart Wolff
2019	J	`jnl`	Making Agile Development Processes fit for V-style Certification Procedures. CoRR Sergio Bezzecchi, Paolo Crisafulli, Charlotte Pichot, Burkhart Wolff
2019	B	`conf`	Using Ontologies in Formal Developments Targeting Certification. IFM Achim D. Brucker, Burkhart Wolff
2018	—	`ed.`	Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings TAP@STAF Catherine Dubois, Burkhart Wolff
2018	C	`conf`	Using the Isabelle Ontology Framework - Linking the Formal with the Informal. CICM Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff
2017	—	`conf`	A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing. FORMATS Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
2017	J	`jnl`	Formal Network Models and Their Application to Firewall Policies. Arch. Formal Proofs Achim D. Brucker, Lukas Brügger, Burkhart Wolff
2016	C	`conf`	A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution. QRS Romain Aïssat, Marie-Claude Gaudel, Frédéric Voisin, Burkhart Wolff
2016	B	`conf`	Infeasible Paths Elimination by Symbolic Execution Techniques - Proof of Correctness and Preservation of Paths. ITP Romain Aïssat, Frédéric Voisin, Burkhart Wolff
2016	J	`jnl`	Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths. Arch. Formal Proofs Romain Aïssat, Frédéric Voisin, Burkhart Wolff
2016	—	`conf`	Monadic Sequence Testing and Explicit Test-Refinements. TAP@STAF Achim D. Brucker, Burkhart Wolff
2016	—	`conf`	Recent Developments in OCL and Textual Modelling. OCL@MoDELS Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, Frank Hilken, Frédéric Tuong, Edward D. Willink, Burkhart Wolff
2015	J	`jnl`	A Meta-Model for the Isabelle API. Arch. Formal Proofs Frédéric Tuong, Burkhart Wolff
2015	—	`conf`	Formal API Specification of the PikeOS Separation Kernel. NFM Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi
2015	J	`jnl`	Formal firewall conformance testing: an application of test and proof techniques. Softw. Test. Verification Reliab. Achim D. Brucker, Lukas Brügger, Burkhart Wolff
2015	J	`jnl`	Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study. Int. J. Softw. Informatics Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
2015	—	`conf`	Testing the IPC Protocol for a Real-Time Operating System. VSTTE Achim D. Brucker, Oto Havle, Yakoub Nemouchi, Burkhart Wolff
2015	—	`conf`	Towards a Formal Semantics of the TESL Specification Language. GEMOC+MPM@MoDELS Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye
2014	J	`jnl`	Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. Arch. Formal Proofs Achim D. Brucker, Frédéric Tuong, Burkhart Wolff
2014	J	`jnl`	Formal Specification of a Generic Separation Kernel. Arch. Formal Proofs Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz
2014	—	`conf`	Panel Discussion: Proposals for Improving OCL. OCL@MoDELS Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff
2014	J	`jnl`	Report on the Aachen OCL Meeting. CoRR Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff
2014	J	`jnl`	The Unified Policy Framework (UPF). Arch. Formal Proofs Achim D. Brucker, Lukas Brügger, Burkhart Wolff
2014	—	`conf`	Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. OCL@MoDELS Delphine Longuet, Frédéric Tuong, Burkhart Wolff
2013	—	`conf`	On the Semantics of Object-Oriented Data Structures and Path Expressions. OCL@MoDELS Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff
2013	J	`jnl`	On theorem prover-based testing. Formal Aspects Comput. Achim D. Brucker, Burkhart Wolff
2013	—	`conf`	Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. MKM/Calculemus/DML Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff
2013	J	`jnl`	Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. CoRR Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff
2013	—	`conf`	Report on the Aachen OCL Meeting. OCL@MoDELS Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff
2013	J	`jnl`	Symbolic Methods in Testing (Dagstuhl Seminar 13021). Dagstuhl Reports Thierry Jéron, Margus Veanes, Burkhart Wolff
2013	—	`conf`	Test Program Generation for a Microprocessor - A Case-Study. TAP@STAF Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff
2013	C	`conf`	The Circus Testing Theory Revisited in Isabelle/HOL. ICFEM Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff
2013	—	`ed.`	Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers UTP Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
2013	C	`conf`	hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing. ICTAC Achim D. Brucker, Lukas Brügger, Burkhart Wolff
2012	—	`conf`	Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL. OCL@MoDELS Achim D. Brucker, Burkhart Wolff
2012	J	`jnl`	Isabelle/Circus. Arch. Formal Proofs Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude Gaudel
2012	—	`conf`	Isabelle/Circus: A Process Specification and Verification Environment. VSTTE Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
2011	C	`conf`	An approach to modular and testable security models of real-world health-care applications. SACMAT Achim D. Brucker, Lukas Brügger, Paul J. Kearney, Burkhart Wolff
2011	—	`conf`	Isabelle/PIDE as Platform for Educational Tools ThEdu Makarius Wenzel, Burkhart Wolff
2011	J	`jnl`	Preface (OCL 2011 Proceedings). Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff
2011	C	`ed.`	Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings ICTSS Burkhart Wolff, Fatiha Zaïdi
2011	—	`ed.`	Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings TAP@TOOLS Martin Gogolla, Burkhart Wolff
2010	—	`conf`	A Specification-Based Test Case Generation Method for UML/OCL. MoDELS (Workshops) Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff
2010	B	`conf`	Automatic and efficient simulation of operation contracts. GPCE Matthias P. Krieger, Alexander Knapp, Burkhart Wolff
2010	J	`jnl`	HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. J. Autom. Reason. Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff
2010	—	`conf`	Unifying Theories in Isabelle/HOL. UTP Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
2010	A	`conf`	Verified Firewall Policy Transformations for Test Case Generation. ICST Achim D. Brucker, Lukas Brügger, Paul J. Kearney, Burkhart Wolff
2009	—	`conf`	Extending OCL with Null-References. MoDELS (Workshops) Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff
2009	J	`jnl`	Proving Fairness and Implementation Correctness of a Microkernel Scheduler. J. Autom. Reason. Matthias Daum, Jan Dörrenbächer, Burkhart Wolff
2009	J	`jnl`	Semantics, calculi, and analysis for object-oriented specifications. Acta Informatica Achim D. Brucker, Burkhart Wolff
2009	B	`conf`	hol-TestGen. FASE Achim D. Brucker, Burkhart Wolff
2008	—	`conf`	A Verification Approach for System-Level Concurrent Programs. VSTTE Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff
2008	J	`jnl`	An Extensible Encoding of Object-oriented Data Models in hol. J. Autom. Reason. Achim D. Brucker, Burkhart Wolff
2008	A	`conf`	Extensible Universes for Object-Oriented Data Models. ECOOP Achim D. Brucker, Burkhart Wolff
2008	—	`conf`	HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier. TPHOLs Sascha Böhme, K. Rustan M. Leino, Burkhart Wolff
2008	B	`conf`	HOL-OCL: A Formal Proof Environment for UML/OCL. FASE Achim D. Brucker, Burkhart Wolff
2008	—	`conf`	Model-Based Firewall Conformance Testing. TestCom/FATES Achim D. Brucker, Lukas Brügger, Burkhart Wolff
2008	—	`conf`	Verifying Test-Hypotheses: An Experiment in Test and Proof. MBT@ETAPS Achim D. Brucker, Lukas Brügger, Burkhart Wolff
2007	—	`conf`	Building Formal Method Tools in the Isabelle/Isar Framework. TPHOLs Makarius Wenzel, Burkhart Wolff
2007	C	`conf`	Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. TAP Achim D. Brucker, Burkhart Wolff
2007	J	`jnl`	Verifying a signature architecture: a comparative case study. Formal Aspects Comput. David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff
2006	A	`conf`	A Model Transformation Semantics and Analysis Methodology for SecureUML. MoDELS Achim D. Brucker, Jürgen Doser, Burkhart Wolff
2006	J	`jnl`	An MDA Framework Supporting OCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Achim D. Brucker, Jürgen Doser, Burkhart Wolff
2006	—	`ed.`	Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers FATES/RV Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff
2006	J	`jnl`	Semantic Issues of OCL: Past, Present, and Future. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Achim D. Brucker, Jürgen Doser, Burkhart Wolff
2005	J	`jnl`	A verification approach to applied system security. Int. J. Softw. Tools Technol. Transf. Achim D. Brucker, Burkhart Wolff
2005	—	`conf`	Assisted Proof Document Authoring. MKM David Aspinall, Christoph Lüth, Burkhart Wolff
2005	—	`conf`	Interactive Testing with HOL-TestGen. FATES Achim D. Brucker, Burkhart Wolff
2005	B	`conf`	Verification of a Signature Architecture with HOL-Z. FM David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff
2004	—	`conf`	Symbolic Test Case Generation for Primitive Recursive Functions. FATES Achim D. Brucker, Burkhart Wolff
2004	—	`conf`	Tactic-Based Optimized Compilation of Functional Programs. TYPES Thomas Meyer, Burkhart Wolff
2003	C	`conf`	A Case Study of a Formalized Security Architecture. FMICS Achim D. Brucker, Burkhart Wolff
2003	C	`conf`	Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL. FMICS Nicole Rauch, Burkhart Wolff
2003	J	`jnl`	HOL-Z 2.0: A Proof Environment for Z-Specifications. J. Univers. Comput. Sci. Achim D. Brucker, Frank Rittinger, Burkhart Wolff
2003	—	`ed.`	Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings TPHOLs David A. Basin, Burkhart Wolff
2002	—	`conf`	A Proposal for a Formal OCL Semantics in Isabelle/HOL. TPHOLs Achim D. Brucker, Burkhart Wolff
2002	—	`conf`	HOL-OCL: Experiences, Consequences and Design Choices. UML Achim D. Brucker, Burkhart Wolff
2002	—	`conf`	Using Theory Morphisms for Implementing Formal Methods Tools. TYPES Achim D. Brucker, Burkhart Wolff
2001	—	`conf`	Testing Distributed Component Based Systems Using UML/OCL. GI Jahrestagung (1) Achim D. Brucker, Burkhart Wolff
2000	B	`conf`	More About TAS and IsaWin - Tools for Formal Program Development. FASE Christoph Lüth, Burkhart Wolff
2000	—	`conf`	TAS - A Generic Window Inference System. TPHOLs Christoph Lüth, Burkhart Wolff
1999	—	`—`	A generic calculus of transformations. Burkhart Wolff
1999	J	`jnl`	Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. J. Funct. Program. Christoph Lüth, Burkhart Wolff
1998	—	`conf`	HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. ZUM Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
1998	—	`conf`	Tool Integration in the UniForM-Workbench. Tool Support for System Specification, Development and Verification Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
1997	—	`conf`	A Corrected Failure Divergence Model for CSP in Isabelle/HOL. FME Haykal Tej, Burkhart Wolff
1997	—	`conf`	TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. TAPSOFT Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff
1996	—	`conf`	A Structure Preserving Encoding of Z in Isabelle/HOL. TPHOLs Kolyang, Thomas Santen, Burkhart Wolff
1996	—	`conf`	Correct and User-Friendly Implementations of Transformation Systems. FME Kolyang, Thomas Santen, Burkhart Wolff
1995	—	`ch.`	Towards Correct, Efficient and Reusable Transformational Developments. KORSO Book Bernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff
1993	—	`conf`	Towards Correctness, Efficiency and Reusability of Transformational Developments. GI Jahrestagung Bernd Krieg-Brückner, Junbo Liu, Burkhart Wolff, Hui Shi