WorldCat Identities

Leuschel, Michael

Overview
Works: 45 works in 109 publications in 2 languages and 1,084 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 2002( Book )

13 editions published in 2003 in English and held by 139 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( Book )

17 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
Integrated formal methods : 7th international conference, IFM 2009, Duesseldorf, Germany, February 16-19, 2009, proceedings by Michael Leuschel( Book )

16 editions published in 2009 in English and Undetermined and held by 50 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies
Integrated formal methods 7th international conference ; proceedings by David Hutchison( )

3 editions published in 2009 in English and held by 41 WorldCat member libraries worldwide

Logic Based Program Synthesis and Transformation 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002. Revised Selected Papers by Michael Leuschel( )

1 edition published in 2003 in English and held by 30 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

Constraint Modelling and Data Validation Using Formal Specification Languages by David Schneider( Book )

1 edition published in 2017 in English and held by 15 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 )

4 editions published in 2004 in English and held by 11 WorldCat member libraries worldwide

Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009 : revised selected papers by Frank S. de Boer( Book )

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

Annotation
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
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

Proceedings of the international workshop on specialization of declarative programs and its applications( Book )

2 editions published in 1997 in English and held by 3 WorldCat member libraries 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

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

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

Formal Methods for Components and Objects( )

1 edition published in 2011 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.74 (from 0.50 for Integrated ... to 0.94 for Model chec ...)

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 : proceedings
Languages
English (76)

German (2)

Covers
Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papersIntegrated formal methods : 7th international conference, IFM 2009, Duesseldorf, Germany, February 16-19, 2009, proceedingsIntegrated formal methods 7th international conference ; proceedingsFormal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009 : revised selected papersLogic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : proceedingsIntegrated Formal Methods