Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ulrik Nyman
@article{DBLP:journals/tie/NovakGNSB23,
author = {Mateja Novak and
Iwona Grobelna and
Ulrik Nyman and
Pawel Szczesniak and
Frede Blaabjerg},
title = {Modular Modeling and Statistical Validation for Grid-Connected FS-MPC-Controlled
Matrix Converters},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {70},
number = {9},
pages = {8613--8623},
year = {2023},
url = {https://doi.org/10.1109/TIE.2022.3206699},
doi = {10.1109/TIE.2022.3206699},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/NovakGNSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/RibeiroLNLB23,
author = {Leandro Batista Ribeiro and
Florian Lorber and
Ulrik Nyman and
Kim Guldstrand Larsen and
Marcel Baunach},
editor = {Leen Lambers and
Sebasti{\'{a}}n Uchitel},
title = {A Modeling Concept for Formal Verification of OS-Based Compositional
Software},
booktitle = {Fundamental Approaches to Software Engineering - 26th International
Conference, {FASE} 2023, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2023, Paris, France, April
22-27, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13991},
pages = {26--46},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30826-0\_2},
doi = {10.1007/978-3-031-30826-0\_2},
timestamp = {Sat, 13 May 2023 01:07:19 +0200},
biburl = {https://dblp.org/rec/conf/fase/RibeiroLNLB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KivirigaLNN23,
author = {Andrej Kiviriga and
Kim Guldstrand Larsen and
Dejan Nickovic and
Ulrik Nyman},
editor = {Laure Petrucci and
Jeremy Sproston},
title = {Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 21st International
Conference, {FORMATS} 2023, Antwerp, Belgium, September 19-21, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14138},
pages = {141--157},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42626-1\_9},
doi = {10.1007/978-3-031-42626-1\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/KivirigaLNN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-04529,
author = {Martijn A. Goorden and
Kim G. Larsen and
Axel Legay and
Florian Lorber and
Ulrik Nyman and
Andrzej Wasowski},
title = {Timed {I/O} Automata: It is never too late to complete your timed
specification theory},
journal = {CoRR},
volume = {abs/2302.04529},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.04529},
doi = {10.48550/ARXIV.2302.04529},
eprinttype = {arXiv},
eprint = {2302.04529},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-04529.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KivirigaLN22,
author = {Andrej Kiviriga and
Kim Guldstrand Larsen and
Ulrik Nyman},
title = {Randomized reachability analysis in {UPPAAL:} fast error detection
in timed systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {6},
pages = {1025--1042},
year = {2022},
url = {https://doi.org/10.1007/s10009-022-00681-z},
doi = {10.1007/S10009-022-00681-Z},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/KivirigaLN22.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/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}
}
@article{DBLP:journals/sttt/HanZNN21,
author = {Pujie Han and
Zhengjun Zhai and
Brian Nielsen and
Ulrik Nyman},
title = {Model-based optimization of {ARINC-653} partition scheduling},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {5},
pages = {721--740},
year = {2021},
url = {https://doi.org/10.1007/s10009-020-00597-6},
doi = {10.1007/S10009-020-00597-6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HanZNN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/KivirigaLN21,
author = {Andrej Kiviriga and
Kim Guldstrand Larsen and
Ulrik Nyman},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Randomized Reachability Analysis in Uppaal: Fast Error Detection in
Timed Systems},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {149--166},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_9},
doi = {10.1007/978-3-030-85248-1\_9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/KivirigaLN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/KivirigaLN20,
author = {Andrej Kiviriga and
Kim Guldstrand Larsen and
Ulrik Nyman},
editor = {Jun Pang and
Lijun Zhang},
title = {Randomized Refinement Checking of Timed {I/O} Automata},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
24-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12153},
pages = {70--88},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62822-2\_5},
doi = {10.1007/978-3-030-62822-2\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/KivirigaLN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-05442,
author = {Jalil Boudjadar and
Saravanan Ramanathan and
Arvind Easwaran and
Ulrik Nyman},
title = {Combining Task-level and System-level Scheduling Modes for Mixed Criticality
Systems},
journal = {CoRR},
volume = {abs/2003.05442},
year = {2020},
url = {https://arxiv.org/abs/2003.05442},
eprinttype = {arXiv},
eprint = {2003.05442},
timestamp = {Tue, 17 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-05442.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/HanZNNK19,
author = {Pujie Han and
Zhengjun Zhai and
Brian Nielsen and
Ulrik Nyman and
Martin Kristjansen},
title = {Schedulability Analysis of Distributed Multicore Avionics Systems
with {UPPAAL}},
journal = {J. Aerosp. Inf. Syst.},
volume = {16},
number = {11},
pages = {473--499},
year = {2019},
url = {https://doi.org/10.2514/1.i010715},
doi = {10.2514/1.I010715},
timestamp = {Fri, 29 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacic/HanZNNK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/NovakNDB19,
author = {Mateja Novak and
Ulrik Nyman and
Tomislav Dragicevic and
Frede Blaabjerg},
title = {Analytical Design and Performance Validation of Finite Set {MPC} Regulated
Power Converters},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {66},
number = {3},
pages = {2004--2014},
year = {2019},
url = {https://doi.org/10.1109/TIE.2018.2838073},
doi = {10.1109/TIE.2018.2838073},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/NovakNDB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/BoudjadarREN19,
author = {Jalil Boudjadar and
Saravanan Ramanathan and
Arvind Easwaran and
Ulrik Nyman},
editor = {Floriano De Rango and
Carlos T. Calafate and
Miroslav Vozn{\'{a}}k and
Alfredo Garro and
Mauro Tropea},
title = {Combining Task-level and System-level Scheduling Modes for Mixed Criticality
Systems},
booktitle = {23rd {IEEE/ACM} International Symposium on Distributed Simulation
and Real Time Applications {DS-RT} 2019, Cosenza, Italy, October 7-9,
2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/DS-RT47707.2019.8958666},
doi = {10.1109/DS-RT47707.2019.8958666},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsrt/BoudjadarREN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BoudjadarKPLLN18,
author = {Jalil Boudjadar and
Jin Hyun Kim and
Linh Thi Xuan Phan and
Insup Lee and
Kim G. Larsen and
Ulrik Nyman},
title = {Generic Formal Framework for Compositional Analysis of Hierarchical
Scheduling Systems},
booktitle = {21st {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2018, Singapore, Singapore, May 29-31, 2018},
pages = {51--58},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ISORC.2018.00015},
doi = {10.1109/ISORC.2018.00015},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/BoudjadarKPLLN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1807-11570,
author = {Pujie Han and
Zhengjun Zhai and
Brian Nielsen and
Ulrik Nyman},
editor = {Simon Bliudze and
Saddek Bensalem},
title = {A Compositional Approach for Schedulability Analysis of Distributed
Avionics Systems},
booktitle = {Proceedings of the 1st International Workshop on Methods and Tools
for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece,
15th April 2018},
series = {{EPTCS}},
volume = {272},
pages = {39--51},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.272.4},
doi = {10.4204/EPTCS.272.4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-11570.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03889,
author = {Tobias R. Gundersen and
Florian Lorber and
Ulrik Nyman and
Christian Ovesen},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Effortless Fault Localisation: Conformance Testing of Real-Time Systems
in Ecdar},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {147--160},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.11},
doi = {10.4204/EPTCS.277.11},
timestamp = {Wed, 07 Dec 2022 23:00:49 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03889.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-11050,
author = {Pujie Han and
Zhengjun Zhai and
Brian Nielsen and
Ulrik Nyman},
editor = {John P. Gallagher and
Rob van Glabbeek and
Wendelin Serwe},
title = {A Modeling Framework for Schedulability Analysis of Distributed Avionics
Systems},
booktitle = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
and Sixth International Workshop on Verification and Program Transformation,
MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
series = {{EPTCS}},
volume = {268},
pages = {150--168},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.268.5},
doi = {10.4204/EPTCS.268.5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-11050.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}
}
@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/icst/LarsenLNN17,
author = {Kim G. Larsen and
Florian Lorber and
Brian Nielsen and
Ulrik Nyman},
title = {Mutation-Based Test-Case Generation with Ecdar},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
13-17, 2017},
pages = {319--328},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSTW.2017.60},
doi = {10.1109/ICSTW.2017.60},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/LarsenLNN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/SugumarSDNLB17,
author = {Gayathri Sugumar and
Rajasekar Selvamuthukumaran and
Tomislav Dragicevic and
Ulrik Nyman and
Kim G. Larsen and
Frede Blaabjerg},
title = {Formal validation of supervisory energy management systems for microgrids},
booktitle = {{IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics
Society, Beijing, China, October 29 - November 1, 2017},
pages = {1154--1159},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IECON.2017.8216197},
doi = {10.1109/IECON.2017.8216197},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/SugumarSDNLB17.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}
}
@article{DBLP:journals/sigbed/Larsen16,
author = {Jin Hyun Kim and
Axel Legay and
Louis{-}Marie Traonouez and
Abdeldjalil Boudjadar and
Ulrik Nyman and
Kim G. Larsen and
Insup Lee and
Jin{-}Young Choi},
title = {Optimizing the resource requirements of hierarchical scheduling systems},
journal = {{SIGBED} Rev.},
volume = {13},
number = {3},
pages = {41--48},
year = {2016},
url = {https://doi.org/10.1145/2983185.2983192},
doi = {10.1145/2983185.2983192},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigbed/Larsen16.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/DavidLLNTW15,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Ulrik Nyman and
Louis{-}Marie Traonouez and
Andrzej Wasowski},
title = {Real-time specifications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {1},
pages = {17--45},
year = {2015},
url = {https://doi.org/10.1007/s10009-013-0286-x},
doi = {10.1007/S10009-013-0286-X},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/DavidLLNTW15.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/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/nordsec/PedersenSLNH15,
author = {Martin Leth Pedersen and
Michael Hedegaard S{\o}rensen and
Daniel Lux and
Ulrik Nyman and
Ren{\'{e}} Rydhof Hansen},
editor = {Sonja Buchegger and
Mads Dam},
title = {The Timed Decentralised Label Model},
booktitle = {Secure {IT} Systems, 20th Nordic Conference, NordSec 2015, Stockholm,
Sweden, October 19-21, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9417},
pages = {27--43},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26502-5\_3},
doi = {10.1007/978-3-319-26502-5\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nordsec/PedersenSLNH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BauerLLNW14,
author = {Sebastian S. Bauer and
Kim G. Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
title = {A modal specification theory for components with data},
journal = {Sci. Comput. Program.},
volume = {83},
pages = {106--128},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.06.003},
doi = {10.1016/J.SCICO.2013.06.003},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BauerLLNW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BoudjadarKLN14,
author = {Abdeldjalil Boudjadar and
Jin Hyun Kim and
Kim G. Larsen and
Ulrik Nyman},
title = {Model Checking Process Algebra of Communicating Resources for Real-Time
Systems},
booktitle = {26th Euromicro Conference on Real-Time Systems, {ECRTS} 2014, Madrid,
Spain, July 8-11, 2014},
pages = {51--60},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ECRTS.2014.24},
doi = {10.1109/ECRTS.2014.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/BoudjadarKLN14.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/icaase/BoudjadarKLN14,
author = {Abdeldjalil Boudjadar and
Jin Hyun Kim and
Kim Guldstrand Larsen and
Ulrik Nyman},
editor = {Za{\"{\i}}di Sahnoun},
title = {Compositional Schedulability Analysis of An Avionics System Using
{UPPAAL}},
booktitle = {Proceedings of the 1st International Conference on Advanced Aspects
of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November
2-4, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1294},
pages = {140--147},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1294/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:44 +0100},
biburl = {https://dblp.org/rec/conf/icaase/BoudjadarKLN14.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}
}
@proceedings{DBLP:journals/corr/LarsenLN13,
editor = {Kim G. Larsen and
Axel Legay and
Ulrik Nyman},
title = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS
2013, Rome, Italy, 16th March 2013},
series = {{EPTCS}},
volume = {133},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.133},
doi = {10.4204/EPTCS.133},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LarsenLN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DavidLLMNRSW12,
author = {Alexandre David and
Kim Guldstrand Larsen and
Axel Legay and
Mikael H. M{\o}ller and
Ulrik Nyman and
Anders P. Ravn and
Arne Skou and
Andrzej Wasowski},
title = {Compositional verification of real-time systems using Ecdar},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {6},
pages = {703--720},
year = {2012},
url = {https://doi.org/10.1007/s10009-012-0237-y},
doi = {10.1007/S10009-012-0237-Y},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/DavidLLMNRSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BauerDHLLNW12,
author = {Sebastian S. Bauer and
Alexandre David and
Rolf Hennicker and
Kim Guldstrand Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Juan de Lara and
Andrea Zisman},
title = {Moving from Specifications to Contracts in Component-Based Design},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {43--58},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_3},
doi = {10.1007/978-3-642-28872-2\_3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/BauerDHLLNW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BauerLLNW11,
author = {Sebastian S. Bauer and
Kim Guldstrand Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Farhad Arbab and
Peter Csaba {\"{O}}lveczky},
title = {A Modal Specification Theory for Components with Data},
booktitle = {Formal Aspects of Component Software - 8th International Symposium,
{FACS} 2011, Oslo, Norway, September 14-16, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7253},
pages = {61--78},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35743-5\_5},
doi = {10.1007/978-3-642-35743-5\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BauerLLNW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AntonikHLNW10,
author = {Adam Antonik and
Michael Huth and
Kim G. Larsen and
Ulrik Nyman and
Andrzej Wasowski},
title = {Modal and mixed specifications: key decision problems and their complexities},
journal = {Math. Struct. Comput. Sci.},
volume = {20},
number = {1},
pages = {75--103},
year = {2010},
url = {https://doi.org/10.1017/S0960129509990260},
doi = {10.1017/S0960129509990260},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/AntonikHLNW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DavidLLNW10,
author = {Alexandre David and
Kim Guldstrand Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {{ECDAR:} An Environment for Compositional Design and Analysis of Real
Time Systems},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {365--370},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_29},
doi = {10.1007/978-3-642-15643-4\_29},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/DavidLLNW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DavidLLNW10,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Karl Henrik Johansson and
Wang Yi},
title = {Timed {I/O} automata: a complete specification theory for real-time
systems},
booktitle = {Proceedings of the 13th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2010, Stockholm, Sweden, April 12-15,
2010},
pages = {91--100},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1755952.1755967},
doi = {10.1145/1755952.1755967},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/DavidLLNW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BourkeDLLLNW10,
author = {Timothy Bourke and
Alexandre David and
Kim G. Larsen and
Axel Legay and
Didier Lime and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Till Mossakowski and
Hans{-}J{\"{o}}rg Kreowski},
title = {New Results on Timed Specifications},
booktitle = {Recent Trends in Algebraic Development Techniques - 20th International
Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7137},
pages = {175--192},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-28412-0\_12},
doi = {10.1007/978-3-642-28412-0\_12},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wadt/BourkeDLLLNW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DavidLLNW09,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Methodologies for Specification of Real-Time Systems Using Timed {I/O}
Automata},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {290--310},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_15},
doi = {10.1007/978-3-642-17071-3\_15},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/DavidLLNW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AntonikHLNW08,
author = {Adam Antonik and
Michael Huth and
Kim G. Larsen and
Ulrik Nyman and
Andrzej Wasowski},
title = {20 Years of Modal and Mixed Specifications},
journal = {Bull. {EATCS}},
volume = {95},
pages = {94--129},
year = {2008},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/AntonikHLNW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AntonikHLNW08,
author = {Adam Antonik and
Michael Huth and
Kim Guldstrand Larsen and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Roberto M. Amadio},
title = {Complexity of Decision Problems for Mixed and Modal Specifications},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {112--126},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_9},
doi = {10.1007/978-3-540-78499-9\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/AntonikHLNW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AntonikHLNW09,
author = {Adam Antonik and
Michael Huth and
Kim Guldstrand Larsen and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Thomas T. Hildebrandt and
Daniele Gorla},
title = {EXPTIME-complete Decision Problems for Modal and Mixed Specifications},
booktitle = {Proceedings of the 15th Workshop on Expressiveness in Concurrency,
{EXPRESS} 2008, Toronto, ON, Canada, August 23, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {242},
number = {1},
pages = {19--33},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.011},
doi = {10.1016/J.ENTCS.2009.06.011},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AntonikHLNW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LarsenNW07,
author = {Kim Guldstrand Larsen and
Ulrik Nyman and
Andrzej Wasowski},
title = {Modeling software product lines using color-blind transition systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {9},
number = {5-6},
pages = {471--487},
year = {2007},
url = {https://doi.org/10.1007/s10009-007-0046-x},
doi = {10.1007/S10009-007-0046-X},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/LarsenNW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LarsenNW07,
author = {Kim Guldstrand Larsen and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {On Modal Refinement and Consistency},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {105--119},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_8},
doi = {10.1007/978-3-540-74407-8\_8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/LarsenNW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LarsenNW07,
author = {Kim Guldstrand Larsen and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Rocco De Nicola},
title = {Modal {I/O} Automata for Interface and Product Line Theories},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {64--79},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_6},
doi = {10.1007/978-3-540-71316-6\_6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/LarsenNW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LarsenNW06,
author = {Kim Guldstrand Larsen and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Interface Input/Output Automata},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {82--97},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_7},
doi = {10.1007/11813040\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/LarsenNW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LarsenLW05,
author = {Kim Guldstrand Larsen and
Ulrik Larsen and
Andrzej Wasowski},
editor = {Maura Cerioli},
title = {Color-Blind Specifications for Transformations of Reactive Synchronous
Programs},
booktitle = {Fundamental Approaches to Software Engineering, 8th International
Conference, {FASE} 2005, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April
4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3442},
pages = {160--174},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31984-9\_13},
doi = {10.1007/978-3-540-31984-9\_13},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/LarsenLW05.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-03-31 01:45 CET 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:
