Burkhart Wolff
Orcid: 0000-0002-9648-7663Affiliations:
- Paris-Saclay University, Orsay, France
According to our database1,
Burkhart Wolff
authored at least 105 papers
between 1993 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
2025
0
1
2
3
4
5
6
7
8
9
10
1
1
1
3
4
6
1
1
3
3
2
1
1
1
2
1
1
2
1
1
1
3
2
3
3
1
1
3
3
2
6
2
2
4
2
6
2
1
3
2
2
3
1
2
2
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2025
2024
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024
Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024
2023
Robotics Auton. Syst., December, 2023
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL.
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023
2020
Arch. Formal Proofs, 2020
Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020
2019
Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019
CoRR, 2019
Arch. Formal Proofs, 2019
Arch. Formal Proofs, 2019
Arch. Formal Proofs, 2019
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019
2018
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
2017
Arch. Formal Proofs, 2017
A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017
2016
Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths.
Arch. Formal Proofs, 2016
Proceedings of the Tests and Proofs - 10th International Conference, 2016
A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016
2015
Softw. Test. Verification Reliab., 2015
Int. J. Softw. Informatics, 2015
Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015
2014
Arch. Formal Proofs, 2014
Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014
Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014
2013
Proceedings of the Tests and Proofs - 7th International Conference, 2013
Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013
Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013
Proceedings of the Intelligent Computer Mathematics, 2013
hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013
Proceedings of the Formal Methods and Software Engineering, 2013
2012
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012
Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012
2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011
An approach to modular and testable security models of real-world health-care applications.
Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011
2010
J. Autom. Reason., 2010
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010
Proceedings of the Models in Software Engineering, 2010
Proceedings of the Third International Conference on Software Testing, 2010
Proceedings of the Generative Programming And Component Engineering, 2010
2009
J. Autom. Reason., 2009
Acta Informatica, 2009
Proceedings of the Models in Software Engineering, 2009
2008
J. Autom. Reason., 2008
Proceedings of the Fourth Workshop on Model Based Testing, 2008
Proceedings of the Verified Software: Theories, 2008
Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008
Proceedings of the Testing of Software and Communicating Systems, 2008
Proceedings of the Fundamental Approaches to Software Engineering, 2008
Proceedings of the ECOOP 2008, 2008
2007
Formal Aspects Comput., 2007
Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007
Proceedings of the Tests and Proofs - 1st International Conference, 2007
2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Proceedings of the Model Driven Engineering Languages and Systems, 2006
2005
Int. J. Softw. Tools Technol. Transf., 2005
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005
Proceedings of the FM 2005: Formal Methods, 2005
Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005
2004
Proceedings of the Types for Proofs and Programs, International Workshop, 2004
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004
2003
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003
2002
Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002
Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002
Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002
2001
Testing Distributed Component Based Systems Using UML/OCL.
Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001
2000
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000
Proceedings of the Fundamental Approaches to Software Engineering, 2000
1999
Functional Design and Implementation of Graphical User Interfaces for Theorem Provers.
J. Funct. Program., 1999
1998
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998
Proceedings of the International Workshop Tool Support for System Specification, 1998
1997
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997
1996
Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996
1995
Proceedings of the KORSO, 1995
1993
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993