default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/birthday/jonsson2021.bht:"
download as .bib file
@inproceedings{DBLP:conf/birthday/0001DLM21,
author = {Giovanni Bacci and
Beno{\^{\i}}t Delahaye and
Kim G. Larsen and
Anders Mariegaard},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {Quantitative Analysis of Interval Markov Chains},
booktitle = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
pages = {57--77},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7\_4},
doi = {10.1007/978-3-030-91384-7\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/0001DLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Abdulla21,
author = {Parosh Aziz Abdulla},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {Regular Model Checking: Evolution and Perspectives},
booktitle = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
pages = {78--96},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7\_5},
doi = {10.1007/978-3-030-91384-7\_5},
timestamp = {Tue, 11 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Abdulla21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Abdullah021,
author = {Jakaria Abdullah and
Wang Yi},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {Cause-Effect Reaction Latency in Real-Time Systems},
booktitle = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
pages = {41--56},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7\_3},
doi = {10.1007/978-3-030-91384-7\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Abdullah021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DierlH21,
author = {Simon Dierl and
Falk Howar},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {A Taxonomy and Reductions for Common Register Automata Formalisms},
booktitle = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
pages = {186--218},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7\_10},
doi = {10.1007/978-3-030-91384-7\_10},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/DierlH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FrohmeS21a,
author = {Markus Frohme and
Bernhard Steffen},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {Never-Stop Context-Free Learning},
booktitle = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
pages = {164--185},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7\_9},
doi = {10.1007/978-3-030-91384-7\_9},
timestamp = {Tue, 11 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/FrohmeS21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GiesekingO21,
author = {Manuel Gieseking and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {High-Level Representation of Benchmark Families for Petri Games},
booktitle = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
pages = {115--137},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7\_7},
doi = {10.1007/978-3-030-91384-7\_7},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/GiesekingO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LinR21,
author = {Anthony W. Lin and
Philipp R{\"{u}}mmer},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {Regular Model Checking Revisited},
booktitle = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
pages = {97--114},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7\_6},
doi = {10.1007/978-3-030-91384-7\_6},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/LinR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MargariaS21,
author = {Tiziana Margaria and
Alexander Schieweck},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {Towards Engineering Digital Twins by Active Behaviour Mining},
booktitle = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
pages = {138--163},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7\_8},
doi = {10.1007/978-3-030-91384-7\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/MargariaS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OlderogS021,
author = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {Model Checking, Synthesis, and Learning},
booktitle = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
pages = {1--7},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7\_1},
doi = {10.1007/978-3-030-91384-7\_1},
timestamp = {Tue, 11 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/OlderogS021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/TsayV21,
author = {Yih{-}Kuen Tsay and
Moshe Y. Vardi},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {From Linear Temporal Logics to B{\"{u}}chi Automata: The Early
and Simple Principle},
booktitle = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
pages = {8--40},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7\_2},
doi = {10.1007/978-3-030-91384-7\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/TsayV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2021jonsson,
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7},
doi = {10.1007/978-3-030-91384-7},
isbn = {978-3-030-91383-0},
timestamp = {Tue, 11 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/2021jonsson.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.
retrieved on 2025-01-06 10:05 CET from data curated 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:
