Nombre de documents

21

Links to Home-Page


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


Article dans une revue8 documents

Communication dans un congrès9 documents

  • 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〉
  • 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〉
  • 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), 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, 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〉
  • 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〉
  • 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, 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〉
  • 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〉

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 publication1 document

  • Achim D. Brucker, Frédéric Tuong, Burkhart Wolff. Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. I Formal Semantics of OCL 0.1 Introduction 0.2 Background 0.2.1 A Running Example for UML/OCL .. 2015, pp.199. 〈hal-01213440〉