Timo Strobel, Wolfgang-Reza Sharavi, Sadegh Sadeghipour, Nicolas Grube, Michael Leuschel, Jan Gruteser, Jan Roßbach, Oliver De Candido, Anja Philippsen, Dorian Knoblauch
KI-LOK – a joint project involving test procedures for AI-based components in railway operations.
SMT solving for the validation of B and Event-B models.
In Software Tools for Technology Transfer (STTT), Springer-Verlag, 2022.
Philipp Körner, Michael Leuschel, João Barbosa, Vtor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu
Fifty Years of Prolog and Beyond.
In Theory and Practice of Logic Programming, 22, 6, 776--858, 2022.
In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, ACM, 598--606, 2022.
Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Olveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper.
Improving SMT Solver Integrations for the Validation of B and Event-B Models.
In Formal Methods for Industrial Critical Systems, Alberto Lluch Lafuente and Anastasia Mavridou, LNCS, 12863, Springer International Publishing, 107--125, 2021.
Generating Event-B Specifications from Algorithm Descriptions.
In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, Michael J. Butler and Klaus-Dieter Schewe and Atif Mashkoor and Miklós Biró, Lecture Notes in Computer Science, 9675, Springer, 183--197, 2016.
Towards B as a High-Level Constraint Modelling Language.
In Abstract State Machines, Alloy, B, TLA, VDM, and Z, Ait Ameur, Yamine and Schewe, Klaus-Dieter, Lecture Notes in Computer Science, 8477, Springer Berlin Heidelberg, 101-116, 2014.
In Proceedings of Fundamental Approaches to Software Engineering (FASE) 2011, Dimitra Giannakopoulou and Fernando Orejas, Lecture Notes in Computer Science, 6603, Springer, 50--64, 2011.
Carl Friedrich Bolz, Antonio Cuni, Maciej Fijałkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo
Runtime Feedback in a Meta-Tracing JIT for Efficient Dynamic Languages.
In Proceedings of the 6th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, ICOOOLPS '11, 2011.
Towards Just-In-Time Partial Evaluation of Prolog.
In Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers, Danny De Schreye, Lecture Notes in Computer Science, 6037, Springer, 158-172, 2009.
Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings.
In Karin K. Breitman and Ana Cavalcanti, Lecture Notes in Computer Science, 5885, Springer, 2009.
Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more.
In ISoLA, Yamine Aı̈t Ameur and Frédéric Boniol and Virginie Wiels, Revue des Nouvelles Technologies de l'Information, RNTI-SM-1, Cépaduès-Éditions, 73--84, 2007.
Jean-Raymond Abrial, Stefan Hallerstede
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B.
Stephane Lo Presti, Michael Butler, Michael Leuschel, Chris Booth
A Trust Analysis Methodology for Pervasive Computing Systems.
In Trusting Agents for trusting Electronic Societies, R Falcone and S Barber and J Sabater and M Singh, Lecture Notes in Computer Science, 3577, Springer-Verlag, 2005.
Michael Leuschel, Stephen Craig, Maurice Bruynooghe, Wim Vanhoof
Specializing Interpreters using Offline Partial Deduction.
In Program Development in Computational Logic, Maurice Bruynooghe and Kung-Kiu Lau, Lecture Notes in Computer Science, 3049, Springer-Verlag, 341--376, 2004.
In Program Development in Computational Logic, Maurice Bruynooghe and Kung-Kiu Lau, Lecture Notes in Computer Science, 3049, Springer-Verlag, 189--232, 2004.
In Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings, 344--363, 2003.
Homeomorphic Embedding for Online Termination of Symbolic Methods.
In The Essence of Computation -- Essays dedicated to Neil Jones, Torben Mogensen, David Schmidt, I. H. Sudborough, Lecture Notes in Computer Science, 2566, Springer-Verlag, 379--403, 2002.
Michael Leuschel, Laksono Adhianto, Michael Butler, Carla Ferreira, Leonid Mikhailov
Animation and Model Checking of CSP and B using Prolog Technology.
In Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic, Michael Leuschel and Andreas Podelski and C.R. Ramakrishnan and Ulrich Ultes-Nitsche, 97--109, 2001.
Coverability of Reset Petri Nets and other Well-Structured Transition Systems by Partial Deduction.
In Computational Logic, John Lloyd and Verónica Dahl and Ulrich Furbach and Manfred Kerber and Kung-Kiu Lau and Catuscia Palamidessi and Luı́s Moniz Pereira and Yehoshua Sagiv and Peter J. Stuckey, Lecture Notes in Computer Science, 1861, Springer-Verlag, 101--115, 2000.
In Partial Evaluation: Practice and Theory, John Hatcliff and Torben AE Mogensen and Peter Thiemann, Lecture Notes in Computer Science, 1706, Springer-Verlag, 155--188, 1999.
In Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, German Puebla, Universidad Politécnica de Madrid Tech. Rep. CLIP7/97.1, 1997.
Proceedings of the ILPS'97 Workshop on Specialisation of Declarative Programs and its Application.
In Michael Leuschel, K. U. Leuven, Tech. Rep. CW 255, also as DIKU Report 97/30, University of Copenhagen, 1997.
Efficiently Generating Efficient Generating Extensions in Prolog.
In Dagstuhl Seminar on Partial Evaluation, O. Danvy and R. Glueck and P. Thiemann, Lecture Notes in Computer Science, 1110, Springer-Verlag, 238--262, 1996.
Specialised Integrity Checking by Combining Conjunctive Partial Deduction and Abstract Interpretation.
In Proc. Logic Databases and the Meaning of Change: Dagstuhl-Seminar-Report 157, J. Bocca and H. Decker and A. Voronkov, IBFI GmbH, Schloss Dagstuhl, 18--19, 1996.
Global Control for Partial Deduction through Characteristic Atoms and Global Trees.
In Dagstuhl Seminar on Partial Evaluation, O. Danvy and R. Glueck and P. Thiemann, Lecture Notes in Computer Science, 1110, Springer-Verlag, 263--283, 1996.
Obtaining Specialised Update Procedures through Partial Deduction of the Ground Representation.
In Proc. Joint Workshop on Deductive Databases and Logic Programming and Abduction in Deductive Databases and Knowledge Based Systems, GMD-Studien Nr. 266, 81--95, 1995.