Nombre de documents

33

Links to Home-Page


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


Article dans une revue10 documents

Communication dans un congrès16 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〉
  • 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. Alessandro Abate; Gilles Geeraerts. 15th International Conference on Formal Modelling and Analysis of Timed Systems FORMATS 2017, Sep 2017, Berlin, Germany. Springer, LNCS 10419, 2017, Formal Modeling and Analysis of Timed Systems. 〈http://formats17.ulb.be/〉. 〈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〉
  • 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〉
  • 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〉
  • 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, 2016. 〈hal-01589574〉
  • 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), Sep 2015, Ottawa, Canada. Joint Proceedings of the GEMOC and MPM International Workshops at MODELS 2015, pp.14-19, 2015, CEUR Workshop Proceedings. 〈http://ceur-ws.org/Vol-1511/〉. 〈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, 2015. 〈hal-01213440〉
  • 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. 2014. 〈hal-01214466〉
  • Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, et al.. Panel Discussion: Proposals for Improving OCL. Achim D. Brucker; Carolina Dania; Geri Georg; Martin Gogolla. OCL 2014, Sep 2014, Valencia, Spain. 1285, pp.83-99, 2014, OCL and Textual Modeling: Applications and Case Studies. 〈hal-01222939〉
  • Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff. The Circus Testing Theory Revisited in Isabelle/HOL. Lindsay Groves, Jing Sun. Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Method, ICFEM, Oct 2013, Queenstown, New Zealand. Springer, Lecture Notes in Computer Science, 8144, pp.131--147, 2013, Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Method. 〈http://dx.doi.org/10.1007/978-3-642-41202-8〉. 〈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. 2013. 〈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, 2013. 〈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〉

Ouvrage (y compris édition critique et traduction)1 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〉

Chapitre d'ouvrage1 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〉

Direction d'ouvrage, Proceedings, Dossier1 document

Autre publication2 documents

  • Achim Brucker, Brügger Lukas, Burkhart Wolff. The Unified Policy Framework (UPF). Archive of Formal Proofs (AFP), https://www.isa-afp.org/entries/UPF.shtml. 2014. 〈hal-01765542〉
  • Freek Verbeek, Sergej Tverdyshev, Havle Oto, Blasum Holger, Langenstein Bruno, et al.. Formal Specification of a Generic Separation Kernel. Submission to the Archive of Formal Proofs (AFP) http://afp.sf.net/entries/CISC-Kernel.shtml. 2013. 〈hal-01765535〉

Rapport2 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〉