Skip to Main content
Number of documents

35

Links to Home-Page


https://www.lri.fr/~wolff/


Journal articles11 documents

  • Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff. Timed Discrete-Event Simulation of Aviation Scenarios. SNE Simulation Notes Europe, ArgeSIM, 2020, 30 (2), pp.51-60. ⟨10.11128/sne.30.tn.10512⟩. ⟨hal-02881889⟩
  • Romain Aissat, Frédéric Voisin, Burkhart Wolff. Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths. Archive of Formal Proofs, 2016. ⟨hal-01764577⟩
  • Achim D. Brucker, Brügger Lukas, Burkhart Wolff. Formal Firewall Conformance Testing: An Application of Test and Proof Techniques. Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2015, 25 (1), pp.34-71. ⟨10.1002/stvr.1544⟩. ⟨hal-01213717⟩
  • Frédéric Tuong, Burkhart Wolff. A Meta-Model for the Isabelle API. Archive of Formal Proofs, 2015. ⟨hal-01214254⟩
  • Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff. Symbolic Test-generation in HOL-TestGen/CirTA: A Case Study. International Journal of Software and Informatics (IJSI), ISCAS, 2015. ⟨hal-01765531⟩
  • Achim D. Brucker, Frédéric Tuong, Burkhart Wolff. Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. Archive of Formal Proofs, 2014. ⟨hal-01214252⟩
  • Achim D. Brucker, Burkhart Wolff. On Theorem-proving based Testing . Formal Aspects of Computing, Springer Verlag, 2013, 25 (5), pp.683-721. ⟨10.1007/s00165-012-0222-y⟩. ⟨hal-01213719⟩
  • Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff. Preface (OCL 2011 Proceedings).. Electronic Communications of the EASST, Universitätsbibliothek TU Berlin, 2011, OCL and Textual Modelling 2011, 44. ⟨hal-00647006⟩
  • Daum Mathias, Dörrenbächer Jan, Burkhart Wolff. Proving Fairness and Implementation Correctness of a Microkernel Scheduler.. Journal of Automated Reasoning, Springer Verlag, 2009, In: G. Klein, R. Huuck and B. Schlich: Special Issue on Operating System Verification, 42 (2-4), pp.349-388. ⟨10.1007/s10817-009-9119-8⟩. ⟨hal-01214588⟩
  • Achim D. Brucker, Burkhart Wolff. Semantics, Calculi, and Analysis for Object-Oriented Specifications. Acta Informatica, Springer Verlag, 2009, 46 (4), pp.255-284. ⟨10.1007/s00236-009-0093-8⟩. ⟨hal-01214519⟩
  • Achim D. Brucker, Burkhart Wolff. An Extensible Encoding of Object-oriented Data Models in HOL with an Application to IMP++. Journal of Automated Reasoning, Springer Verlag, 2008, 41 (3), pp.219-249. ⟨10.1007/s10817-008-9108-3⟩. ⟨hal-01214567⟩

Conference papers17 documents

  • Sergio Bezzecchi, Paolo Crisafulli, Charlotte Pichot, Burkhart Wolff. Making Agile Development Processes fit for V-style Certification Procedures. 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France. ⟨hal-01702815⟩
  • Achim D. Brucker, Idir Ait-Sadoune, Paolo Crisafulli, Burkhart Wolff. Using the Isabelle Ontology Framework. Linking the Formal with the Informal. Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Aug 2018, Hagenberg, Austria. pp.23--38, ⟨10.1007/978-3-319-96812-4_3⟩. ⟨hal-01875734⟩
  • Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, et al.. A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing. 15th International Conference on Formal Modelling and Analysis of Timed Systems FORMATS 2017, Sep 2017, Berlin, Germany. ⟨10.1007/978-3-319-65765-3_18⟩. ⟨hal-01583815⟩
  • Burkhart Wolff, Achim Brucker. Monadic Sequence Testing and Explicit Test-Refinements. Tests and Proofs - 10th International Conference, 2016, Vienna, France. ⟨hal-01765528⟩
  • Burkhart Wolff, Romain Aissat, Frédéric Voisin. Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths. International Conference on Interactive Theorem Proving ITP 2016, Aug 2016, Nancy, France. ⟨hal-01702847⟩
  • Achim Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, et al.. Recent Developments in OCL and Textual Modelling. International Workshop on OCL and Textual Modeling (OCL 2016), Oct 2016, Saint-Malo, France. pp.157 - 165. ⟨hal-01589574⟩
  • Romain Aissat, Marie-Claude Gaudel, Frédéric Voisin, Burkhart Wolff. A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution. 2016 International Conference on Software Quality, Reliability and Security, , Aug 2016, Vienna, Austria. ⟨hal-01655414⟩
  • Romain Aïssat, Frédéric Voisin, Burkhart Wolff. Infeasible Paths Elimination by Symbolic Execution Techniques . Interactive Theorem Proving. ITP 2016, 2016, NANCY, France. ⟨hal-01632902⟩
  • Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, et al.. Towards a formal semantics of the TESL specification language. 3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19. ⟨hal-01239669⟩
  • Achim D. Brucker, Frédéric Tuong, Burkhart Wolff. Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. 15th 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. ⟨hal-01213440⟩
  • Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, et al.. Panel Discussion: Proposals for Improving OCL. OCL 2014, Sep 2014, Valencia, Spain. pp.83-99. ⟨hal-01222939⟩
  • Delphine Longuet, Frédéric Tuong, Burkhart Wolff. Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. 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), Sep 2014, Valencia, Spain. ⟨hal-01214466⟩
  • Achim Brucker, Abderrahmane Feliachi, Nemouchi Yakoub, Burkhart Wolff. Test Program Generation for a Microprocessor -- A Case-Study. Proceedings of the 6th Intl. Conf. on Test and Proof (TAP '13), 2013, Budapest, France. ⟨hal-01765545⟩
  • Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff. On the Semantics of Object-Oriented Data Structures and Path Expressions. 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), Sep 2013, Miami, United States. ⟨hal-01214460⟩
  • Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff. The Circus Testing Theory Revisited in Isabelle/HOL. Formal 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⟩. ⟨hal-01126803⟩
  • Bruno Barras, Lourdes del Carmen Gonzalez Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, et al.. Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. MKM/Calculemus/DML, Jul 2013, Bath, United Kingdom. pp.359-363. ⟨hal-00908980⟩
  • Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff. A Specification-Based Test Case Generation Method for UML/OCL. Models in Software Engineering - Workshops and Symposia at MODELS 2010, Oct 2010, Oslo, Norway. ⟨hal-01760563⟩

Books1 document

  • 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. Springer, LNCS-7019, 2011, Lecture Notes in Computer Science, 978-3-642-24579-4. ⟨10.1007/978-3-642-24580-0⟩. ⟨hal-01583913⟩

Book sections1 document

  • Abderrahmane Feliachi, Marie-Claude Gaudel, Wenzel Makarius, Burkhart Wolff. The Circus Testing Theory Revisited in Isabelle/HOL. Lindsay Groves and Jing Sun. Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods(ICFEM), Springer-Verlag, 2013. ⟨hal-00945960⟩

Directions of work or proceedings1 document

  • Thierry Jéron, Margus Veanes, Burkhart Wolff. Symbolic Methods in Testing (Dagstuhl Seminar 13021). Thierry Jéron and Margus Veanes and Burkhart Wolff. 3 (1), Dagstuhl Publishing, pp.1-29, 2013, ⟨10.4230/DagRep.3.1.1⟩. ⟨hal-00823739⟩

Other publications2 documents

  • Achim Brucker, Brügger Lukas, Burkhart Wolff. The Unified Policy Framework (UPF). 2014. ⟨hal-01765542⟩
  • Freek Verbeek, Sergej Tverdyshev, Havle Oto, Blasum Holger, Langenstein Bruno, et al.. Formal Specification of a Generic Separation Kernel. 2013. ⟨hal-01765535⟩

Reports2 documents

  • Achim Brucker, Lukas Brügger, Abderrahmane Feliachi, Chantal Keller, Matthias Krieger, et al.. HOL-TestGen Version 1.8 USER GUIDE. [Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016. ⟨hal-01765526⟩
  • Romain Aissat, Marie-Claude Gaudel, Frédéric Voisin, Burkhart Wolff. 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. ⟨hal-01764525⟩