Burkhart Wolff
40
Documents
Presentation
[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")
[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")
Publications
- 14
- 7
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
TESL: a Model with Metric Time for Modeling and Simulation27th International Symposium on Temporal Representation and Reasoning, Sep 2020, Bozen-Bolzano, Italy. ⟨10.4230/LIPIcs.TIME.2020.15⟩
Conference papers
hal-02931401v1
|
|
On the Semantics of Polychronous Polytimed Specifications18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.23-40, ⟨10.1007/978-3-030-57628-8_2⟩
Conference papers
hal-02931403v1
|
|
Making Agile Development Processes fit for V-style Certification Procedures9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
Conference papers
hal-01702815v1
|
|
Using the Isabelle Ontology Framework. Linking the Formal with the InformalInternational Conference on Intelligent Computer Mathematics (CICM), 2018, Hagenberg,, Austria. pp.23--38, ⟨10.1007/978-3-319-96812-4_3⟩
Conference papers
hal-01875734v1
|
|
A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing15th International Conference on Formal Modelling and Analysis of Timed Systems FORMATS 2017, Sep 2017, Berlin, Germany. ⟨10.1007/978-3-319-65765-3_18⟩
Conference papers
hal-01583815v1
|
Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of PathsInternational Conference on Interactive Theorem Proving ITP 2016, Aug 2016, Nancy, France
Conference papers
hal-01702847v1
|
|
Infeasible Paths Elimination by Symbolic Execution TechniquesInteractive Theorem Proving. ITP 2016, 2016, NANCY, France
Conference papers
hal-01632902v1
|
|
A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution2016 {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} , Aug 2016, Vienna, Austria
Conference papers
hal-01655414v1
|
|
Monadic Sequence Testing and Explicit Test-RefinementsTests and Proofs - 10th International Conference, 2016, Vienna, France
Conference papers
hal-01765528v1
|
|
|
Recent Developments in OCL and Textual ModellingInternational Workshop on OCL and Textual Modeling (OCL 2016), Oct 2016, Saint-Malo, France. pp.157 - 165
Conference papers
hal-01589574v1
|
Formal API Specification of the PikeOS Separation KernelNASA Formal Methods - 7th International Symposium, NFM 2015,, Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi, Apr 2015, Pasadena, CA, USA, France. pp.375--389, ⟨10.1007/978-3-319-17524-9_26⟩
Conference papers
hal-01275405v1
|
|
|
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.515th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems, Oct 2015, Karlsruhe, Germany. pp.199
Conference papers
hal-01213440v1
|
|
Towards a formal semantics of the TESL specification language3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19
Conference papers
hal-01239669v1
|
Panel Discussion: Proposals for Improving OCLOCL 2014, Sep 2014, Valencia, Spain. pp.83-99
Conference papers
hal-01222939v1
|
|
Towards a Tool for Featherweight OCL: A Case Study On Semantic ReflectionProceedings 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), Sep 2014, Valencia, Spain
Conference papers
hal-01214466v1
|
|
On the Semantics of Object-Oriented Data Structures and Path ExpressionsProceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Sep 2013, Miami, United States
Conference papers
hal-01214460v1
|
|
|
The Circus Testing Theory Revisited in Isabelle/HOLFormal Methods and Software Engineering - 15th International Conference on Formal Engineering Method, ICFEM, Oct 2013, Queenstown, New Zealand. pp.131--147, ⟨10.1007/978-3-642-41202-8_10⟩
Conference papers
hal-01126803v1
|
Test Program Generation for a Microprocessor -- A Case-StudyProceedings of the 6th Intl. Conf. on Test and Proof (TAP '13), 2013, Budapest, France
Conference papers
hal-01765545v1
|
|
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving SystemsMKM/Calculemus/DML, Jul 2013, Bath, United Kingdom. pp.359-363
Conference papers
hal-00908980v1
|
|
A Specification-Based Test Case Generation Method for UML/OCLModels in Software Engineering - Workshops and Symposia at MODELS 2010, Oct 2010, Oslo, Norway
Conference papers
hal-01760563v1
|
Symbolic Methods in Testing (Dagstuhl Seminar 13021)Thierry Jéron and Margus Veanes and Burkhart Wolff. Dagstuhl Publishing, 3 (1), pp.1-29, 2013, ⟨10.4230/DagRep.3.1.1⟩
Books
hal-00823739v1
|
|
Testing Software and SystemsSpringer, LNCS-7019, 2011, Lecture Notes in Computer Science, 978-3-642-24579-4. ⟨10.1007/978-3-642-24580-0⟩
Books
hal-01583913v1
|
Philosophers may Dine - Definitively!16th International Conference on Integrated Formal Methods, 2020, ⟨10.1007/978-3-030-63461-2_23⟩
Book sections
hal-03134972v1
|
|
The Circus Testing Theory Revisited in Isabelle/HOLLindsay Groves and Jing Sun. Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods(ICFEM), Springer-Verlag, 2013
Book sections
hal-00945960v1
|
The Unified Policy Framework (UPF)2014
Other publications
hal-01765542v1
|
|
Formal Specification of a Generic Separation Kernel2013
Other publications
hal-01765535v1
|
|
Modelling and Proving Safety in Autonomous Cars Scenarios in HOL-CSP[Research Report] 1, University Paris-Saclay; IRT SystemX, Palaiseau. 2021, pp.81
Reports
hal-03429597v2
|
|
Pruning Infeasible Paths via Graph Transformations and Symbolic Execution: a Method and a Tool[Research Report] 1588, Laboratoire de Recherche en Informatique [LRI], UMR 8623, Bâtiments 650-660, Université Paris-Sud, 91405 Orsay Cedex. 2016
Reports
hal-01764525v1
|
|
HOL-TestGen Version 1.8 USER GUIDE[Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016
Reports
hal-01765526v1
|