Skip to Main content
Number of documents

38

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⟩
  • Frédéric Tuong, Burkhart Wolff. A Meta-Model for the Isabelle API. Archive of Formal Proofs, 2015. ⟨hal-01214254⟩
  • 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⟩
  • 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 of Proceedings of the Workshop on OCL and Textual Modelling (OCL 2011). Electronic Communications of the EASST, European Association of Software Science and Technology e.V, 2011, OCL and Textual Modelling 2011, 44. ⟨hal-00647006⟩
  • 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⟩
  • 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. 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 papers19 documents

  • Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff. TESL: a Model with Metric Time for Modeling and Simulation. 27th International Symposium on Temporal Representation and Reasoning, Sep 2020, Bozen-Bolzano, Italy. ⟨10.4230/LIPIcs.TIME.2020.15⟩. ⟨hal-02931401⟩
  • Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, et al.. On the Semantics of Polychronous Polytimed Specifications. 18th 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⟩. ⟨hal-02931403⟩
  • 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⟩
  • 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⟩
  • 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, 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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 sections2 documents

  • Safouan Taha, Burkhart Wolff, Lina Ye. Philosophers may Dine - Definitively!. 16th International Conference on Integrated Formal Methods, 2020, ⟨10.1007/978-3-030-63461-2_23⟩. ⟨hal-03134972⟩
  • 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⟩