Michael Leuschel

Cited by

	All	Since 2019
Citations	7008	1793
h-index	41	19
i10-index	160	52

340

170

255

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202459 124 157 150 95 91 146 114 184 218 178 313 298 263 311 340 300 271 291 290 336 241 292 323 294 259 317 316 272

Public access

View all

25 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Michael ButlerProfessor of Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
Jens BendispostoVerified email at cs.uni-duesseldorf.de
Sebastian KringsQt Quality Assurance, AxivionVerified email at krin.gs
Danny De SchreyeHoogleraar Computerwetenschappen, KU LeuvenVerified email at cs.kuleuven.be
Daniel PlaggeVerified email at dplagge.de
Stefan HallerstedeAssociate Professor at Aarhus University Department of EngineeringVerified email at eng.au.dk
Maurice BruynoogheProfessor Em. of Computer Science, KULeuvenVerified email at cs.kuleuven.be
Thierry MassartUniversité Libre de Bruxelles - ULBVerified email at ulb.ac.be
Carl Friedrich Bolz-TereickHeinrich-Heine-Universität DüsseldorfVerified email at uni-duesseldorf.de
Thierry LecomteClearSy Systems EngineeringVerified email at clearsy.com
Ivaylo DobrikovSoftware ArchitectVerified email at cs.uni-duesseldorf.de
Robert GlückDIKU, Department of Computer Science, University of CopenhagenVerified email at di.ku.dk
Marc FrappierUniversité de SherbrookeVerified email at usherbrooke.ca
Salvador TamaritUniversitat Politècnica de ValènciaVerified email at dsic.upv.es
Konstantinos SagonasUppsala University and National Technical University of AthensVerified email at it.uu.se
Michael JastramCEO, Formal Mind GmbHVerified email at alum.mit.edu
German VidalProf. Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaVerified email at dsic.upv.es
Josep SilvaUniversitat Politècnica de ValènciaVerified email at dsic.upv.es
Alexander RomanovskySenior Research Investigator and Emeritus Professor, Newcastle University, UKVerified email at ncl.ac.uk
John P GallagherRoskilde UniversityVerified email at ruc.dk

Michael Leuschel

Heinrich-Heine Universität Düsseldorf

Verified email at hhu.de - Homepage

Formal methods logic programming constraint solving partial evaluation


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
ProB: A model checker for B M Leuschel, M Butler FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003	873	2003
ProB: an automated analysis toolset for the B method M Leuschel, M Butler International Journal on Software Tools for Technology Transfer 10, 185-203, 2008	527	2008
Combining CSP and B for specification and property verification M Butler, M Leuschel FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005	159	2005
Infinite state model checking by abstract interpretation and program specialisation M Leuschel, T Massart International Workshop on Logic Programming Synthesis and Transformation, 62-81, 1999	137	1999
Conjunctive partial deduction: Foundations, control, algorithms, and experiments D De Schreye, R Glück, J Jørgensen, M Leuschel, B Martens, ... The Journal of Logic Programming 41 (2-3), 231-277, 1999	132	1999
Controlling generalization and polyvariance in partial deduction of normal logic programs M Leuschel, B Martens, D De Schreye ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (1), 208-258, 1998	132	1998
Logic program specialisation through partial deduction: Control issues M Leuschel, M Bruynooghe Theory and Practice of Logic Programming 2 (4-5), 461-515, 2002	111	2002
On the power of homeomorphic embedding for online termination M Leuschel International Static Analysis Symposium, 230-245, 1998	106	1998
A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. M Leuschel, D De Schreye, A de Waal JICSLP, 319-332, 1996	87	1996
Validating Z Specifications Using the ProB Animator and Model Checker D Plagge, M Leuschel International Conference on Integrated Formal Methods, 480-500, 2007	85	2007
Redundant argument filtering of logic programs M Leuschel, MH Sørensen International Workshop on Logic Programming Synthesis and Transformation, 83-103, 1996	82	1996
Homeomorphic embedding for online termination of symbolic methods M Leuschel The essence of computation: complexity, analysis, transformation, 379-403, 2002	80	2002
Global control for partial deduction through characteristic atoms and global trees M Leuschel, B Martens Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 1996	79	1996
Allocation removal by partial evaluation in a tracing JIT CF Bolz, A Cuni, M FijaBkowski, M Leuschel, S Pedroni, A Rigo Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011	75	2011
Visualising event-B models with B-motion studio L Ladenberger, J Bendisposto, M Leuschel Formal Methods for Industrial Critical Systems: 14th International Workshop …, 2009	74	2009
Automated property verification for large scale B models with ProB M Leuschel, J Falampin, F Fritz, D Plagge Formal Aspects of Computing 23, 683-709, 2011	73	2011
How to make FDR spin LTL model checking of CSP by refinement M Leuschel, A Currie, T Massart FME 2001: Formal Methods for Increasing Software Productivity: International …, 2001	73	2001
Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more D Plagge, M Leuschel International journal on software tools for technology transfer 12 (1), 9-21, 2010	67	2010
ProTest: An automatic test environment for B specifications M Satpathy, M Leuschel, M Butler Electronic Notes in Theoretical Computer Science 111, 113-136, 2005	66	2005
Automatic refinement checking for B M Leuschel, M Butler Formal Methods and Software Engineering: 7th International Conference on …, 2005	65	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors