default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBurkhart Wolff
Person information
- affiliation: Paris-Saclay University, Orsay, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j35]Achim D. Brucker
, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff:
Parametric ontologies in formal software engineering. Sci. Comput. Program. 241: 103231 (2025)- 2024
- [j34]Achim D. Brucker, Nicolas Méric, Burkhart Wolff:
Isabelle/DOF. Arch. Formal Proofs 2024 (2024) - [c67]Benoît Ballenghien, Burkhart Wolff:
A Theory of Proc-Omata - and Proof Methods for Process Architectures. ICTAC 2024: 272-289 - [c66]Benoît Ballenghien, Burkhart Wolff:
An Operational Semantics in Isabelle/HOL-CSP. ITP 2024: 7:1-7:18 - [c65]Benoît Ballenghien, Burkhart Wolff:
Event-B as DSL in Isabelle and HOL Experiences from a Prototype. ABZ 2024: 241-247 - 2023
- [j33]Benoît Ballenghien, Safouan Taha, Burkhart Wolff:
HOL-CSPM - Architectural operators for HOL-CSP. Arch. Formal Proofs 2023 (2023) - [j32]Benoît Ballenghien, Burkhart Wolff:
Operational Semantics formally proven in HOL-CSP. Arch. Formal Proofs 2023 (2023) - [j31]Paolo Crisafulli, Safouan Taha, Burkhart Wolff:
Modeling and analysing Cyber-Physical Systems in HOL-CSP. Robotics Auton. Syst. 170: 104549 (2023) - [c64]Simon Foster, Burkhart Wolff:
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. ICECCS 2023: 136-141 - [c63]Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff:
Using Deep Ontologies in Formal Software Engineering. ABZ 2023: 15-32 - [i5]Simon Foster, Burkhart Wolff:
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. CoRR abs/2302.07629 (2023) - 2020
- [j30]Simon Foster, Burkhart Wolff:
A Sound Type System for Physical Quantities, Units, and Measurements. Arch. Formal Proofs 2020 (2020) - [j29]Safouan Taha, Burkhart Wolff, Lina Ye:
The HOL-CSP Refinement Toolkit. Arch. Formal Proofs 2020 (2020) - [j28]Achim D. Brucker, Frédéric Tuong, Burkhart Wolff:
Model Transformation as Conservative Theory-Transformation. J. Object Technol. 19(3): 3:1-16 (2020) - [j27]Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff:
Timed Discrete-Event Simulation of Aviation Scenarios. Simul. Notes Eur. 30(2): 51-60 (2020) - [c62]Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff:
On the Semantics of Polychronous Polytimed Specifications. FORMATS 2020: 23-40 - [c61]Safouan Taha, Burkhart Wolff, Lina Ye:
Philosophers May Dine - Definitively! IFM 2020: 419-439 - [c60]Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff:
TESL: A Model with Metric Time for Modeling and Simulation. TIME 2020: 15:1-15:15
2010 – 2019
- 2019
- [j26]Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro, Burkhart Wolff:
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming. Arch. Formal Proofs 2019 (2019) - [j25]Safouan Taha, Lina Ye, Burkhart Wolff:
HOL-CSP Version 2.0. Arch. Formal Proofs 2019 (2019) - [j24]Frédéric Tuong, Burkhart Wolff:
Clean - An Abstract Imperative Programming Language and its Theory. Arch. Formal Proofs 2019 (2019) - [j23]Frédéric Tuong, Burkhart Wolff:
Isabelle/C. Arch. Formal Proofs 2019 (2019) - [j22]Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff:
A Formal Development of a Polychronous Polytimed Coordination Language. Arch. Formal Proofs 2019 (2019) - [c59]Achim D. Brucker, Burkhart Wolff:
Using Ontologies in Formal Developments Targeting Certification. IFM 2019: 65-82 - [c58]Achim D. Brucker, Burkhart Wolff:
Isabelle/DOF: Design and Implementation. SEFM 2019: 275-292 - [c57]Frédéric Tuong, Burkhart Wolff:
Deeply Integrating C11 Code Support into Isabelle/PIDE. F-IDE@FM 2019: 13-28 - [i4]Sergio Bezzecchi, Paolo Crisafulli, Charlotte Pichot, Burkhart Wolff:
Making Agile Development Processes fit for V-style Certification Procedures. CoRR abs/1905.06604 (2019) - 2018
- [c56]Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff:
Using the Isabelle Ontology Framework - Linking the Formal with the Informal. CICM 2018: 23-38 - [e6]Catherine Dubois, Burkhart Wolff:
Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. Lecture Notes in Computer Science 10889, Springer 2018, ISBN 978-3-319-92993-4 [contents] - 2017
- [j21]Achim D. Brucker, Lukas Brügger, Burkhart Wolff:
Formal Network Models and Their Application to Firewall Policies. Arch. Formal Proofs 2017 (2017) - [c55]Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff:
A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing. FORMATS 2017: 318-334 - 2016
- [j20]Romain Aïssat, Frédéric Voisin, Burkhart Wolff:
Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths. Arch. Formal Proofs 2016 (2016) - [c54]Romain Aïssat, Frédéric Voisin, Burkhart Wolff:
Infeasible Paths Elimination by Symbolic Execution Techniques - Proof of Correctness and Preservation of Paths. ITP 2016: 36-51 - [c53]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:
Recent Developments in OCL and Textual Modelling. OCL@MoDELS 2016: 157-165 - [c52]Romain Aïssat, Marie-Claude Gaudel, Frédéric Voisin, Burkhart Wolff:
A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution. QRS 2016: 144-151 - [c51]Achim D. Brucker, Burkhart Wolff:
Monadic Sequence Testing and Explicit Test-Refinements. TAP@STAF 2016: 17-36 - 2015
- [j19]Frédéric Tuong, Burkhart Wolff:
A Meta-Model for the Isabelle API. Arch. Formal Proofs 2015 (2015) - [j18]Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff:
Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study. Int. J. Softw. Informatics 9(2): 177-203 (2015) - [j17]Achim D. Brucker, Lukas Brügger, Burkhart Wolff:
Formal firewall conformance testing: an application of test and proof techniques. Softw. Test. Verification Reliab. 25(1): 34-71 (2015) - [c50]Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye:
Towards a Formal Semantics of the TESL Specification Language. GEMOC+MPM@MoDELS 2015: 14-19 - [c49]Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi:
Formal API Specification of the PikeOS Separation Kernel. NFM 2015: 375-389 - [c48]Achim D. Brucker, Oto Havle, Yakoub Nemouchi, Burkhart Wolff:
Testing the IPC Protocol for a Real-Time Operating System. VSTTE 2015: 40-60 - 2014
- [j16]Achim D. Brucker, Lukas Brügger, Burkhart Wolff:
The Unified Policy Framework (UPF). Arch. Formal Proofs 2014 (2014) - [j15]Achim D. Brucker, Frédéric Tuong, Burkhart Wolff:
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. Arch. Formal Proofs 2014 (2014) - [j14]Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz:
Formal Specification of a Generic Separation Kernel. Arch. Formal Proofs 2014 (2014) - [c47]Delphine Longuet, Frédéric Tuong, Burkhart Wolff:
Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. OCL@MoDELS 2014: 43-52 - [c46]Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff:
Panel Discussion: Proposals for Improving OCL. OCL@MoDELS 2014: 83-99 - [i3]Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff:
Report on the Aachen OCL Meeting. CoRR abs/1408.5698 (2014) - 2013
- [j13]Achim D. Brucker, Burkhart Wolff:
On theorem prover-based testing. Formal Aspects Comput. 25(5): 683-721 (2013) - [c45]Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff:
The Circus Testing Theory Revisited in Isabelle/HOL. ICFEM 2013: 131-147 - [c44]Achim D. Brucker, Lukas Brügger, Burkhart Wolff:
hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing. ICTAC 2013: 112-121 - [c43]Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff:
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. MKM/Calculemus/DML 2013: 359-363 - [c42]Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff:
On the Semantics of Object-Oriented Data Structures and Path Expressions. OCL@MoDELS 2013: 23-32 - [c41]Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff:
Report on the Aachen OCL Meeting. OCL@MoDELS 2013: 103-111 - [c40]Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff:
Test Program Generation for a Microprocessor - A Case-Study. TAP@STAF 2013: 76-95 - [e5]Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi:
Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7681, Springer 2013, ISBN 978-3-642-35704-6 [contents] - [i2]Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff:
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. CoRR abs/1305.7360 (2013) - [i1]Thierry Jéron, Margus Veanes, Burkhart Wolff:
Symbolic Methods in Testing (Dagstuhl Seminar 13021). Dagstuhl Reports 3(1): 1-29 (2013) - 2012
- [j12]Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude Gaudel:
Isabelle/Circus. Arch. Formal Proofs 2012 (2012) - [c39]Achim D. Brucker, Burkhart Wolff:
Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL. OCL@MoDELS 2012: 19-24 - [c38]Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff:
Isabelle/Circus: A Process Specification and Verification Environment. VSTTE 2012: 243-260 - 2011
- [j11]Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff:
Preface (OCL 2011 Proceedings). Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44 (2011) - [c37]Achim D. Brucker, Lukas Brügger, Paul J. Kearney, Burkhart Wolff:
An approach to modular and testable security models of real-world health-care applications. SACMAT 2011: 133-142 - [c36]Makarius Wenzel, Burkhart Wolff:
Isabelle/PIDE as Platform for Educational Tools. ThEdu 2011: 143-153 - [e4]Burkhart Wolff, Fatiha Zaïdi:
Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings. Lecture Notes in Computer Science 7019, Springer 2011, ISBN 978-3-642-24579-4 [contents] - [e3]Martin Gogolla, Burkhart Wolff:
Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings. Lecture Notes in Computer Science 6706, Springer 2011, ISBN 978-3-642-21767-8 [contents] - 2010
- [j10]Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff:
HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. J. Autom. Reason. 44(1-2): 111-144 (2010) - [c35]Matthias P. Krieger, Alexander Knapp, Burkhart Wolff:
Automatic and efficient simulation of operation contracts. GPCE 2010: 53-62 - [c34]Achim D. Brucker, Lukas Brügger, Paul J. Kearney, Burkhart Wolff:
Verified Firewall Policy Transformations for Test Case Generation. ICST 2010: 345-354 - [c33]Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff:
A Specification-Based Test Case Generation Method for UML/OCL. MoDELS (Workshops) 2010: 334-348 - [c32]Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff:
Unifying Theories in Isabelle/HOL. UTP 2010: 188-206
2000 – 2009
- 2009
- [j9]Achim D. Brucker, Burkhart Wolff:
Semantics, calculi, and analysis for object-oriented specifications. Acta Informatica 46(4): 255-284 (2009) - [j8]Matthias Daum, Jan Dörrenbächer, Burkhart Wolff:
Proving Fairness and Implementation Correctness of a Microkernel Scheduler. J. Autom. Reason. 42(2-4): 349-388 (2009) - [c31]Achim D. Brucker, Burkhart Wolff:
hol-TestGen. FASE 2009: 417-420 - [c30]Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff:
Extending OCL with Null-References. MoDELS (Workshops) 2009: 261-275 - 2008
- [j7]Achim D. Brucker, Burkhart Wolff:
An Extensible Encoding of Object-oriented Data Models in hol. J. Autom. Reason. 41(3-4): 219-249 (2008) - [c29]Achim D. Brucker, Burkhart Wolff:
Extensible Universes for Object-Oriented Data Models. ECOOP 2008: 438-462 - [c28]Achim D. Brucker, Burkhart Wolff:
HOL-OCL: A Formal Proof Environment for UML/OCL. FASE 2008: 97-100 - [c27]Achim D. Brucker, Lukas Brügger, Burkhart Wolff:
Model-Based Firewall Conformance Testing. TestCom/FATES 2008: 103-118 - [c26]Sascha Böhme, K. Rustan M. Leino, Burkhart Wolff:
HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier. TPHOLs 2008: 150-166 - [c25]Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff:
A Verification Approach for System-Level Concurrent Programs. VSTTE 2008: 161-176 - [c24]Achim D. Brucker, Lukas Brügger, Burkhart Wolff:
Verifying Test-Hypotheses: An Experiment in Test and Proof. MBT@ETAPS 2008: 15-27 - 2007
- [j6]David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff:
Verifying a signature architecture: a comparative case study. Formal Aspects Comput. 19(1): 63-91 (2007) - [c23]Achim D. Brucker, Burkhart Wolff:
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. TAP 2007: 149-168 - [c22]Makarius Wenzel, Burkhart Wolff:
Building Formal Method Tools in the Isabelle/Isar Framework. TPHOLs 2007: 352-367 - 2006
- [j5]Achim D. Brucker, Jürgen Doser, Burkhart Wolff:
An MDA Framework Supporting OCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006) - [j4]Achim D. Brucker, Jürgen Doser, Burkhart Wolff:
Semantic Issues of OCL: Past, Present, and Future. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006) - [c21]Achim D. Brucker, Jürgen Doser, Burkhart Wolff:
A Model Transformation Semantics and Analysis Methodology for SecureUML. MoDELS 2006: 306-320 - [e2]Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff:
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. Lecture Notes in Computer Science 4262, Springer 2006, ISBN 3-540-49699-8 [contents] - 2005
- [j3]Achim D. Brucker, Burkhart Wolff:
A verification approach to applied system security. Int. J. Softw. Tools Technol. Transf. 7(3): 233-247 (2005) - [c20]Achim D. Brucker, Burkhart Wolff:
Interactive Testing with HOL-TestGen. FATES 2005: 87-102 - [c19]David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff:
Verification of a Signature Architecture with HOL-Z. FM 2005: 269-285 - [c18]David Aspinall, Christoph Lüth, Burkhart Wolff:
Assisted Proof Document Authoring. MKM 2005: 65-80 - 2004
- [c17]Achim D. Brucker, Burkhart Wolff:
Symbolic Test Case Generation for Primitive Recursive Functions. FATES 2004: 16-32 - [c16]Thomas Meyer, Burkhart Wolff:
Tactic-Based Optimized Compilation of Functional Programs. TYPES 2004: 201-214 - 2003
- [j2]Achim D. Brucker, Frank Rittinger, Burkhart Wolff:
HOL-Z 2.0: A Proof Environment for Z-Specifications. J. Univers. Comput. Sci. 9(2): 152-172 (2003) - [c15]Achim D. Brucker, Burkhart Wolff:
A Case Study of a Formalized Security Architecture. FMICS 2003: 24-40 - [c14]Nicole Rauch, Burkhart Wolff:
Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL. FMICS 2003: 41-58 - [e1]David A. Basin, Burkhart Wolff:
Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings. Lecture Notes in Computer Science 2758, Springer 2003, ISBN 3-540-40664-6 [contents] - 2002
- [c13]Achim D. Brucker, Burkhart Wolff:
A Proposal for a Formal OCL Semantics in Isabelle/HOL. TPHOLs 2002: 99-114 - [c12]Achim D. Brucker, Burkhart Wolff:
Using Theory Morphisms for Implementing Formal Methods Tools. TYPES 2002: 59-77 - [c11]Achim D. Brucker, Burkhart Wolff:
HOL-OCL: Experiences, Consequences and Design Choices. UML 2002: 196-211 - 2001
- [c10]Achim D. Brucker, Burkhart Wolff:
Testing Distributed Component Based Systems Using UML/OCL. GI Jahrestagung (1) 2001: 608-614 - 2000
- [c9]Christoph Lüth, Burkhart Wolff:
More About TAS and IsaWin - Tools for Formal Program Development. FASE 2000: 367-370 - [c8]Christoph Lüth, Burkhart Wolff:
TAS - A Generic Window Inference System. TPHOLs 2000: 406-423
1990 – 1999
- 1999
- [b1]Burkhart Wolff:
A generic calculus of transformations. Bremen University, Germany, Shaker 1999, ISBN 978-3-8265-3654-0, pp. 1-162 - [j1]Christoph Lüth, Burkhart Wolff:
Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. J. Funct. Program. 9(2): 167-189 (1999) - 1998
- [c7]Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff:
Tool Integration in the UniForM-Workbench. Tool Support for System Specification, Development and Verification 1998: 160-173 - [c6]Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff:
HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. ZUM 1998: 116-134 - 1997
- [c5]Haykal Tej, Burkhart Wolff:
A Corrected Failure Divergence Model for CSP in Isabelle/HOL. FME 1997: 318-337 - [c4]Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff:
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. TAPSOFT 1997: 855-858 - 1996
- [c3]Kolyang, Thomas Santen, Burkhart Wolff:
Correct and User-Friendly Implementations of Transformation Systems. FME 1996: 629-648 - [c2]Kolyang, Thomas Santen, Burkhart Wolff:
A Structure Preserving Encoding of Z in Isabelle/HOL. TPHOLs 1996: 283-298 - 1995
- [p1]Bernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff:
Towards Correct, Efficient and Reusable Transformational Developments. KORSO Book 1995: 270-284 - 1993
- [c1]Bernd Krieg-Brückner, Junbo Liu, Burkhart Wolff, Hui Shi:
Towards Correctness, Efficiency and Reusability of Transformational Developments. GI Jahrestagung 1993: 241-246
Coauthor Index