Stefan Leue

Cituota

	Visi	Nuo 2019
Šaltiniai	3755	707
h-rodyklė	34	15
i10-rodyklė	75	25

220

110

165

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202442 17 44 62 69 63 75 104 116 142 133 172 134 143 167 165 130 202 141 154 155 145 156 119 123 126 116 110 138 114 103

Viešas pasiekiamumas

Peržiūrėti viską

13 straipsnių

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Florian Leitner-FischerProfessor for Computer Science, DHBW RavensburgPatvirtintas el. paštas leitner-fischer.de
Edelkamp, StefanDepartment of Theor. Computer Science at Charles University and at FEL/CVUT in PraguePatvirtintas el. paštas fel.cvut.cz
Husain AljazzarPatvirtintas el. paštas aljazzar.de
Alberto Lluch LafuenteTechnical University of DenmarkPatvirtintas el. paštas dtu.dk
Philippe OechslinObjectif Sécurité / EPFLPatvirtintas el. paštas objectif-securite.ch
Adrian BeerResearch Assistant, University of KonstanzPatvirtintas el. paštas uni-konstanz.de
Dragan Bosnackiassistant professor, Eindhoven University of TechnologyPatvirtintas el. paštas tue.nl
Alin StefanescuProfessor of Computer Science, University of Bucharest, RomaniaPatvirtintas el. paštas fmi.unibuc.ro
Lars GrunskeProfessor for Software Engineering, Humboldt-Universität zu Berlin, GermanyPatvirtintas el. paštas informatik.hu-berlin.de
Giuseppe Di FattaProfessor of Computer Science, Free University of Bozen-BolzanoPatvirtintas el. paštas unibz.it
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusPatvirtintas el. paštas cs.uni-saarland.de
Stefan FischerProfessor for Computer Science, University of LuebeckPatvirtintas el. paštas itm.uni-luebeck.de
Gerard HolzmannNimble ResearchPatvirtintas el. paštas nimbleresearch.com
Shlomo ZilbersteinProfessor of Computer Science, University of Massachusetts AmherstPatvirtintas el. paštas cs.umass.edu
Lori ClarkeProfessor of Computer Science, University of Massachusetts AmherstPatvirtintas el. paštas cs.umass.edu
Christian WienbruchUniversity of KonstanzPatvirtintas el. paštas uni-konstanz.de
Willem VisserComputer Science Division, Stellenbosch UniversityPatvirtintas el. paštas cs.sun.ac.za
Pedro MerinoUniversidad de ZaragozaPatvirtintas el. paštas unizar.es
Matthew DwyerThomson Distinguished Professor, University of VirginiaPatvirtintas el. paštas virginia.edu
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityPatvirtintas el. paštas cs.biu.ac.il

Stebėti

Stefan Leue

Professor of Computer Science, University of Konstanz, Germany

Patvirtintas el. paštas uni-konstanz.de - Pagrindinis puslapis

Software and Systems Engineering Formal Methods Causality Machine Learning Legal Tech


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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	201	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	92	2002
Causality checking for complex system models F Leitner-Fischer, S Leue International Workshop on Verification, Model Checking, and Abstract …, 2013	91	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	79	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
Specifying real-time requirements for SDL specifications—A temporal logic-based approach S Leue International Conference on Protocol Specification, Testing and Verification …, 1995	67	1995
Synthesizing ROOM models from message sequence chart specifications S Leue, L Mehrmann, M Rezai	65	1998
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	58	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	57	2011

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai