default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Matthias Kuntz
@inproceedings{DBLP:conf/ofc/ZiariLSHFTHBGWP21,
author = {Mehrdad Ziari and
Vikrant Lal and
Pavel Studenkov and
Hossein Hodaei and
Thomas Frost and
Corey Tsai and
Koichi Hoshino and
Babak Behnia and
Ryan Going and
Stefan Wolf and
Stefano Porto and
Matthias Kuntz and
Thomas Vallaitis and
Ehsan Sooudi and
Justin Lavrencik and
Randal Salvatore and
Nikhil Modi and
Payam Abolghasem and
Matt Fisher and
Sanjeev Murthy and
Sanketh Buggaveeti and
Robert Brigham and
Don Pavinski and
Jiaming Zhang and
Scott Corzine and
Peter Evans and
Vince Dominic and
Robert Maher and
Pierre Mertz and
Steve Sanders and
Han Sun and
John Osenbach and
Parthiban Kandappan},
title = {High-performance 100 Gbaud Coherent Photonic Modules},
booktitle = {Optical Fiber Communications Conference and Exhibition, {OFC} 2021,
San Francisco, CA, USA, June 6-10, 2021},
pages = {1--3},
publisher = {{IEEE}},
year = {2021},
url = {https://ieeexplore.ieee.org/document/9489405},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ofc/ZiariLSHFTHBGWP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ofc/LalSFTBOWGPMHZG30,
author = {Vikrant Lal and
Pavel Studenkov and
Thomas Frost and
Huan{-}Shang Tsai and
B. Behnia and
John Osenbach and
Stefan Wolf and
Ryan Going and
Stefano Porto and
Robert Maher and
Hossein Hodaei and
J. Zhang and
C. Di Giovanni and
K. Hoshino and
Thomas Vallaitis and
Bryan Ellis and
J. Yan and
K. Fong and
Ehsan Sooudi and
Matthias Kuntz and
Sanketh Buggaveeti and
Don Pavinski and
Steve Sanders and
Z. Wang and
G. Hoefler and
Peter Evans and
Scott Corzine and
Tim Butrie and
Mehrdad Ziari and
Fred Kish and
David Welch},
title = {1.6Tbps Coherent 2-Channel Transceiver using a Monolithic Tx/Rx InP
{PIC} and Single SiGe {ASIC}},
booktitle = {Optical Fiber Communications Conference and Exhibition, {OFC} 2020,
San Diego, CA, USA, March 8-12, 2020},
pages = {1--3},
publisher = {{IEEE}},
year = {2020},
url = {https://ieeexplore.ieee.org/document/9083152},
timestamp = {Thu, 01 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ofc/LalSFTBOWGPMHZG30.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/GhadhabJKKV19,
author = {Majdi Ghadhab and
Sebastian Junges and
Joost{-}Pieter Katoen and
Matthias Kuntz and
Matthias Volk},
title = {Safety analysis for vehicle guidance systems with dynamic fault trees},
journal = {Reliab. Eng. Syst. Saf.},
volume = {186},
pages = {37--50},
year = {2019},
url = {https://doi.org/10.1016/j.ress.2019.02.005},
doi = {10.1016/J.RESS.2019.02.005},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/GhadhabJKKV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-05361,
author = {Majdi Ghadhab and
Sebastian Junges and
Joost{-}Pieter Katoen and
Matthias Kuntz and
Matthias Volk},
title = {Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees},
journal = {CoRR},
volume = {abs/1903.05361},
year = {2019},
url = {http://arxiv.org/abs/1903.05361},
eprinttype = {arXiv},
eprint = {1903.05361},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-05361.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoc/ChuangDADLFEXMM18,
author = {Linus C. Chuang and
Lee Dardis and
Payam Abolghasem and
Abdou Diba and
M. Lu and
Thomas Frost and
Bryan Ellis and
Xian Xu and
M. Montazeri and
Sanjeev Murthy and
Andrew Dentai and
F. Sedgwick and
Matthias Kuntz and
Jianping Zhang and
Don Pavinski and
Tim Butrie and
Scott Demars and
Jeff Rahn and
Vince Dominic and
Scott Corzine and
Vikrant Lal and
Peter Evans and
Mehrdad Ziari and
Fred Kish},
title = {Demonstration of Fully Integrated 6{\(\lambda\)}{\texttimes}200 Gbps
{(1.2} Tbps) PICs and Transceivers in L-Band},
booktitle = {European Conference on Optical Communication, {ECOC} 2018, Rome, Italy,
September 23-27, 2018},
pages = {1--3},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ECOC.2018.8535518},
doi = {10.1109/ECOC.2018.8535518},
timestamp = {Fri, 02 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoc/ChuangDADLFEXMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoc/GoingWMBSLLETCZ18,
author = {Ryan Going and
Stefan Wolf and
Robert Maher and
Chris Berry and
Pavel Studenkov and
M. Lu and
Vikrant Lal and
Peter Evans and
H. Tsai and
Scott Corzine and
Jianping Zhang and
B. Behnia and
J. Tang and
Thomas Vallaitis and
John Osenbach and
Matthias Kuntz and
A. Hosseini and
Thomas Frost and
Linus C. Chuang and
M. Montazeri and
H. Mousavi and
Stefano Porto and
Sanketh Buggaveeti and
Xian Xu and
Jeff Rahn and
Tim Butrie and
A. Karanicolas and
Mehrdad Ziari and
David Welch and
Fred Kish},
title = {4{\texttimes}600 Gb/s Photonic {IC} Transmitter and Receiver Modules},
booktitle = {European Conference on Optical Communication, {ECOC} 2018, Rome, Italy,
September 23-27, 2018},
pages = {1--3},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ECOC.2018.8535187},
doi = {10.1109/ECOC.2018.8535187},
timestamp = {Thu, 01 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoc/GoingWMBSLLETCZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoc/GoingLMTLKCSSHZ17,
author = {Ryan Going and
Matthias Lauermann and
Robert Maher and
H. Tsai and
M. Lu and
N. Kim and
Scott Corzine and
Pavel Studenkov and
Joseph Summers and
A. Hosseini and
Jianping Zhang and
B. Behnia and
J. Tang and
S. Buggaveeti and
Thomas Vallaitis and
John Osenbach and
Matthias Kuntz and
X. Xu and
Kevin Croussore and
Vikrant Lal and
Peter Evans and
Jeff Rahn and
Tim Butrie and
A. Karanicolas and
K.{-}T. Wu and
Matthew Mitchell and
Mehrdad Ziari and
David Welch and
Fred Kish},
title = {Multi-channel InP-based Coherent PICs with Hybrid Integrated SiGe
Electronics Operating up to 100 GBd, 32QAM},
booktitle = {European Conference on Optical Communication, {ECOC} 2017, Gothenburg,
Sweden, September 17-21, 2017},
pages = {1--3},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ECOC.2017.8346096},
doi = {10.1109/ECOC.2017.8346096},
timestamp = {Thu, 01 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoc/GoingLMTLKCSSHZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ofc/LauermannGMLKSF17,
author = {Matthias Lauermann and
Ryan Going and
Robert Maher and
M. Lu and
W. Ko and
Pavel Studenkov and
J. Ferrara and
A. Hosseini and
Scott Corzine and
Jeff Rahn and
Matthias Kuntz and
H. Tsai and
A. Karanicolas and
Peter Evans and
Vikrant Lal and
David Welch and
Fred Kish},
title = {Multi-channel, widely-tunable coherent transmitter and receiver PICs
operating at 88Gbaud/16-QAM},
booktitle = {Optical Fiber Communications Conference and Exhibition, {OFC} 2017,
Los Angeles, CA, USA, March 19-23, 2017},
pages = {1--3},
publisher = {{IEEE}},
year = {2017},
url = {https://ieeexplore.ieee.org/xpl/freeabs\_all.jsp?arnumber=7937155},
timestamp = {Thu, 01 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ofc/LauermannGMLKSF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GhadhabJKKV17,
author = {Majdi Ghadhab and
Sebastian Junges and
Joost{-}Pieter Katoen and
Matthias Kuntz and
Matthias Volk},
editor = {Stefano Tonetta and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Model-Based Safety Analysis for Vehicle Guidance Systems},
booktitle = {Computer Safety, Reliability, and Security - 36th International Conference,
{SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10488},
pages = {3--19},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66266-4\_1},
doi = {10.1007/978-3-319-66266-4\_1},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/GhadhabJKKV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/GhadhabKKF15,
author = {Majdi Ghadhab and
Matthias Kuntz and
Dmitrii Kuvaiskii and
Christof Fetzer},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {A Controller Safety Concept Based on Software-Implemented Fault Tolerance
for Fail-Operational Automotive Applications},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {189--205},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_11},
doi = {10.1007/978-3-319-29510-7\_11},
timestamp = {Wed, 24 May 2017 08:30:54 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/GhadhabKKF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ofc/ZiariELCBMPTSSV15,
author = {Mehrdad Ziari and
Peter Evans and
Vikrant Lal and
Scott Corzine and
Tim Butrie and
Mark Missey and
Don Pavinski and
Jie Tang and
Joseph Summers and
Pavel Studenkov and
T. Vallaitas and
Matthias Kuntz and
F. Sedgwick and
Matt Fisher and
H.{-}S. Sai and
J. Zhang and
Parmijit Samra and
Jacco Pleumeekers and
Jeff Rahn and
Vince Dominic and
Philipp C. Schindler and
Ren{\'{e}} Schmogrow and
S. Kumar and
Han Sun and
Kuang{-}Tsan Wu and
Matthew Mitchell and
M. Kauffman and
Mike Reffle and
Fred Kish and
David Welch},
title = {Integrated devices for high-performance optical links},
booktitle = {Optical Fiber Communications Conference and Exhibition, {OFC} 2015,
Los Angeles, CA, USA, March 22-26, 2015},
pages = {1},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1364/OFC.2015.W1H.5},
doi = {10.1364/OFC.2015.W1H.5},
timestamp = {Thu, 01 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ofc/ZiariELCBMPTSSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KuntzLL11,
author = {Matthias Kuntz and
Florian Leitner{-}Fischer and
Stefan Leue},
editor = {Francesco Flammini and
Sandro Bologna and
Valeria Vittorini},
title = {From Probabilistic Counterexamples via Causality to Fault Trees},
booktitle = {Computer Safety, Reliability, and Security - 30th International Conference,
{SAFECOMP} 2011, Naples, Italy, September 19-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6894},
pages = {71--84},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24270-0\_6},
doi = {10.1007/978-3-642-24270-0\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KuntzLL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KuntzLS10,
author = {Matthias Kuntz and
Stefan Leue and
Christoph Scheben},
editor = {Andrei Voronkov and
Laura Kov{\'{a}}cs and
Nikolaj S. Bj{\o}rner},
title = {Extending Non-Termination Proof Techniques to Asynchronously Communicating
Concurrent Programs},
booktitle = {Second International Workshop on Invariant Generation, {WING} 2009,
York, UK, March 29, 2009 and Third International Workshop on Invariant
Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
series = {EPiC Series in Computing},
volume = {1},
pages = {132--147},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/c7v2},
doi = {10.29007/C7V2},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/cade/KuntzLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/HaverkortKRRS10,
author = {Boudewijn R. Haverkort and
Matthias Kuntz and
Anne Remke and
S. Roolvink and
Mari{\"{e}}lle Stoelinga},
title = {Evaluating repair strategies for a water-treatment facility using
Arcade},
booktitle = {Proceedings of the 2010 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2010, Chicago, IL, USA, June 28 - July
1 2010},
pages = {419--424},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DSN.2010.5544290},
doi = {10.1109/DSN.2010.5544290},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/HaverkortKRRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AljazzarKLL10,
author = {Husain Aljazzar and
Matthias Kuntz and
Florian Leitner{-}Fischer and
Stefan Leue},
editor = {Carlo Ghezzi and
Lars Grunske and
Raffaela Mirandola},
title = {Directed and heuristic counterexample generation for probabilistic
model checking: a comparative evaluation},
booktitle = {Proceedings of the 2010 {ICSE} Workshop on Quantitative Stochastic
Models in the Verification and Design of Software Systems, {QUOVADIS}
'10, May 3, 2010, Cape Town, South Africa},
pages = {25--32},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1808877.1808883},
doi = {10.1145/1808877.1808883},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AljazzarKLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AljazzarFGKLL09,
author = {Husain Aljazzar and
Manuel Fischer and
Lars Grunske and
Matthias Kuntz and
Florian Leitner{-}Fischer and
Stefan Leue},
title = {Safety Analysis of an Airbag System Using Probabilistic {FMEA} and
Probabilistic Counterexamples},
booktitle = {{QEST} 2009, Sixth International Conference on the Quantitative Evaluation
of Systems, Budapest, Hungary, 13-16 September 2009},
pages = {299--308},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/QEST.2009.8},
doi = {10.1109/QEST.2009.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AljazzarFGKLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BoudaliCHKS08,
author = {Hichem Boudali and
Pepijn Crouzen and
Boudewijn R. Haverkort and
Matthias Kuntz and
Mari{\"{e}}lle Stoelinga},
title = {Architectural dependability evaluation with Arcade},
booktitle = {The 38th Annual {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2008, June 24-27, 2008, Anchorage, Alaska,
USA, Proceedings},
pages = {512--521},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/DSN.2008.4630122},
doi = {10.1109/DSN.2008.4630122},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/BoudaliCHKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BoudaliCHKS08,
author = {Hichem Boudali and
Pepijn Crouzen and
Boudewijn R. Haverkort and
Matthias Kuntz and
Mari{\"{e}}lle Stoelinga},
title = {Arcade - {A} Formal, Extensible, Model-Based Dependability Evaluation
Framework},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {243--248},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.11},
doi = {10.1109/ICECCS.2008.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BoudaliCHKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlomHKP08,
author = {Stefan Blom and
Boudewijn R. Haverkort and
Matthias Kuntz and
Jaco van de Pol},
editor = {Ivana Cern{\'{a}} and
Gerald L{\"{u}}ttgen},
title = {Distributed Markovian Bisimulation Reduction aimed at {CSL} Model
Checking},
booktitle = {Proceedings of the 7th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March
29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {2},
pages = {35--50},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.012},
doi = {10.1016/J.ENTCS.2008.11.012},
timestamp = {Fri, 17 Feb 2023 11:16:39 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlomHKP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/KuntzFLMB07,
author = {Matthias Kuntz and
Gerrit Fiol and
Matthias Laemmlin and
Christian Meuer and
Dieter Bimberg},
title = {High-Speed Mode-Locked Quantum-Dot Lasers and Optical Amplifiers},
journal = {Proc. {IEEE}},
volume = {95},
number = {9},
pages = {1767--1778},
year = {2007},
url = {https://doi.org/10.1109/JPROC.2007.900949},
doi = {10.1109/JPROC.2007.900949},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/KuntzFLMB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BaierCHKS07,
author = {Christel Baier and
Lucia Cloth and
Boudewijn R. Haverkort and
Matthias Kuntz and
Markus Siegle},
title = {Model Checking Markov Chains with Actions and State Labels},
journal = {{IEEE} Trans. Software Eng.},
volume = {33},
number = {4},
pages = {209--224},
year = {2007},
url = {https://doi.org/10.1109/TSE.2007.36},
doi = {10.1109/TSE.2007.36},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BaierCHKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/KuntzH07,
author = {Matthias Kuntz and
Boudewijn R. Haverkort},
editor = {Katinka Wolter},
title = {Faster {SPDL} Model Checking Through Property-Driven State Space Generation},
booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
September 27-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4748},
pages = {80--96},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75211-0\_7},
doi = {10.1007/978-3-540-75211-0\_7},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/epew/KuntzH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Kuntz2006,
author = {Matthias Kuntz},
title = {Symbolic semantics and verification of stochastic process algebras},
school = {University of Erlangen-Nuremberg, Germany},
year = {2006},
url = {http://www.opus.ub.uni-erlangen.de/opus/volltexte/2006/332/index.html},
urn = {urn:nbn:de:bvb:29-opus-3329},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Kuntz2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/KuntzS06,
author = {Matthias Kuntz and
Markus Siegle},
editor = {Reinhard German and
Armin Heindl},
title = {{CASPA:} Symbolic model checking of stochastic systems},
booktitle = {Proceedings 13th {GI/ITG} Conference on Measuring, Modelling and Evaluation
of Computer and Communication Systems, {MMB} 2006, March 27-29, 2006,
N{\"{u}}rnberg, Germany},
pages = {465--468},
publisher = {{VDE} Verlag},
year = {2006},
timestamp = {Mon, 09 Dec 2013 17:20:14 +0100},
biburl = {https://dblp.org/rec/conf/mmb/KuntzS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/KuntzS06,
author = {Matthias Kuntz and
Markus Siegle},
editor = {Antti Valmari},
title = {Symbolic Model Checking of Stochastic Systems: Theory and Implementation},
booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
Austria, March 30 - April 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3925},
pages = {89--107},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691617\_6},
doi = {10.1007/11691617\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/KuntzS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mj/BimbergKL05,
author = {Dieter Bimberg and
Matthias Kuntz and
Matthias Laemmlin},
title = {Quantum dot photonic devices for lightwave communication},
journal = {Microelectron. J.},
volume = {36},
number = {3-6},
pages = {175--179},
year = {2005},
url = {https://doi.org/10.1016/j.mejo.2005.02.026},
doi = {10.1016/J.MEJO.2005.02.026},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mj/BimbergKL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BaierCHKS04,
author = {Christel Baier and
Lucia Cloth and
Boudewijn R. Haverkort and
Matthias Kuntz and
Markus Siegle},
title = {Model Checking Action- and State-Labelled Markov Chains},
booktitle = {2004 International Conference on Dependable Systems and Networks {(DSN}
2004), 28 June - 1 July 2004, Florence, Italy, Proceedings},
pages = {701--710},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/DSN.2004.1311941},
doi = {10.1109/DSN.2004.1311941},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/BaierCHKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KuntzSW04,
author = {Matthias Kuntz and
Markus Siegle and
Edith Werner},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Zakaria Maamar and
Fernando L. Pelayo and
Key Pousttchi and
Fernando Rubio},
title = {Symbolic Performance and Dependability Evaluation with the Tool {CASPA}},
booktitle = {Applying Formal Methods: Testing, Performance and M/ECommerce, {FORTE}
2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2,
2004},
series = {Lecture Notes in Computer Science},
volume = {3236},
pages = {293--307},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30233-9\_22},
doi = {10.1007/978-3-540-30233-9\_22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/KuntzSW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voss/KuntzL04,
author = {Matthias Kuntz and
Kai Lampka},
editor = {Christel Baier and
Boudewijn R. Haverkort and
Holger Hermanns and
Joost{-}Pieter Katoen and
Markus Siegle},
title = {Probabilistic Methods in State Space Analysis},
booktitle = {Validation of Stochastic Systems - {A} Guide to Current Research},
series = {Lecture Notes in Computer Science},
volume = {2925},
pages = {339--383},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24611-4\_10},
doi = {10.1007/978-3-540-24611-4\_10},
timestamp = {Sat, 30 Sep 2023 09:58:24 +0200},
biburl = {https://dblp.org/rec/conf/voss/KuntzL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/papm/KuntzS02,
author = {Matthias Kuntz and
Markus Siegle},
editor = {Holger Hermanns and
Roberto Segala},
title = {Deriving Symbolic Representations from Stochastic Process Algebras},
booktitle = {Process Algebra and Probabilistic Methods, Performance Modeling and
Verification, Second Joint International Workshop {PAPM-PROBMIV} 2002,
Copenhagen, Denmark, July 25-26, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2399},
pages = {188--206},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45605-8\_12},
doi = {10.1007/3-540-45605-8\_12},
timestamp = {Sat, 30 Sep 2023 09:54:28 +0200},
biburl = {https://dblp.org/rec/conf/papm/KuntzS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2024-04-24 22:50 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:
