Number of documents

34

Links to Home-Page


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


Journal articles10 documents

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, 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⟩
  • 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⟩
  • Burkhart Wolff, Achim Brucker. Monadic Sequence Testing and Explicit Test-Refinements. Tests and Proofs - 10th International Conference, 2016, Vienna, France. ⟨hal-01765528⟩
  • 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 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⟩
  • 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 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⟩
  • 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⟩
  • 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, 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

  • 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⟩
  • 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⟩