Michael Leuschel

Cited by

	All	Since 2018
Citations	6484	1588
h-index	38	16
i10-index	148	48

340

170

255

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202346 101 135 145 119 83 158 103 198 217 189 299 279 282 313 338 317 265 287 292 340 232 299 321 308 263 295 101

Public access

View all

19 articles

5 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 KringsAxivionVerified 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
Ivaylo DobrikovSoftware DeveloperVerified email at cs.uni-duesseldorf.de
Robert GlückDIKU, Department of Computer Science, University of CopenhagenVerified email at di.ku.dk
Thierry LecomteClearSy Systems EngineeringVerified email at clearsy.com
Salvador TamaritUniversitat Politècnica de ValènciaVerified email at dsic.upv.es
Marc FrappierUniversité de SherbrookeVerified email at usherbrooke.ca
Konstantinos SagonasUppsala University and National Technical University of AthensVerified email at it.uu.se
Josep SilvaUniversitat Politècnica de ValènciaVerified email at dsic.upv.es
German VidalProf. Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaVerified email at dsic.upv.es
Michael JastramCEO, Formal Mind GmbHVerified email at alum.mit.edu
John P GallagherRoskilde UniversityVerified email at ruc.dk
Alexander RomanovskySenior Research Investigator and Emeritus Professor, Newcastle University, UKVerified email at ncl.ac.uk

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	827	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	478	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	155	2005
Infinite state model checking by abstract interpretation and program specialisation M Leuschel, T Massart Logic-Based Program Synthesis and Transformation: 9th International Workshop …, 2000	136	2000
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	131	1998
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	130	1999
Logic program specialisation through partial deduction: Control issues M Leuschel, M Bruynooghe Theory and Practice of Logic Programming 2 (4-5), 461-515, 2002	112	2002
On the power of homeomorphic embedding for online termination M Leuschel Static Analysis: 5th International Symposium, SAS’98 Pisa, Italy, September …, 2002	106	2002
A conceptual embedding of folding into partial deduction: Towards a maximal integration M Leuschel, D De Schreye, DA de Waal the Joint International Conference and Symposium on Logic Programming …, 1996	86	1996
Validating Z Specifications Using the ProB Animator and Model Checker D Plagge, M Leuschel Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford …, 2007	82	2007
Homeomorphic embedding for online termination of symbolic methods M Leuschel The essence of computation: complexity, analysis, transformation, 379-403, 2002	79	2002
Redundant argument filtering of logic programs M Leuschel, MH Sørensen Logic Program Synthesis and Transformation: 6th International Workshop …, 1997	78	1997
Global control for partial deduction through characteristic atoms and global trees M Leuschel, B Martens 1996 Dagstuhl Seminar on Partial Evaluation 1110, 263-283, 1996	78	1996
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	75	2001
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	71	2011
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	69	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	69	2009
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	64	2005
Automatic refinement checking for B M Leuschel, M Butler Formal Methods and Software Engineering: 7th International Conference on …, 2005	63	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