Stefan Leue 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	3710	664
h 指数	34	14
i10 指数	74	24

220

110

165

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202442 17 44 62 69 63 75 104 116 141 133 172 134 143 167 165 130 202 141 154 155 145 155 119 123 126 116 110 136 112 64

开放获取的出版物数量

查看全部

13 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Florian Leitner-FischerProfessor for Computer Science, DHBW Ravensburg在 leitner-fischer.de 的电子邮件经过验证
Edelkamp, StefanDepartment of Theor. Computer Science at Charles University and at FEL/CVUT in Prague在 fel.cvut.cz 的电子邮件经过验证
Husain Aljazzar在 aljazzar.de 的电子邮件经过验证
Alberto Lluch LafuenteTechnical University of Denmark在 dtu.dk 的电子邮件经过验证
Philippe OechslinObjectif Sécurité / EPFL在 objectif-securite.ch 的电子邮件经过验证
Adrian BeerResearch Assistant, University of Konstanz在 uni-konstanz.de 的电子邮件经过验证
Dragan Bosnackiassistant professor, Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
Alin StefanescuProfessor of Computer Science, University of Bucharest, Romania在 fmi.unibuc.ro 的电子邮件经过验证
Lars GrunskeProfessor for Software Engineering, Humboldt-Universität zu Berlin, Germany在 informatik.hu-berlin.de 的电子邮件经过验证
Giuseppe Di FattaProfessor of Computer Science, Free University of Bozen-Bolzano在 unibz.it 的电子邮件经过验证
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics Campus在 cs.uni-saarland.de 的电子邮件经过验证
Stefan FischerProfessor for Computer Science, University of Luebeck在 itm.uni-luebeck.de 的电子邮件经过验证
Gerard HolzmannNimble Research在 nimbleresearch.com 的电子邮件经过验证
Shlomo ZilbersteinProfessor of Computer Science, University of Massachusetts Amherst在 cs.umass.edu 的电子邮件经过验证
Lori ClarkeProfessor of Computer Science, University of Massachusetts Amherst在 cs.umass.edu 的电子邮件经过验证
Christian WienbruchUniversity of Konstanz在 uni-konstanz.de 的电子邮件经过验证
Willem VisserComputer Science Division, Stellenbosch University在 cs.sun.ac.za 的电子邮件经过验证
Pedro MerinoUniversidad de Zaragoza在 unizar.es 的电子邮件经过验证
Matthew DwyerThomson Distinguished Professor, University of Virginia在 virginia.edu 的电子邮件经过验证
Doron A. PeledProfessor Of Computer Science, Bar Ilan University在 cs.biu.ac.il 的电子邮件经过验证

关注

Stefan Leue

Professor of Computer Science, University of Konstanz, Germany

在 uni-konstanz.de 的电子邮件经过验证 - 首页

Software Engineering Embedded Systems Formal Methods Model Checking Systems Engineering


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Directed explicit model checking with HSF-SPIN S Edelkamp, AL Lafuente, S Leue International SPIN Workshop on Model Checking of Software, 57-79, 2001	258	2001
Directed explicit-state model checking in the validation of communication protocols S Edelkamp, S Leue, A Lluch-Lafuente International journal on software tools for technology transfer 5, 247-267, 2004	255	2004
Syntactic detection of process divergence and non-local choice in message sequence charts H Ben-Abdallah, S Leue International Workshop on Tools and Algorithms for the Construction and …, 1997	207	1997
K⁎: A heuristic search algorithm for finding the k shortest paths H Aljazzar, S Leue Artificial Intelligence 175 (18), 2129-2154, 2011	192	2011
Interpreting message flow graphs PB Ladkin, S Leue Formal Aspects of Computing 7, 473-509, 1995	164	1995
Safety analysis of an airbag system using probabilistic FMEA and probabilistic counterexamples H Aljazzar, M Fischer, L Grunske, M Kuntz, F Leitner-Fischer, S Leue 2009 Sixth International Conference on the Quantitative Evaluation of …, 2009	96	2009
Partial order reduction in directed model checking A Lluch-Lafuente, S Edelkamp, S Leue Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002	91	2002
Causality checking for complex system models F Leitner-Fischer, S Leue International Workshop on Verification, Model Checking, and Abstract …, 2013	90	2013
Discriminative pattern mining in software fault detection G Di Fatta, S Leue, E Stegantova Proceedings of the 3rd international workshop on Software quality assurance …, 2006	89	2006
Directed explicit state-space search in the generation of counterexamples for stochastic model checking H Aljazzar, S Leue IEEE Transactions on Software Engineering 36 (1), 37-60, 2009	78	2009
What do message sequence charts mean? PB Ladkin, S Leue	77	1994
Timing constraints in message sequence chart specifications H Ben-Abdallah, S Leue Formal Description Techniques and Protocol Specification, Testing and …, 1997	75	1997
Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN M Kamel, S Leue International Journal on Software Tools for Technology Transfer 2, 394-409, 2000	70	2000
Protocol verification with heuristic search S Edelkamp, AL Lafuente, S Leue Bibliothek der Universität Konstanz, 2001	68	2001
Synthesizing ROOM models from message sequence chart specifications S Leue, L Mehrmann, M Rezai	65	1998
Specifying real-time requirements for SDL specifications—A temporal logic-based approach S Leue International Conference on Protocol Specification, Testing and Verification …, 1995	65	1995
MESA: Support for scenario-based design of concurrent systems H Ben-Abdallah, S Leue International Conference on Tools and Algorithms for the Construction and …, 1998	62	1998
Synthesizing software architecture descriptions from Message Sequence Chart specifications S Leue, L Mehrmann, M Rezai Proceedings 13th IEEE International Conference on Automated Software …, 1998	61	1998
Partial-order reduction for general state exploring algorithms D Bošnački, S Leue, A Lluch Lafuente International Journal on Software Tools for Technology Transfer 11, 39-51, 2009	57	2009
From probabilistic counterexamples via causality to fault trees M Kuntz, F Leitner-Fischer, S Leue Computer Safety, Reliability, and Security: 30th International Conference …, 2011	56	2011

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用