WorldCat Identities

Leuschel, Michael

Overview
Works: 40 works in 108 publications in 2 languages and 1,045 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other, dgs, Opponent, 958
Publication Timeline
.
Most widely held works by Michael Leuschel
Logic based program synthesis and transportation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers by LOPSTR (Symposium)( Book )

13 editions published in 2003 in English and held by 141 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development
Integrated formal methods : 7th international conference, IFM 2009, Duesseldorf, Germany, February 16-19, 2009, proceedings by Michael Leuschel( )

19 editions published in 2009 in English and Undetermined and held by 97 WorldCat member libraries worldwide

Annotation
Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers by Michael Leuschel( Book )

16 editions published between 2003 and 2004 in English and held by 68 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development
Logic Based Program Synthesis and Transformation 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002. Revised Selected Papers by Michael Leuschel( )

2 editions published in 2003 in English and held by 34 WorldCat member libraries worldwide

Supporting Validation and Verification of State-Based Formal Models by Daniel Plagge( )

1 edition published in 2016 in English and held by 16 WorldCat member libraries worldwide

Rapid Creation of Interactive Formal Prototypes for Validating Safety-Critical Systems by Lukas Ladenberger( Book )

1 edition published in 2017 in English and held by 16 WorldCat member libraries worldwide

Animating and model checking B specifications with higher order recursive functions( )

1 edition published in 2006 in English and held by 15 WorldCat member libraries worldwide

Model checking object Petri nets in Maude and Prolog by Berndt Farwer( Book )

5 editions published in 2004 in English and German and held by 12 WorldCat member libraries worldwide

Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures by Frank S Boer( Book )

5 editions published between 2010 and 2011 in English and held by 9 WorldCat member libraries worldwide

Annotation
Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : proceedings by LOPSTR 2002( )

1 edition published in 2003 in English and held by 6 WorldCat member libraries worldwide

Abstract State Machines, Alloy, B, VDM, and Z third international conference, ABZ 2012, Pisa, Italy, June 18 - 21, 2012 ; proceedings by John Derrick( Book )

7 editions published in 2012 in English and held by 6 WorldCat member libraries worldwide

This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems
Proceedings of the international workshop on specialization of declarative programs and its applications( Book )

4 editions published in 1997 in English and held by 5 WorldCat member libraries worldwide

Towards Infinite-State Symbolic Model Checking for B and Event-B by Sebastian Krings( )

1 edition published in 2017 in English and held by 3 WorldCat member libraries worldwide

PPDP '07 : proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : Wroclaw, Poland, July 14-16, 2007 by ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming( Book )

2 editions published in 2007 in English and held by 2 WorldCat member libraries worldwide

Compiler : Prinzipien, Techniken und Werkzeuge by Alfred V Aho( Book )

2 editions published in 2008 in German and held by 1 WorldCat member library worldwide

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming by Michael Leuschel( Book )

2 editions published in 2007 in English and held by 1 WorldCat member library worldwide

Integrated Formal Methods( )

1 edition published in 2009 in Undetermined and held by 0 WorldCat member libraries worldwide

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : (PEPM'03) : San Diego, California, USA, June 7th, 2003 by Michael Leuschel( )

1 edition published in 2003 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.51 for Abstract S ... to 0.98 for Towards In ...)

Logic based program synthesis and transportation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papersLogic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papersLogic Based Program Synthesis and Transformation 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002. Revised Selected PapersLogic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : proceedings
Languages
English (82)

German (3)

Covers
Integrated formal methods : 7th international conference, IFM 2009, Duesseldorf, Germany, February 16-19, 2009, proceedingsLogic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papersLogic Based Program Synthesis and Transformation 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002. Revised Selected PapersFormal methods for components and objects : first international symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lecturesLogic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : proceedingsIntegrated Formal Methods