Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Martin R. Neuhäußer
@article{DBLP:journals/sttt/LangeNNK20,
author = {Tim Lange and
Martin R. Neuh{\"{a}}u{\ss}er and
Thomas Noll and
Joost{-}Pieter Katoen},
title = {{IC3} software model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {2},
pages = {135--161},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00547-x},
doi = {10.1007/S10009-019-00547-X},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LangeNNK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/0001PNNK18,
author = {Tim Lange and
Frederick Prinz and
Martin R. Neuh{\"{a}}u{\ss}er and
Thomas Noll and
Joost{-}Pieter Katoen},
editor = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
Pedro Merino},
title = {Improving Generalization in Software {IC3}},
booktitle = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
Malaga, Spain, June 20-22, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10869},
pages = {85--102},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94111-0\_5},
doi = {10.1007/978-3-319-94111-0\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/0001PNNK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/NellenDNAW16,
author = {Johanna Nellen and
Kai Driessen and
Martin R. Neuh{\"{a}}u{\ss}er and
Erika {\'{A}}brah{\'{a}}m and
Benedikt Wolters},
title = {Two CEGAR-based approaches for the safety verification of PLC-controlled
plants},
journal = {Inf. Syst. Frontiers},
volume = {18},
number = {5},
pages = {927--952},
year = {2016},
url = {https://doi.org/10.1007/s10796-016-9671-9},
doi = {10.1007/S10796-016-9671-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isf/NellenDNAW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/0001NN15,
author = {Tim Lange and
Martin R. Neuh{\"{a}}u{\ss}er and
Thomas Noll},
editor = {Roope Kaivola and
Thomas Wahl},
title = {{IC3} Software Model Checking on Control Flow Automata},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
USA, September 27-30, 2015},
pages = {97--104},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/FMCAD.2015.7542258},
doi = {10.1109/FMCAD.2015.7542258},
timestamp = {Tue, 30 May 2023 17:04:45 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/0001NN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/LeuckerMN15,
author = {Martin Leucker and
Grigory Markin and
Martin R. Neuh{\"{a}}u{\ss}er},
editor = {Nir Piterman},
title = {A New Refinement Strategy for CEGAR-Based Industrial Model Checking},
booktitle = {Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9434},
pages = {155--170},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1\_10},
doi = {10.1007/978-3-319-26287-1\_10},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/LeuckerMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/MikeevNSW13,
author = {Linar Mikeev and
Martin R. Neuh{\"{a}}u{\ss}er and
David Spieler and
Verena Wolf},
title = {On-the-fly verification and optimization of DTA-properties for large
Markov chains},
journal = {Formal Methods Syst. Des.},
volume = {43},
number = {2},
pages = {313--337},
year = {2013},
url = {https://doi.org/10.1007/s10703-012-0165-1},
doi = {10.1007/S10703-012-0165-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/MikeevNSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/LangeNN13,
author = {Tim Lange and
Martin R. Neuh{\"{a}}u{\ss}er and
Thomas Noll},
editor = {Valeria Bertacco and
Axel Legay},
title = {Speeding Up the Safety Verification of Programmable Logic Controller
Code},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {44--60},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_4},
doi = {10.1007/978-3-319-03077-7\_4},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/LangeNN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/GuckHKN12,
author = {Dennis Guck and
Tingting Han and
Joost{-}Pieter Katoen and
Martin R. Neuh{\"{a}}u{\ss}er},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Quantitative Timed Analysis of Interactive Markov Chains},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {8--23},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_4},
doi = {10.1007/978-3-642-28891-3\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/GuckHKN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Neuhausser2010,
author = {Martin R. Neuh{\"{a}}u{\ss}er},
title = {Model checking nondeterministic and randomly timed systems},
school = {{RWTH} Aachen University},
year = {2010},
url = {http://darwin.bth.rwth-aachen.de/opus3/volltexte/2010/3136/},
urn = {urn:nbn:de:hbz:82-opus-31369},
isbn = {978-90-365-2975-4},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Neuhausser2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/NeuhausserZ10,
author = {Martin R. Neuh{\"{a}}u{\ss}er and
Lijun Zhang},
title = {Time-Bounded Reachability Probabilities in Continuous-Time Markov
Decision Processes},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {209--218},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.47},
doi = {10.1109/QEST.2010.47},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/NeuhausserZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ZhangN10,
author = {Lijun Zhang and
Martin R. Neuh{\"{a}}u{\ss}er},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Model Checking Interactive Markov Chains},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {53--68},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_5},
doi = {10.1007/978-3-642-12002-2\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ZhangN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KatoenKN09,
author = {Joost{-}Pieter Katoen and
Daniel Klink and
Martin R. Neuh{\"{a}}u{\ss}er},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Compositional Abstraction for Stochastic Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {195--211},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_16},
doi = {10.1007/978-3-642-04368-0\_16},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/KatoenKN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/NeuhausserSK09,
author = {Martin R. Neuh{\"{a}}u{\ss}er and
Mari{\"{e}}lle Stoelinga and
Joost{-}Pieter Katoen},
editor = {Luca de Alfaro},
title = {Delayed Nondeterminism in Continuous-Time Markov Decision Processes},
booktitle = {Foundations of Software Science and Computational Structures, 12th
International Conference, {FOSSACS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5504},
pages = {364--379},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00596-1\_26},
doi = {10.1007/978-3-642-00596-1\_26},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/NeuhausserSK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NeuhausserK07,
author = {Martin R. Neuh{\"{a}}u{\ss}er and
Joost{-}Pieter Katoen},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {Bisimulation and Logical Preservation for Continuous-Time Markov Decision
Processes},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {412--427},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_28},
doi = {10.1007/978-3-540-74407-8\_28},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/NeuhausserK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NeuhausserN07,
author = {Martin R. Neuh{\"{a}}u{\ss}er and
Thomas Noll},
editor = {Grit Denker and
Carolyn L. Talcott},
title = {Abstraction and Model Checking of Core Erlang Programs in Maude},
booktitle = {Proceedings of the 6th International Workshop on Rewriting Logic and
its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {4},
pages = {147--163},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.06.013},
doi = {10.1016/J.ENTCS.2007.06.013},
timestamp = {Tue, 24 Jan 2023 12:37:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NeuhausserN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
