Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Peter Gjøl Jensen
@article{DBLP:journals/scp/HasratJLS23,
author = {Imran Riaz Hasrat and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Jir{\'{\i}} Srba},
title = {A toolchain for domestic heat-pump control using Uppaal Stratego},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102987},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102987},
doi = {10.1016/J.SCICO.2023.102987},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HasratJLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JensenN23,
author = {Peter Gj{\o}l Jensen and
Thomas Neele},
title = {Tools and algorithms for the construction and analysis of systems:
a special issue on tool papers for {TACAS} 2021},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {2},
pages = {129--131},
year = {2023},
url = {https://doi.org/10.1007/s10009-023-00699-x},
doi = {10.1007/S10009-023-00699-X},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JensenN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/HasratJLS23,
author = {Imran Riaz Hasrat and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Jir{\'{\i}} Srba},
editor = {Alessandro Cimatti and
Laura Titolo},
title = {Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent
Heat Pump Control},
booktitle = {Formal Methods for Industrial Critical Systems - 28th International
Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14290},
pages = {113--130},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43681-9\_7},
doi = {10.1007/978-3-031-43681-9\_7},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/HasratJLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/JensenJL23,
author = {Nicolaj {\O}. Jensen and
Peter Gj{\o}l Jensen and
Kim G. Larsen},
editor = {Yi Li and
Sofi{\`{e}}ne Tahar},
title = {Dynamic Extrapolation in Extended Timed Automata},
booktitle = {Formal Methods and Software Engineering - 24th International Conference
on Formal Engineering Methods, {ICFEM} 2023, Brisbane, QLD, Australia,
November 21-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14308},
pages = {83--99},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-7584-6\_6},
doi = {10.1007/978-981-99-7584-6\_6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/JensenJL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/KristjansenKJTL23,
author = {Martin Kristjansen and
Abhijit Kulkarni and
Peter Gj{\o}l Jensen and
Remus Teodorescu and
Kim Guldstrand Larsen},
title = {Dual Balancing of SoC/SoT in Smart Batteries Using Reinforcement Learning
in Uppaal Stratego},
booktitle = {49th Annual Conference of the {IEEE} Industrial Electronics Society,
{IECON} 2023, Singapore, October 16-19, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IECON51785.2023.10311828},
doi = {10.1109/IECON51785.2023.10311828},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iecon/KristjansenKJTL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/JensenLSU23,
author = {Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Jir{\'{\i}} Srba and
Nikolaj Jensen Ulrik},
editor = {Georgiana Caltais and
Christian Schilling},
title = {Elimination of Detached Regions in Dependency Graph Verification},
booktitle = {Model Checking Software - 29th International Symposium, {SPIN} 2023,
Paris, France, April 26-27, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13872},
pages = {163--179},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-32157-3\_9},
doi = {10.1007/978-3-031-32157-3\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/JensenLSU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BrorholtJLLS23,
author = {Asger Horn Brorholt and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Florian Lorber and
Christian Schilling},
editor = {Bernhard Steffen},
title = {Shielded Reinforcement Learning for Hybrid Systems},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {33--54},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_3},
doi = {10.1007/978-3-031-46002-9\_3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BrorholtJLLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-14424,
author = {Asger Horn Brorholt and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Florian Lorber and
Christian Schilling},
title = {Shielded Reinforcement Learning for Hybrid Systems},
journal = {CoRR},
volume = {abs/2308.14424},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.14424},
doi = {10.48550/ARXIV.2308.14424},
eprinttype = {arXiv},
eprint = {2308.14424},
timestamp = {Fri, 01 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-14424.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BilgramJPST22,
author = {Alexander Bilgram and
Peter Gj{\o}l Jensen and
Thomas Pedersen and
Jir{\'{\i}} Srba and
Peter Haahr Taankvist},
title = {Methods for Efficient Unfolding of Colored Petri Nets},
journal = {Fundam. Informaticae},
volume = {189},
number = {3-4},
pages = {297--320},
year = {2022},
url = {https://doi.org/10.3233/FI-222162},
doi = {10.3233/FI-222162},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/BilgramJPST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GuJSEL22,
author = {Rong Gu and
Peter Gj{\o}l Jensen and
Cristina Seceleanu and
Eduard Enoiu and
Kristina Lundqvist},
title = {Correctness-guaranteed strategy synthesis and compression for multi-agent
autonomous systems},
journal = {Sci. Comput. Program.},
volume = {224},
pages = {102894},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2022.102894},
doi = {10.1016/J.SCICO.2022.102894},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GuJSEL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GuJPSEL22,
author = {Rong Gu and
Peter Gj{\o}l Jensen and
Danny B{\o}gsted Poulsen and
Cristina Seceleanu and
Eduard Enoiu and
Kristina Lundqvist},
title = {Verifiable strategy synthesis for multiple autonomous agents: a scalable
approach},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {3},
pages = {395--414},
year = {2022},
url = {https://doi.org/10.1007/s10009-022-00657-z},
doi = {10.1007/S10009-022-00657-Z},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/GuJPSEL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/DuijnJJKMSST22,
author = {Ingo van Duijn and
Peter Gj{\o}l Jensen and
Jesper Stenbjerg Jensen and
Troels Beck Kr{\o}gh and
Jonas Sand Madsen and
Stefan Schmid and
Jir{\'{\i}} Srba and
Marc Tom Thorgersen},
title = {Automata-Theoretic Approach to Verification of {MPLS} Networks Under
Link Failures},
journal = {{IEEE/ACM} Trans. Netw.},
volume = {30},
number = {2},
pages = {766--781},
year = {2022},
url = {https://doi.org/10.1109/TNET.2021.3126572},
doi = {10.1109/TNET.2021.3126572},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ton/DuijnJJKMSST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BoghJKLN22,
author = {Simon B{\o}gh and
Peter Gj{\o}l Jensen and
Martin Kristjansen and
Kim Guldstrand Larsen and
Ulrik Nyman},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Distributed Fleet Management in Noisy Environments via Model-Predictive
Control},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {565--573},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19843},
timestamp = {Wed, 20 Jul 2022 14:27:38 +0200},
biburl = {https://dblp.org/rec/conf/aips/BoghJKLN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/JensenSSS22,
author = {Peter Gj{\o}l Jensen and
Stefan Schmid and
Morten Konggaard Schou and
Jir{\'{\i}} Srba},
editor = {Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Zhilin Wu},
title = {{PDAAAL:} {A} Library for Reachability Analysis of Weighted Pushdown
Systems},
booktitle = {Automated Technology for Verification and Analysis - 20th International
Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13505},
pages = {225--230},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19992-9\_14},
doi = {10.1007/978-3-031-19992-9\_14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/JensenSSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GoordenJLSSZ22,
author = {Martijn A. Goorden and
Peter Gj{\o}l Jensen and
Kim G. Larsen and
Mihhail Samusev and
Jir{\'{\i}} Srba and
Guohan Zhao},
editor = {Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Zhilin Wu},
title = {{STOMPC:} Stochastic Model-Predictive Control with Uppaal Stratego},
booktitle = {Automated Technology for Verification and Analysis - 20th International
Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13505},
pages = {327--333},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19992-9\_21},
doi = {10.1007/978-3-031-19992-9\_21},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/GoordenJLSSZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JensenLM22,
author = {Peter Gj{\o}l Jensen and
Kim G. Larsen and
Marius Mikucionis},
editor = {Nils Jansen and
Mari{\"{e}}lle Stoelinga and
Petra van den Bos},
title = {Playing Wordle with Uppaal Stratego},
booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning
- Essays Dedicated to Frits Vaandrager on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13560},
pages = {283--305},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15629-8\_15},
doi = {10.1007/978-3-031-15629-8\_15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/JensenLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/JensenKLNMM22,
author = {Peter Gj{\o}l Jensen and
Andrej Kiviriga and
Kim Guldstrand Larsen and
Ulrik Nyman and
Adriana Mijacika and
Jeppe H{\o}iriis Mortensen},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marco Paolieri},
title = {Monte Carlo Tree Search for Priced Timed Automata},
booktitle = {Quantitative Evaluation of Systems - 19th International Conference,
{QEST} 2022, Warsaw, Poland, September 12-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13479},
pages = {381--398},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16336-4\_19},
doi = {10.1007/978-3-031-16336-4\_19},
timestamp = {Tue, 21 Mar 2023 20:54:44 +0100},
biburl = {https://dblp.org/rec/conf/qest/JensenKLNMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/HasratJLS22,
author = {Imran Riaz Hasrat and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Jir{\'{\i}} Srba},
editor = {Yamine A{\"{\i}}t Ameur and
Florin Craciun},
title = {End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling
and Uppaal Stratego},
booktitle = {Theoretical Aspects of Software Engineering - 16th International Symposium,
{TASE} 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13299},
pages = {363--380},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10363-6\_24},
doi = {10.1007/978-3-031-10363-6\_24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/HasratJLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/JensenSUV22,
author = {Peter Gj{\o}l Jensen and
Jir{\'{\i}} Srba and
Nikolaj Jensen Ulrik and
Simon Mejlby Virenfeldt},
editor = {Bernd Finkbeiner and
Thomas Wies},
title = {Automata-Driven Partial Order Reduction and Guided Search for {LTL}
Model Checking},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International
Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13182},
pages = {151--173},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94583-1\_8},
doi = {10.1007/978-3-030-94583-1\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/JensenSUV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/JensenSSS22,
author = {Peter Gj{\o}l Jensen and
Stefan Schmid and
Morten Konggaard Schou and
Jir{\'{\i}} Srba},
title = {Repeatability Package for "PDAAAL: {A} Library for Reachability
Analysis of Weighted Pushdown Systems" (Version 1)},
publisher = {Zenodo},
year = {2022},
month = aug,
howpublished = {\url{https://doi.org/10.5281/zenodo.6833494}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.6833494},
doi = {10.5281/ZENODO.6833494},
timestamp = {Fri, 28 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/JensenSSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-07039,
author = {Alexander Bilgram and
Peter Gj{\o}l Jensen and
Thomas Pedersen and
Jir{\'{\i}} Srba and
Peter Haahr Taankvist},
title = {Methods for Efficient Unfolding of Colored Petri Nets},
journal = {CoRR},
volume = {abs/2204.07039},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.07039},
doi = {10.48550/ARXIV.2204.07039},
eprinttype = {arXiv},
eprint = {2204.07039},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-07039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CassezJL21,
author = {Franck Cassez and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen},
title = {Verification and Parameter Synthesis for Real-Time Programs using
Refinement of Trace Abstraction},
journal = {Fundam. Informaticae},
volume = {178},
number = {1-2},
pages = {31--57},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-1997},
doi = {10.3233/FI-2021-1997},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CassezJL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BonnelandJLMS21,
author = {Frederik Meyer B{\o}nneland and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Marco Mu{\~{n}}iz and
Jir{\'{\i}} Srba},
title = {Stubborn Set Reduction for Two-Player Reachability Games},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {1},
year = {2021},
url = {https://lmcs.episciences.org/7278},
timestamp = {Tue, 20 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BonnelandJLMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HansenLLJP21,
author = {Ren{\'{e}} Rydhof Hansen and
Kim Guldstrand Larsen and
Axel Legay and
Peter Gj{\o}l Jensen and
Danny B{\o}gsted Poulsen},
title = {ADTLang: a programming language approach to attack defense trees},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {1},
pages = {89--104},
year = {2021},
url = {https://doi.org/10.1007/s10009-020-00593-w},
doi = {10.1007/S10009-020-00593-W},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HansenLLJP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DidriksenJJKLLS21,
author = {Martin Didriksen and
Peter Gj{\o}l Jensen and
Jonathan F. J{\o}nler and
Andrei{-}Ioan Katona and
Sangey D. L. Lama and
Frederik B. Lottrup and
Shahab Shajarat and
Jir{\'{\i}} Srba},
editor = {Didier Buchs and
Josep Carmona},
title = {Automatic Synthesis of Transiently Correct Network Updates via Petri
Games},
booktitle = {Application and Theory of Petri Nets and Concurrency - 42nd International
Conference, {PETRI} {NETS} 2021, Virtual Event, June 23-25, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12734},
pages = {118--137},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76983-3\_7},
doi = {10.1007/978-3-030-76983-3\_7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/DidriksenJJKLLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/JensenSSSVD21,
author = {Peter Gj{\o}l Jensen and
Stefan Schmid and
Morten Konggaard Schou and
Jir{\'{\i}} Srba and
Juan Vanerio and
Ingo van Duijn},
editor = {Zhe Hou and
Vijay Ganesh},
title = {Faster Pushdown Reachability Analysis with Applications in Network
Verification},
booktitle = {Automated Technology for Verification and Analysis - 19th International
Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12971},
pages = {170--186},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88885-5\_12},
doi = {10.1007/978-3-030-88885-5\_12},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/JensenSSSVD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BonnelandJLMS21,
author = {Frederik M. B{\o}nneland and
Peter Gj{\o}l Jensen and
Kim G. Larsen and
Marco Mu{\~{n}}iz and
Jir{\'{\i}} Srba},
editor = {Catalin Dima and
Mahsa Shirmohammadi},
title = {Stubborn Set Reduction for Timed Reachability and Safety Games},
booktitle = {Formal Modeling and Analysis of Timed Systems - 19th International
Conference, {FORMATS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12860},
pages = {32--49},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85037-1\_3},
doi = {10.1007/978-3-030-85037-1\_3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/BonnelandJLMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BilgramJPST21,
author = {Alexander Bilgram and
Peter Gj{\o}l Jensen and
Thomas Pedersen and
Jir{\'{\i}} Srba and
Jakob Haahr Taankvist},
editor = {Paul C. Bell and
Patrick Totzke and
Igor Potapov},
title = {Improvements in Unfolding of Colored Petri Nets},
booktitle = {Reachability Problems - 15th International Conference, {RP} 2021,
Liverpool, UK, October 25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13035},
pages = {69--84},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89716-1\_5},
doi = {10.1007/978-3-030-89716-1\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/BilgramJPST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/JensenSSSVD21,
author = {Peter Gj{\o}l Jensen and
Stefan Schmid and
Morten Konggaard Schou and
Jir{\'{\i}} Srba and
Juan Vanerio and
Ingo van Duijn},
title = {Repeatability Package for "Faster Pushdown Reachability Analysis
with Applications in Network Verification" (Version 1)},
publisher = {Zenodo},
year = {2021},
month = jun,
howpublished = {\url{https://doi.org/10.5281/zenodo.5005894}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.5005894},
doi = {10.5281/ZENODO.5005894},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/JensenSSSVD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/JensenK0SSS20,
author = {Peter Gj{\o}l Jensen and
Dan Kristiansen and
Stefan Schmid and
Morten Konggaard Schou and
Bernhard Clemens Schrenk and
Jir{\'{\i}} Srba},
editor = {Dongsu Han and
Anja Feldmann},
title = {AalWiNes: a fast and quantitative what-if analysis tool for {MPLS}
networks},
booktitle = {CoNEXT '20: The 16th International Conference on emerging Networking
EXperiments and Technologies, Barcelona, Spain, December, 2020},
pages = {474--481},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3386367.3431308},
doi = {10.1145/3386367.3431308},
timestamp = {Sat, 30 Sep 2023 09:37:43 +0200},
biburl = {https://dblp.org/rec/conf/conext/JensenK0SSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Jaeger0BLJ20,
author = {Manfred Jaeger and
Giorgio Bacci and
Giovanni Bacci and
Kim Guldstrand Larsen and
Peter Gj{\o}l Jensen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Approximating Euclidean by Imprecise Markov Decision Processes},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {275--289},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_15},
doi = {10.1007/978-3-030-61362-4\_15},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Jaeger0BLJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JensenJLMMP20,
author = {Peter Gj{\o}l Jensen and
Kenneth Yrke J{\o}rgensen and
Kim G. Larsen and
Marius Mikucionis and
Marco Mu{\~{n}}iz and
Danny B{\o}gsted Poulsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Fluid Model-Checking in {UPPAAL} for Covid-19},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {385--403},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_22},
doi = {10.1007/978-3-030-61362-4\_22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/JensenJLMMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-14923,
author = {Manfred Jaeger and
Giorgio Bacci and
Giovanni Bacci and
Kim Guldstrand Larsen and
Peter Gj{\o}l Jensen},
title = {Approximating Euclidean by Imprecise Markov Decision Processes},
journal = {CoRR},
volume = {abs/2006.14923},
year = {2020},
url = {https://arxiv.org/abs/2006.14923},
eprinttype = {arXiv},
eprint = {2006.14923},
timestamp = {Thu, 02 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-14923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-16688,
author = {Roderick Bloem and
Peter Gj{\o}l Jensen and
Bettina K{\"{o}}nighofer and
Kim Guldstrand Larsen and
Florian Lorber and
Alexander Palmisano},
title = {It's Time to Play Safe: Shield Synthesis for Timed Systems},
journal = {CoRR},
volume = {abs/2006.16688},
year = {2020},
url = {https://arxiv.org/abs/2006.16688},
eprinttype = {arXiv},
eprint = {2006.16688},
timestamp = {Thu, 02 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-16688.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-10539,
author = {Franck Cassez and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen},
title = {Verification and Parameter Synthesis for Real-Time Programs using
Refinement of Trace Abstraction},
journal = {CoRR},
volume = {abs/2007.10539},
year = {2020},
url = {https://arxiv.org/abs/2007.10539},
eprinttype = {arXiv},
eprint = {2007.10539},
timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-10539.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BonnelandDJJS19,
author = {Frederik M. B{\o}nneland and
Jakob Dyhr and
Peter Gj{\o}l Jensen and
Mads Johannsen and
Jir{\'{\i}} Srba},
title = {Stubborn versus structural reductions for Petri nets},
journal = {J. Log. Algebraic Methods Program.},
volume = {102},
pages = {46--63},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2018.09.002},
doi = {10.1016/J.JLAMP.2018.09.002},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BonnelandDJJS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/JaegerJLLST19,
author = {Manfred Jaeger and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Axel Legay and
Sean Sedwards and
Jakob Haahr Taankvist},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space
MDPs},
booktitle = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
pages = {81--97},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_5},
doi = {10.1007/978-3-030-31784-3\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/JaegerJLLST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BonnelandJLMS19,
author = {Frederik M. B{\o}nneland and
Peter Gj{\o}l Jensen and
Kim G. Larsen and
Marco Mu{\~{n}}iz and
Jir{\'{\i}} Srba},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {Partial Order Reduction for Reachability Games},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {23:1--23:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.23},
doi = {10.4230/LIPICS.CONCUR.2019.23},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/BonnelandJLMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AmparoreBCDGHHJ19,
author = {Elvio Gilberto Amparore and
Bernard Berthomieu and
Gianfranco Ciardo and
Silvano Dal{-}Zilio and
Francesco Gall{\`{a}} and
Lom{-}Messan Hillah and
Francis Hulin{-}Hubard and
Peter Gj{\o}l Jensen and
Lo{\"{\i}}g Jezequel and
Fabrice Kordon and
Didier Le Botlan and
Torsten Liebke and
Jeroen Meijer and
Andrew S. Miner and
Emmanuel Paviot{-}Adet and
Jir{\'{\i}} Srba and
Yann Thierry{-}Mieg and
Tom van Dijk and
Karsten Wolf},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {Presentation of the 9th Edition of the Model Checking Contest},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {50--68},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_4},
doi = {10.1007/978-3-030-17502-3\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AmparoreBCDGHHJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-09875,
author = {Frederik Meyer B{\o}nneland and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Marco Mu{\~{n}}iz and
Jir{\'{\i}} Srba},
title = {Stubborn Set Reduction for Two-Player Reachability Games},
journal = {CoRR},
volume = {abs/1912.09875},
year = {2019},
url = {http://arxiv.org/abs/1912.09875},
eprinttype = {arXiv},
eprint = {1912.09875},
timestamp = {Fri, 03 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-09875.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DalsgaardEFJJJK18,
author = {Andreas Engelbredt Dalsgaard and
S{\o}ren Enevoldsen and
Peter Fogh and
Lasse S. Jensen and
Peter Gj{\o}l Jensen and
Tobias Skovgaard Jepsen and
Isabella Kaufmann and
Kim G. Larsen and
S{\o}ren M. Nielsen and
Mads Chr. Olesen and
Samuel Pastva and
Jir{\'{\i}} Srba},
title = {A Distributed Fixed-Point Algorithm for Extended Dependency Graphs},
journal = {Fundam. Informaticae},
volume = {161},
number = {4},
pages = {351--381},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1707},
doi = {10.3233/FI-2018-1707},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DalsgaardEFJJJK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JensenLS18,
author = {Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Jir{\'{\i}} Srba},
title = {Discrete and continuous strategies for timed-arc Petri net games},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {5},
pages = {529--546},
year = {2018},
url = {https://doi.org/10.1007/s10009-017-0473-2},
doi = {10.1007/S10009-017-0473-2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/JensenLS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KordonGHPJHABBEJBLMSTPW18,
author = {Fabrice Kordon and
Hubert Garavel and
Lom{-}Messan Hillah and
Emmanuel Paviot{-}Adet and
Lo{\"{\i}}g Jezequel and
Francis Hulin{-}Hubard and
Elvio Gilberto Amparore and
Marco Beccuti and
Bernard Berthomieu and
Hugues Evrard and
Peter Gj{\o}l Jensen and
Didier Le Botlan and
Torsten Liebke and
Jeroen Meijer and
Jir{\'{\i}} Srba and
Yann Thierry{-}Mieg and
Jaco van de Pol and
Karsten Wolf},
title = {MCC'2017 - The Seventh Model Checking Contest},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {13},
pages = {181--209},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-58381-4\_9},
doi = {10.1007/978-3-662-58381-4\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/KordonGHPJHABBEJBLMSTPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BonnelandDJJS18,
author = {Frederik B{\o}nneland and
Jakob Dyhr and
Peter Gj{\o}l Jensen and
Mads Johannsen and
Jir{\'{\i}} Srba},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Simplification of {CTL} Formulae for Efficient Model Checking of Petri
Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {143--163},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_8},
doi = {10.1007/978-3-319-91268-4\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/BonnelandDJJS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BonnelandJLMS18,
author = {Frederik M. B{\o}nneland and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Marco Mu{\~{n}}iz and
Jir{\'{\i}} Srba},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed
Systems},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {527--546},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_28},
doi = {10.1007/978-3-319-96145-3\_28},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BonnelandJLMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CassezAJ17,
author = {Franck Cassez and
Pablo Gonz{\'{a}}lez de Aledo and
Peter Gj{\o}l Jensen},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {{WUPPAAL:} Computation of Worst-Case Execution-Time for Binary Programs
with {UPPAAL}},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {560--577},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_28},
doi = {10.1007/978-3-319-63121-9\_28},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CassezAJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/HansenJLLP17,
author = {Ren{\'{e}} Rydhof Hansen and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Axel Legay and
Danny B{\o}gsted Poulsen},
editor = {Peng Liu and
Sjouke Mauw and
Ketil St{\o}len},
title = {Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed
Automata},
booktitle = {Graphical Models for Security - 4th International Workshop, GraMSec
2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10744},
pages = {75--90},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74860-3\_5},
doi = {10.1007/978-3-319-74860-3\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/HansenJLLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/JensenLLN17,
author = {Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Axel Legay and
Ulrik Nyman},
title = {Integrating Tools: Co-simulation in {UPPAAL} Using {FMI-FMU}},
booktitle = {22nd International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2017, Fukuoka, Japan, November 5-8, 2017},
pages = {11--19},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICECCS.2017.33},
doi = {10.1109/ICECCS.2017.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/JensenLLN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/JensenLS17,
author = {Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Jir{\'{\i}} Srba},
editor = {Dang Van Hung and
Deepak Kapur},
title = {PTrie: Data Structure for Compressing and Storing Sets via Prefix
Sharing},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International
Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10580},
pages = {248--265},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67729-3\_15},
doi = {10.1007/978-3-319-67729-3\_15},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/JensenLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/CassezJL17,
author = {Franck Cassez and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen},
editor = {Matthew Hague and
Igor Potapov},
title = {Refinement of Trace Abstraction for Real-Time Programs},
booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
pages = {42--58},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8\_4},
doi = {10.1007/978-3-319-67089-8\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/CassezJL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LiJLLP17,
author = {Guangyuan Li and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Axel Legay and
Danny B{\o}gsted Poulsen},
editor = {Hakan Erdogmus and
Klaus Havelund},
title = {Practical controller synthesis for MTL\({}_{\mbox{0, {\(\infty\)}}}\)},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
2017},
pages = {102--111},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092282.3092303},
doi = {10.1145/3092282.3092303},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/LiJLLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/JensenLS16,
author = {Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Jir{\'{\i}} Srba},
editor = {Dragan Bosnacki and
Anton Wijs},
title = {Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization},
booktitle = {Model Checking Software - 23rd International Symposium, {SPIN} 2016,
Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 7-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9641},
pages = {129--146},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-32582-8\_9},
doi = {10.1007/978-3-319-32582-8\_9},
timestamp = {Tue, 12 Sep 2023 07:57:22 +0200},
biburl = {https://dblp.org/rec/conf/spin/JensenLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DavidJLMT15,
author = {Alexandre David and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Marius Mikucionis and
Jakob Haahr Taankvist},
editor = {Christel Baier and
Cesare Tinelli},
title = {Uppaal Stratego},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {206--211},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_16},
doi = {10.1007/978-3-662-46681-0\_16},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DavidJLMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DavidJLLLST14,
author = {Alexandre David and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Axel Legay and
Didier Lime and
Mathias Grund S{\o}rensen and
Jakob Haahr Taankvist},
editor = {Franck Cassez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {On Time with Minimal Expected Cost!},
booktitle = {Automated Technology for Verification and Analysis - 12th International
Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8837},
pages = {129--145},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11936-6\_10},
doi = {10.1007/978-3-319-11936-6\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/DavidJLLLST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/JensenLSST14,
author = {Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Jir{\'{\i}} Srba and
Mathias Grund S{\o}rensen and
Jakob Haahr Taankvist},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Memory Efficient Data Structures for Explicit Verification of Timed
Systems},
booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
TX, USA, April 29 - May 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8430},
pages = {307--312},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06200-6\_26},
doi = {10.1007/978-3-319-06200-6\_26},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/JensenLSST14.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 2024-04-25 05:41 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:
