Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marius Mikucionis
@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/isola/LarsenLMP22,
author = {Kim Guldstrand Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Importance Splitting in Uppaal},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {433--447},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_26},
doi = {10.1007/978-3-031-19759-8\_26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LarsenLMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GamatieSM21,
author = {Abdoulaye Gamati{\'{e}} and
Gilles Sassatelli and
Marius Mikucionis},
title = {Modeling and Analysis for Energy-Driven Computing using Statistical
Model-Checking},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2021, Grenoble, France, February 1-5, 2021},
pages = {980--985},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/DATE51398.2021.9474224},
doi = {10.23919/DATE51398.2021.9474224},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/GamatieSM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LarsenMMS20,
author = {Kim G. Larsen and
Marius Mikucionis and
Marco Mu{\~{n}}iz and
Jir{\'{\i}} Srba},
editor = {Dang Van Hung and
Oleg Sokolsky},
title = {Urgent Partial Order Reduction for Extended Timed Automata},
booktitle = {Automated Technology for Verification and Analysis - 18th International
Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12302},
pages = {179--195},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59152-6\_10},
doi = {10.1007/978-3-030-59152-6\_10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LarsenMMS20.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}
}
@incollection{DBLP:series/lncs/AlurGHLM19,
author = {Rajeev Alur and
Mirco Giacobbe and
Thomas A. Henzinger and
Kim G. Larsen and
Marius Mikucionis},
editor = {Bernhard Steffen and
Gerhard J. Woeginger},
title = {Continuous-Time Models for System Design and Analysis},
booktitle = {Computing and Software Science - State of the Art and Perspectives},
series = {Lecture Notes in Computer Science},
volume = {10000},
pages = {452--477},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-91908-9\_22},
doi = {10.1007/978-3-319-91908-9\_22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/AlurGHLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/LarsenCMT18,
author = {Kim Guldstrand Larsen and
Adrien Le Co{\"{e}}nt and
Marius Mikucionis and
Jakob Haahr Taankvist},
editor = {Roger D. Chamberlain and
Walid Taha and
Martin T{\"{o}}rngren},
title = {Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga},
booktitle = {Cyber Physical Systems. Model-Based Design - 8th International Workshop,
CyPhy 2018, and 14th International Workshop, {WESE} 2018, Turin, Italy,
October 4-5, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11615},
pages = {113--133},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-23703-5\_6},
doi = {10.1007/978-3-030-23703-5\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cyphy/LarsenCMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LarsenLMNN17,
author = {Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Brian Nielsen and
Ulrik Nyman},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Compositional Testing of Real-Time Systems},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {107--124},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_6},
doi = {10.1007/978-3-319-68270-9\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LarsenLMNN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BoudjadarDKLMNS16,
author = {Abdeldjalil Boudjadar and
Alexandre David and
Jin Hyun Kim and
Kim G. Larsen and
Marius Mikucionis and
Ulrik Nyman and
Arne Skou},
title = {Statistical and exact schedulability analysis of hierarchical scheduling
systems},
journal = {Sci. Comput. Program.},
volume = {127},
pages = {103--130},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.05.008},
doi = {10.1016/J.SCICO.2016.05.008},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BoudjadarDKLMNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/AgesenLMMOPSS16,
author = {Mads Kronborg Agesen and
Kim Guldstrand Larsen and
Marius Mikucionis and
Marco Mu{\~{n}}iz and
Petur Olsen and
Thomas Pedersen and
Jir{\'{\i}} Srba and
Arne Skou},
title = {Toolchain for user-centered intelligent floor heating control},
booktitle = {{IECON} 2016 - 42nd Annual Conference of the {IEEE} Industrial Electronics
Society, Florence, Italy, October 23-26, 2016},
pages = {5296--5301},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/IECON.2016.7794040},
doi = {10.1109/IECON.2016.7794040},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/AgesenLMMOPSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/JegourelLLMPS16,
author = {Cyrille J{\'{e}}gourel and
Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen and
Sean Sedwards},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Importance Sampling for Stochastic Timed Automata},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {163--178},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_11},
doi = {10.1007/978-3-319-47677-3\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/JegourelLLMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LarsenMMST16,
author = {Kim G. Larsen and
Marius Mikucionis and
Marco Mu{\~{n}}iz and
Jir{\'{\i}} Srba and
Jakob Haahr Taankvist},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Online and Compositional Learning of Controllers with Application
to Floor Heating},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {244--259},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_14},
doi = {10.1007/978-3-662-49674-9\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LarsenMMST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BoudjadarDKLMNS15,
author = {Abdeldjalil Boudjadar and
Alexandre David and
Jin Hyun Kim and
Kim G. Larsen and
Marius Mikucionis and
Ulrik Nyman and
Arne Skou},
title = {A reconfigurable framework for compositional schedulability and power
analysis of hierarchical scheduling systems with frequency scaling},
journal = {Sci. Comput. Program.},
volume = {113},
pages = {236--260},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.10.003},
doi = {10.1016/J.SCICO.2015.10.003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BoudjadarDKLMNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DavidLLM15,
author = {Alexandre David and
Kim Guldstrand Larsen and
Axel Legay and
Marius Mikucionis},
title = {Schedulability of Herschel revisited using statistical model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {2},
pages = {187--199},
year = {2015},
url = {https://doi.org/10.1007/s10009-014-0331-4},
doi = {10.1007/S10009-014-0331-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DavidLLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DavidLLMPS15,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen and
Sean Sedwards},
title = {Statistical model checking for biological systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {3},
pages = {351--367},
year = {2015},
url = {https://doi.org/10.1007/s10009-014-0323-4},
doi = {10.1007/S10009-014-0323-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DavidLLMPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DavidLLMP15,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen},
title = {Uppaal {SMC} tutorial},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {4},
pages = {397--415},
year = {2015},
url = {https://doi.org/10.1007/s10009-014-0361-y},
doi = {10.1007/S10009-014-0361-Y},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DavidLLMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LarsenMT15,
author = {Kim Guldstrand Larsen and
Marius Mikucionis and
Jakob Haahr Taankvist},
editor = {Roland Meyer and
Andr{\'{e}} Platzer and
Heike Wehrheim},
title = {Safe and Optimal Adaptive Cruise Control},
booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger
Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany,
September 8-9, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9360},
pages = {260--277},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23506-6\_17},
doi = {10.1007/978-3-319-23506-6\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LarsenMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/KimBNMLSLP15,
author = {Jin Hyun Kim and
Abdeldjalil Boudjadar and
Ulrik Nyman and
Marius Mikucionis and
Kim G. Larsen and
Arne Skou and
Insup Lee and
Linh Thi Xuan Phan},
editor = {Philippe Kruchten and
Steffen Becker and
Jean{-}Guy Schneider},
title = {Quantitative Schedulability Analysis of Continuous Probability Tasks
in a Hierarchical Context},
booktitle = {Proceedings of the 18th International {ACM} {SIGSOFT} Symposium on
Component-Based Software Engineering, {CBSE} 2015, Montreal, QC, Canada,
May 4-8, 2015},
pages = {91--100},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737166.2737170},
doi = {10.1145/2737166.2737170},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cbse/KimBNMLSLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/KimLNMO15,
author = {Jin Hyun Kim and
Kim G. Larsen and
Brian Nielsen and
Marius Mikucionis and
Petur Olsen},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Matthias G{\"{u}}demann},
title = {Formal Analysis and Testing of Real-Time Automotive Systems Using
{UPPAAL} Tools},
booktitle = {Formal Methods for Industrial Critical Systems - 20th International
Workshop, {FMICS} 2015, Oslo, Norway, June 22-23, 2015 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9128},
pages = {47--61},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19458-5\_4},
doi = {10.1007/978-3-319-19458-5\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/KimLNMO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/KimLLMN15,
author = {Jin Hyun Kim and
Axel Legay and
Kim Guldstrand Larsen and
Marius Mikucionis and
Brian Nielsen},
editor = {Nir Piterman},
title = {Resource-Parameterized Timing Analysis of Real-Time Systems},
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 = {190--205},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1\_12},
doi = {10.1007/978-3-319-26287-1\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/KimLLMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BoudjadarKDLMNS15,
author = {Abdeldjalil Boudjadar and
Jin Hyun Kim and
Alexandre David and
Kim G. Larsen and
Marius Mikucionis and
Ulrik Nyman and
Arne Skou and
Insup Lee and
Linh Thi Xuan Phan},
title = {Flexible Framework for Statistical Schedulability Analysis of Probabilistic
Sporadic Tasks},
booktitle = {{IEEE} 18th International Symposium on Real-Time Distributed Computing,
{ISORC} 2015, Auckland, New Zealand, 13-17 April, 2015},
pages = {74--83},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISORC.2015.21},
doi = {10.1109/ISORC.2015.21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/BoudjadarKDLMNS15.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/facs2/BoudjadarDKLMNS14,
author = {Abdeldjalil Boudjadar and
Alexandre David and
Jin Hyun Kim and
Kim Guldstrand Larsen and
Marius Mikucionis and
Ulrik Nyman and
Arne Skou},
editor = {Ivan Lanese and
Eric Madelaine},
title = {Widening the Schedulability of Hierarchical Scheduling Systems},
booktitle = {Formal Aspects of Component Software - 11th International Symposium,
{FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8997},
pages = {209--227},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15317-9\_14},
doi = {10.1007/978-3-319-15317-9\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BoudjadarDKLMNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/MarinescuKMSLD14,
author = {Raluca Marinescu and
Henrik Kaijser and
Marius Mikucionis and
Cristina Seceleanu and
Henrik L{\"{o}}nn and
Alexandre David},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Analyzing Industrial Architectural Models by Simulation and Model-Checking},
booktitle = {Formal Techniques for Safety-Critical Systems - Third International
Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {476},
pages = {189--205},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17581-2\_13},
doi = {10.1007/978-3-319-17581-2\_13},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/MarinescuKMSLD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/BoudjadarDKLMNS14,
author = {Abdeldjalil Boudjadar and
Alexandre David and
Jin Hyun Kim and
Kim G. Larsen and
Marius Mikucionis and
Ulrik Nyman and
Arne Skou},
title = {Degree of Schedulability of Mixed-Criticality Real-Time Systems with
Probabilistic Sporadic Tasks},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {126--130},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.27},
doi = {10.1109/TASE.2014.27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/BoudjadarDKLMNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BoudjadarDKLMNS13,
author = {Abdeldjalil Boudjadar and
Alexandre David and
Jin Hyun Kim and
Kim Guldstrand Larsen and
Marius Mikucionis and
Ulrik Nyman and
Arne Skou},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Zhiming Liu and
Jinyun Xue},
title = {Hierarchical Scheduling Framework Based on Compositional Analysis
Using Uppaal},
booktitle = {Formal Aspects of Component Software - 10th International Symposium,
{FACS} 2013, Nanchang, China, October 27-29, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8348},
pages = {61--78},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-07602-7\_6},
doi = {10.1007/978-3-319-07602-7\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BoudjadarDKLMNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DavidDLLM13,
author = {Alexandre David and
Dehui Du and
Kim Guldstrand Larsen and
Axel Legay and
Marius Mikucionis},
editor = {Guillaume Brat and
Neha Rungta and
Arnaud Venet},
title = {Optimizing Control Strategy Using Statistical Model Checking},
booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
Field, CA, USA, May 14-16, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7871},
pages = {352--367},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38088-4\_24},
doi = {10.1007/978-3-642-38088-4\_24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/DavidDLLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/DavidLMNR13,
author = {Alexandre David and
Kim G. Larsen and
Marius Mikucionis and
Omer Nguena{-}Timo and
Antoine Rollet},
editor = {H{\"{u}}sn{\"{u}} Yenig{\"{u}}n and
Cemal Yilmaz and
Andreas Ulrich},
title = {Remote Testing of Timed Specifications},
booktitle = {Testing Software and Systems - 25th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2013, Istanbul, Turkey, November 13-15, 2013,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8254},
pages = {65--81},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41707-8\_5},
doi = {10.1007/978-3-642-41707-8\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/DavidLMNR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/DavidDLMS12,
author = {Alexandre David and
Dehui Du and
Kim G. Larsen and
Marius Mikucionis and
Arne Skou},
title = {An evaluation framework for energy aware buildings using statistical
model checking},
journal = {Sci. China Inf. Sci.},
volume = {55},
number = {12},
pages = {2694--2707},
year = {2012},
url = {https://doi.org/10.1007/s11432-012-4742-0},
doi = {10.1007/S11432-012-4742-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chinaf/DavidDLMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DavidLLM12,
author = {Alexandre David and
Kim Guldstrand Larsen and
Axel Legay and
Marius Mikucionis},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Schedulability of Herschel-Planck Revisited Using Statistical Model
Checking},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Applications and Case Studies - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7610},
pages = {293--307},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34032-1\_28},
doi = {10.1007/978-3-642-34032-1\_28},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/DavidLLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DavidLLMPS12,
author = {Alexandre David and
Kim Guldstrand Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen and
Sean Sedwards},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Runtime Verification of Biological Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {388--404},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_29},
doi = {10.1007/978-3-642-34026-0\_29},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/DavidLLMPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BulychevDLLMP12,
author = {Peter E. Bulychev and
Alexandre David and
Kim Guldstrand Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Checking and Distributing Statistical Model Checking},
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 = {449--463},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_39},
doi = {10.1007/978-3-642-28891-3\_39},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BulychevDLLMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-4506,
author = {Peter E. Bulychev and
Alexandre David and
Kim G. Larsen and
Axel Legay and
Marius Mikucionis},
editor = {Johannes Reich and
Bernd Finkbeiner},
title = {Computing Nash Equilibrium in Wireless Ad Hoc Networks: {A} Simulation-Based
Approach},
booktitle = {Proceedings Second International Workshop on Interactions, Games and
Protocols, {IWIGP} 2012, Tallinn, Estonia, 25th March 2012},
series = {{EPTCS}},
volume = {78},
pages = {1--14},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.78.1},
doi = {10.4204/EPTCS.78.1},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-4506.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1207-1272,
author = {Peter E. Bulychev and
Alexandre David and
Kim Guldstrand Larsen and
Marius Mikucionis and
Danny B{\o}gsted Poulsen and
Axel Legay and
Zheng Wang},
editor = {Herbert Wiklicky and
Mieke Massink},
title = {{UPPAAL-SMC:} Statistical Model Checking for Priced Timed Automata},
booktitle = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
series = {{EPTCS}},
volume = {85},
pages = {1--16},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.85.1},
doi = {10.4204/EPTCS.85.1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-1272.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-3856,
author = {Alexandre David and
Dehui Du and
Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen and
Sean Sedwards},
editor = {Ezio Bartocci and
Luca Bortolussi},
title = {Statistical Model Checking for Stochastic Hybrid Systems},
booktitle = {Proceedings First International Workshop on Hybrid Systems and Biology,
{HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
series = {{EPTCS}},
volume = {92},
pages = {122--136},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.92.9},
doi = {10.4204/EPTCS.92.9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-3856.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DavidLLMW11,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Zheng Wang},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Time for Statistical Model Checking of Real-Time Systems},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {349--355},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_27},
doi = {10.1007/978-3-642-22110-1\_27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DavidLLMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DavidLLMPVW11,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen and
Jonas van Vliet and
Zheng Wang},
editor = {Uli Fahrenberg and
Stavros Tripakis},
title = {Statistical Model Checking for Networks of Priced Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 9th International
Conference, {FORMATS} 2011, Aalborg, Denmark, September 21-23, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6919},
pages = {80--96},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24310-3\_7},
doi = {10.1007/978-3-642-24310-3\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/DavidLLMPVW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/FrehseLMN11,
author = {Goran Frehse and
Kim G. Larsen and
Marius Mikucionis and
Brian Nielsen},
editor = {Burkhart Wolff and
Fatiha Za{\"{\i}}di},
title = {Monitoring Dynamical Signals While Testing Timed Aspects of a System},
booktitle = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7019},
pages = {115--130},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24580-0\_9},
doi = {10.1007/978-3-642-24580-0\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/FrehseLMN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-0370,
author = {Peter E. Bulychev and
Alexandre David and
Kim Guldstrand Larsen and
Marius Mikucionis and
Axel Legay},
editor = {Jiri Barnat and
Keijo Heljanko},
title = {Distributed Parametric and Statistical Model Checking},
booktitle = {Proceedings 10th International Workshop on Parallel and Distributed
Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
2011},
series = {{EPTCS}},
volume = {72},
pages = {30--42},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.72.4},
doi = {10.4204/EPTCS.72.4},
timestamp = {Fri, 09 Apr 2021 18:27:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-0370.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-3961,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen and
Jonas van Vliet and
Zheng Wang},
title = {Stochastic Semantics and Statistical Model Checking for Networks of
Priced Timed Automata},
journal = {CoRR},
volume = {abs/1106.3961},
year = {2011},
url = {http://arxiv.org/abs/1106.3961},
eprinttype = {arXiv},
eprint = {1106.3961},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-3961.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DavidLLMN10,
author = {Alexandre David and
Kim Guldstrand Larsen and
Shuhao Li and
Marius Mikucionis and
Brian Nielsen},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Testing Real-Time Systems under Uncertainty},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {352--371},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_19},
doi = {10.1007/978-3-642-25271-6\_19},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DavidLLMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MikucionisLRNSPPH10,
author = {Marius Mikucionis and
Kim Guldstrand Larsen and
Jacob Illum Rasmussen and
Brian Nielsen and
Arne Skou and
Steen Ulrik Palm and
Jan Storbank Pedersen and
Poul Hougaard},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Schedulability Analysis Using Uppaal: Herschel-Planck Case Study},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {175--190},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_21},
doi = {10.1007/978-3-642-16561-0\_21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MikucionisLRNSPPH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fortest/HesselLMNPS08,
author = {Anders Hessel and
Kim Guldstrand Larsen and
Marius Mikucionis and
Brian Nielsen and
Paul Pettersson and
Arne Skou},
editor = {Robert M. Hierons and
Jonathan P. Bowen and
Mark Harman},
title = {Testing Real-Time Systems Using {UPPAAL}},
booktitle = {Formal Methods and Testing, An Outcome of the {FORTEST} Network, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4949},
pages = {77--117},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78917-8\_3},
doi = {10.1007/978-3-540-78917-8\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fortest/HesselLMNPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/LarsenMNS05,
author = {Kim Guldstrand Larsen and
Marius Mikucionis and
Brian Nielsen and
Arne Skou},
editor = {Wayne H. Wolf},
title = {Testing real-time embedded software using {UPPAAL-TRON:} an industrial
case study},
booktitle = {{EMSOFT} 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th {ACM}
International Conference On Embedded Software, Proceedings},
pages = {299--306},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086228.1086283},
doi = {10.1145/1086228.1086283},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/LarsenMNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/LarsenMN04,
author = {Kim Guldstrand Larsen and
Marius Mikucionis and
Brian Nielsen},
editor = {Jens Grabowski and
Brian Nielsen},
title = {Online Testing of Real-time Systems Using Uppaal},
booktitle = {Formal Approaches to Software Testing, 4th International Workshop,
{FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3395},
pages = {79--94},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31848-4\_6},
doi = {10.1007/978-3-540-31848-4\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fates/LarsenMN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MikucionisLN04,
author = {Marius Mikucionis and
Kim Guldstrand Larsen and
Brian Nielsen},
title = {{T-UPPAAL:} Online Model-based Testing of Real-Time Systems},
booktitle = {19th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2004), 20-25 September 2004, Linz, Austria},
pages = {396--397},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10059},
doi = {10.1109/ASE.2004.10059},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MikucionisLN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LarsenMN04,
author = {Kim Guldstrand Larsen and
Marius Mikucionis and
Brian Nielsen},
editor = {Ed Brinksma and
Wolfgang Grieskamp and
Jan Tretmans},
title = {Online Testing of Real-Time Systems Using {UPPAAL:} Status and Future
Work},
booktitle = {Perspectives of Model-Based Testing, 5.-10. September 2004},
series = {Dagstuhl Seminar Proceedings},
volume = {04371},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/326},
timestamp = {Thu, 10 Jun 2021 13:02:10 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LarsenMN04.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 01:55 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:
