Martin R. Neuhäußer

Citat de

	Toate	Din 2020
Referințe bibliografice	599	118
h-index	13	8
i10-index	14	4

2008200920102011201220132014201520162017201820192020202120222023202420252 23 52 40 52 48 56 44 42 46 33 35 36 27 17 23 13 2

Acces public

Afișați-le pe toate

6 articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteAdresă de e-mail confirmată pe cs.rwth-aachen.de
Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software ChineseAdresă de e-mail confirmată pe ios.ac.cn
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteAdresă de e-mail confirmată pe utwente.nl
Dennis GuckTWT GmbHAdresă de e-mail confirmată pe twt-gmbh.de
David SpielerProfessor of Computer Science - Machine Learning, Munich University of Applied ScienceAdresă de e-mail confirmată pe hm.edu
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusAdresă de e-mail confirmată pe dfki.de
Benedikt Christoph WoltersCloudflare, Inc.Adresă de e-mail confirmată pe rwth-aachen.de
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityAdresă de e-mail confirmată pe cs.rwth-aachen.de
Lijun ZhangInstitute of Software, Chinese Academy of SciencesAdresă de e-mail confirmată pe ios.ac.cn
Martin LeuckerProfessor of Computer Science, University of LübeckAdresă de e-mail confirmată pe isp.uni-luebeck.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusAdresă de e-mail confirmată pe cs.uni-saarland.de

Urmăriți

Martin R. Neuhäußer

Siemens AG

Adresă de e-mail confirmată pe marneu.com

Formal Methods Formal Verification Model Checking SAT SMT


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
Model checking interactive Markov chains L Zhang, MR Neuhäußer International Conference on Tools and Algorithms for the Construction and …, 2010	76	2010
Delayed nondeterminism in continuous-time Markov decision processes MR Neuhäußer, M Stoelinga, JP Katoen International Conference on Foundations of Software Science and …, 2009	72	2009
Quantitative timed analysis of interactive Markov chains D Guck, T Han, JP Katoen, MR Neuhäußer NASA Formal Methods Symposium, 8-23, 2012	62	2012
Time-bounded reachability probabilities in continuous-time Markov decision processes MR Neuhäußer, L Zhang 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010	54	2010
Model checking nondeterministic and randomly timed systems MR Neuhäußer Aachen, Techn. Hochsch., Diss., 2010, 2010	53	2010
Compositional abstraction for stochastic systems JP Katoen, D Klink, MR Neuhäußer International Conference on Formal Modeling and Analysis of Timed Systems …, 2009	50	2009
Bisimulation and logical preservation for continuous-time Markov decision processes MR Neuhäußer, JP Katoen International Conference on Concurrency Theory, 412-427, 2007	47	2007
Abstraction and model checking of Core Erlang programs in Maude M Neuhäußer, T Noll Electronic Notes in Theoretical Computer Science 176 (4), 147-163, 2007	34	2007
IC3 software model checking on control flow automata T Lange, MR Neuhauber, T Noll 2015 Formal Methods in Computer-Aided Design (FMCAD), 97-104, 2015	31	2015
Speeding up the safety verification of programmable logic controller code T Lange, MR Neuhäußer, T Noll Haifa Verification Conference, 44-60, 2013	26	2013
On-the-fly verification and optimization of DTA-properties for large Markov chains L Mikeev, MR Neuhäußer, D Spieler, V Wolf Formal Methods in System Design 43, 313-337, 2013	24	2013
Two CEGAR-based approaches for the safety verification of PLC-controlled plants J Nellen, K Driessen, M Neuhäußer, E Ábrahám, B Wolters Information Systems Frontiers 18, 927-952, 2016	18	2016
A new refinement strategy for CEGAR-based industrial model checking M Leucker, G Markin, MR Neuhäußer Hardware and Software: Verification and Testing: 11th International Haifa …, 2015	14	2015
IC3 software model checking T Lange, MR Neuhäußer, T Noll, JP Katoen International Journal on Software Tools for Technology Transfer 22 (2), 135-161, 2020	13	2020
Time-bounded reachability in continuous-time Markov decision processes MR Neuhäußer, L Zhang Mainz, 2009	9	2009
Improving generalization in software IC3 T Lange, F Prinz, MR Neuhäußer, T Noll, JP Katoen Model Checking Software: 25th International Symposium, SPIN 2018, Malaga …, 2018	7	2018
GSPN model checking despite confusion H Hermanns, JP Katoen, MR Neuhäußer, L Zhang Technical report, 2010	7	2010
Checking a functional module of an automation installation MR Neuhäusser US Patent 10,955,804, 2021	2	2021
3 Analysis of time-bounded reachability probabilities in continuous-time Markov decision processes M Neuhäußer, L Zhang Deliverable no.: D3. 5 Title of Deliverable: Extended timed automata for …, 2009		2009
A Complete Axiomatization for Observational Congruence of Finite-state Behaviors F Klein, H Hermanns, M Neuhäußer

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori