default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Brian Nielsen
@inproceedings{DBLP:conf/tase/NaeemGSLNA24,
author = {Muhammad Naeem and
Rong Gu and
Cristina Seceleanu and
Kim Guldstrand Larsen and
Brian Nielsen and
Michele Albano},
editor = {Wei{-}Ngan Chin and
Zhiwu Xu},
title = {Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal
Stratego},
booktitle = {Theoretical Aspects of Software Engineering - 18th International Symposium,
{TASE} 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14777},
pages = {356--373},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-64626-3\_21},
doi = {10.1007/978-3-031-64626-3\_21},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/NaeemGSLNA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbseerc/NaeemALN23,
author = {Muhammad Naeem and
Michele Albano and
Kim Guldstrand Larsen and
Brian Nielsen},
editor = {Jan Kofron and
Tiziana Margaria and
Cristina Seceleanu},
title = {Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink},
booktitle = {Engineering of Computer-Based Systems - 8th International Conference,
{ECBS} 2023, V{\"{a}}ster{\aa}s, Sweden, October 16-18, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14390},
pages = {153--169},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49252-5\_12},
doi = {10.1007/978-3-031-49252-5\_12},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecbseerc/NaeemALN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/LaadharDERGPMN022,
author = {Amir Laadhar and
Junior Dongo and
S{\o}ren Enevoldsen and
Fr{\'{e}}d{\'{e}}ric Revaz and
Dominique Gabioud and
Torben Bach Pedersen and
Martin Meyer and
Brian Nielsen and
Christian Thomsen},
editor = {Matteo Cristani and
Carlos Toro and
Cecilia Zanni{-}Merk and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Web of Things Semantic Interoperability in Smart Buildings},
booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems:
Proceedings of the 26th International Conference KES-2022, Verona,
Italy and Virtual Event, 7-9 September 2022},
series = {Procedia Computer Science},
volume = {207},
pages = {997--1006},
publisher = {Elsevier},
year = {2022},
url = {https://doi.org/10.1016/j.procs.2022.09.155},
doi = {10.1016/J.PROCS.2022.09.155},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kes/LaadharDERGPMN022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wns3/NaeemAMNL22,
author = {Muhammad Naeem and
Michele Albano and
Davide Magrin and
Brian Nielsen and
Kim Guldstrand Larsen},
editor = {Thomas Henderson and
Michele Polese and
Yuchen Liu and
Eric Gamess},
title = {A Sigfox Module for the Network Simulator 3},
booktitle = {{WNS3} 2022: 2022 Workshop on ns-3, Virtual Event, USA, June 22 -
23, 2022},
pages = {81--88},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3532577.3532599},
doi = {10.1145/3532577.3532599},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wns3/NaeemAMNL22.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/iecon/DongoASN21,
author = {Junior Dongo and
Michele Albano and
Arne Skou and
Brian Nielsen},
title = {Web of Things Interoperability for the Arrowhead Framework},
booktitle = {{IECON} 2021 - 47th Annual Conference of the {IEEE} Industrial Electronics
Society, Toronto, ON, Canada, October 13-16, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IECON48115.2021.9589941},
doi = {10.1109/IECON48115.2021.9589941},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/DongoASN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meco/NaeemALNHL21,
author = {Muhammad Naeem and
Michele Albano and
Kim G. Larsen and
Brian Nielsen and
Anders H{\o}edholt and
Christian {\O}. Laursen},
title = {Battery Aware Analysis of Sensor Networks in Uppaal {SMC}},
booktitle = {10th Mediterranean Conference on Embedded Computing, {MECO} 2021,
Budva, Montenegro, June 7-10, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MECO52532.2021.9460152},
doi = {10.1109/MECO52532.2021.9460152},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meco/NaeemALNHL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icphys/AlbanoN20,
author = {Michele Albano and
Brian Nielsen},
title = {Interoperability by construction: code generation for Arrowhead Clients},
booktitle = {{IEEE} Conference on Industrial Cyberphysical Systems, {ICPS} 2020,
Tampere, Finland, June 10-12, 2020},
pages = {429--432},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICPS48405.2020.9274746},
doi = {10.1109/ICPS48405.2020.9274746},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icphys/AlbanoN20.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 = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacic/HanZNNK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/PedersenAN19,
author = {Thomas Pedersen and
Michele Albano and
Brian Nielsen},
title = {Reengineering the lifecycle of Arrowhead applications: from skeletons
to the client library},
booktitle = {{IECON} 2019 - 45th Annual Conference of the {IEEE} Industrial Electronics
Society, Lisbon, Portugal, October 14-17, 2019},
pages = {5519--5524},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IECON.2019.8927423},
doi = {10.1109/IECON.2019.8927423},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/PedersenAN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LarsenLN18,
author = {Kim Guldstrand Larsen and
Florian Lorber and
Brian Nielsen},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {20 Years of Real Real Time Model Validation},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {22--36},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_2},
doi = {10.1007/978-3-319-95582-7\_2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LarsenLN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LorberLN18,
author = {Florian Lorber and
Kim G. Larsen and
Brian Nielsen},
title = {Model-Based Mutation Testing of Real-Time Systems via Model Checking},
booktitle = {2018 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops, V{\"{a}}ster{\aa}s,
Sweden, April 9-13, 2018},
pages = {59--68},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICSTW.2018.00029},
doi = {10.1109/ICSTW.2018.00029},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/LorberLN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LarsenLN18,
author = {Kim G. Larsen and
Florian Lorber and
Brian Nielsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {20 Years of {UPPAAL} Enabled Industrial Model-Based Validation and
Beyond},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {212--229},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_18},
doi = {10.1007/978-3-030-03427-6\_18},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LarsenLN18.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-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 = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LarsenLMNN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ZhangNLNSH17,
author = {Zhengkui Zhang and
Brian Nielsen and
Kim Guldstrand Larsen and
Gilles Nies and
Marvin Stenger and
Holger Hermanns},
editor = {Zhenhua Duan and
Luke Ong},
title = {Pareto Optimal Reachability Analysis for Simple Priced Timed Automata},
booktitle = {Formal Methods and Software Engineering - 19th International Conference
on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
13-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10610},
pages = {481--495},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68690-5\_29},
doi = {10.1007/978-3-319-68690-5\_29},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ZhangNLNSH17.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 = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/LarsenLNN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/MaoCJNLN16,
author = {Hua Mao and
Yingke Chen and
Manfred Jaeger and
Thomas D. Nielsen and
Kim G. Larsen and
Brian Nielsen},
title = {Learning deterministic probabilistic automata from a model checking
perspective},
journal = {Mach. Learn.},
volume = {105},
number = {2},
pages = {255--299},
year = {2016},
url = {https://doi.org/10.1007/s10994-016-5565-9},
doi = {10.1007/S10994-016-5565-9},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ml/MaoCJNLN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cspdata/FoghHN16,
author = {Peter Fogh and
Thomas C. Hald and
Brian Nielsen},
title = {WUppaal: {A} web-service for the Uppaal model-checker},
booktitle = {2016 2nd International Workshop on Modelling, Analysis, and Control
of Complex CPS, {CPS} Data 2016, Vienna, Austria, April 11, 2016},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CPSData.2016.7496421},
doi = {10.1109/CPSDATA.2016.7496421},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cspdata/FoghHN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ZhangNL16,
author = {Zhengkui Zhang and
Brian Nielsen and
Kim G. Larsen},
editor = {Martin Fr{\"{a}}nzle and
Nicolas Markey},
title = {Distributed Algorithms for Time Optimal Reachability Analysis},
booktitle = {Formal Modeling and Analysis of Timed Systems - 14th International
Conference, {FORMATS} 2016, Quebec, QC, Canada, August 24-26, 2016,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9884},
pages = {157--173},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44878-7\_10},
doi = {10.1007/978-3-319-44878-7\_10},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/ZhangNL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ZhangNL16,
author = {Zhengkui Zhang and
Brian Nielsen and
Kim G. Larsen},
editor = {Sascha Ossowski},
title = {Time optimal reachability analysis using swarm verification},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {1634--1640},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851828},
doi = {10.1145/2851613.2851828},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/ZhangNL16.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 = {Tue, 07 May 2024 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 = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/KimLLMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HerznerSKBBN14,
author = {Wolfgang Herzner and
Sven Sieverding and
Omar Kacimi and
Eckard B{\"{o}}de and
Thomas Bauer and
Brian Nielsen},
title = {Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical
Systems Using Patterns},
booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
pages = {299--304},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISSREW.2014.24},
doi = {10.1109/ISSREW.2014.24},
timestamp = {Wed, 20 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/HerznerSKBBN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/Nielsen14,
author = {Brian Nielsen},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Joaquim Filipe and
Rui C{\'{e}}sar das Neves},
title = {Towards a Method for Combined Model-based Testing and Analysis},
booktitle = {{MODELSWARD} 2014 - Proceedings of the 2nd International Conference
on Model-Driven Engineering and Software Development, Lisbon, Portugal,
7 - 9 January, 2014},
pages = {609--618},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004873106090618},
doi = {10.5220/0004873106090618},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/Nielsen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ChenMJNLN12,
author = {Yingke Chen and
Hua Mao and
Manfred Jaeger and
Thomas Dyhre Nielsen and
Kim Guldstrand Larsen and
Brian Nielsen},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Learning Markov Models for Stationary System Behaviors},
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 = {216--230},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_22},
doi = {10.1007/978-3-642-28891-3\_22},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ChenMJNLN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1212-3873,
author = {Hua Mao and
Yingke Chen and
Manfred Jaeger and
Thomas D. Nielsen and
Kim G. Larsen and
Brian Nielsen},
editor = {Uli Fahrenberg and
Axel Legay and
Claus R. Thrane},
title = {Learning Markov Decision Processes for Model Checking},
booktitle = {Proceedings Quantities in Formal Methods, {QFM} 2012, Paris, France,
28 August 2012},
series = {{EPTCS}},
volume = {103},
pages = {49--63},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.103.6},
doi = {10.4204/EPTCS.103.6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3873.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2012,
editor = {Brian Nielsen and
Carsten Weise},
title = {Testing Software and Systems - 24th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2012, Aalborg, Denmark, November 19-21, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7641},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34691-0},
doi = {10.1007/978-3-642-34691-0},
isbn = {978-3-642-34690-3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/2012.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 = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/FrehseLMN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/MaoCJNLN11,
author = {Hua Mao and
Yingke Chen and
Manfred Jaeger and
Thomas D. Nielsen and
Kim G. Larsen and
Brian Nielsen},
title = {Learning Probabilistic Automata for Model Checking},
booktitle = {Eighth International Conference on Quantitative Evaluation of Systems,
{QEST} 2011, Aachen, Germany, 5-8 September, 2011},
pages = {111--120},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/QEST.2011.21},
doi = {10.1109/QEST.2011.21},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/MaoCJNLN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/LiBDLNP10,
author = {Shuhao Li and
Sandie Balaguer and
Alexandre David and
Kim G. Larsen and
Brian Nielsen and
Saulius Pusinskas},
title = {Scenario-based verification of real-time systems using Uppaal},
journal = {Formal Methods Syst. Des.},
volume = {37},
number = {2-3},
pages = {200--264},
year = {2010},
url = {https://doi.org/10.1007/s10703-010-0103-z},
doi = {10.1007/S10703-010-0103-Z},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/LiBDLNP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LarsenLNP10,
author = {Kim Guldstrand Larsen and
Shuhao Li and
Brian Nielsen and
Saulius Pusinskas},
editor = {Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller and
Enrico Macii},
title = {Scenario-based analysis and synthesis of real-time systems using uppaal},
booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
March 8-12, 2010},
pages = {447--452},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DATE.2010.5457164},
doi = {10.1109/DATE.2010.5457164},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/LarsenLNP10.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 = {Tue, 07 May 2024 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 = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MikucionisLRNSPPH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LarsenLNP09,
author = {Kim Guldstrand Larsen and
Shuhao Li and
Brian Nielsen and
Saulius Pusinskas},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Verifying Real-Time Systems against Scenario-Based Requirements},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {676--691},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_43},
doi = {10.1007/978-3-642-05089-3\_43},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LarsenLNP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DavidLLN09,
author = {Alexandre David and
Kim Guldstrand Larsen and
Shuhao Li and
Brian Nielsen},
title = {Timed Testing under Partial Observability},
booktitle = {Second International Conference on Software Testing Verification and
Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
pages = {61--70},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICST.2009.38},
doi = {10.1109/ICST.2009.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/DavidLLN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/DavidLLN08,
author = {Alexandre David and
Kim Guldstrand Larsen and
Shuhao Li and
Brian Nielsen},
editor = {Donatella Sciuto},
title = {A Game-Theoretic Approach to Real-Time System Testing},
booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
March 10-14, 2008},
pages = {486--491},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1109/DATE.2008.4484728},
doi = {10.1109/DATE.2008.4484728},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/DavidLLN08.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:journals/entcs/DavidLLN08,
author = {Alexandre David and
Kim Guldstrand Larsen and
Shuhao Li and
Brian Nielsen},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {Cooperative Testing of Timed Systems},
booktitle = {Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS
2008, Budapest, Hungary, March 30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {1},
pages = {79--92},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.007},
doi = {10.1016/J.ENTCS.2008.11.007},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DavidLLN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/DavidN08,
author = {Alexandre David and
Brian Nielsen},
title = {Model-Driven Development of Embedded Real-Time Systems},
journal = {{ERCIM} News},
volume = {2008},
number = {75},
year = {2008},
url = {http://ercim-news.ercim.eu/model-driven-development-of-embedded-real-time-systems},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/DavidN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/Nielsen08,
author = {Brian Nielsen},
title = {Quasimodo},
journal = {{ERCIM} News},
volume = {2008},
number = {75},
year = {2008},
url = {http://ercim-news.ercim.eu/quasimodo},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/Nielsen08.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}
}
@proceedings{DBLP:conf/fates/2004,
editor = {Jens Grabowski and
Brian Nielsen},
title = {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},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b106767},
doi = {10.1007/B106767},
isbn = {3-540-25109-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fates/2004.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/forte/GodskesenNS04,
author = {Jens Chr. Godskesen and
Brian Nielsen and
Arne Skou},
editor = {David de Frutos{-}Escrig and
Manuel N{\'{u}}{\~{n}}ez},
title = {Connectivity Testing Through Model-Checking},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2004, 24th {IFIP} {WG} 6.1 International Conference, Madrid Spain,
September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3235},
pages = {167--184},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30232-2\_11},
doi = {10.1007/978-3-540-30232-2\_11},
timestamp = {Mon, 03 Jan 2022 22:19:32 +0100},
biburl = {https://dblp.org/rec/conf/forte/GodskesenNS04.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}
}
@article{DBLP:journals/sttt/NielsenS03,
author = {Brian Nielsen and
Arne Skou},
title = {Automated test generation from timed automata},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {1},
pages = {59--77},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0094-1},
doi = {10.1007/S10009-002-0094-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/NielsenS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/HesselLNPS03,
author = {Anders Hessel and
Kim Guldstrand Larsen and
Brian Nielsen and
Paul Pettersson and
Arne Skou},
editor = {Alexandre Petrenko and
Andreas Ulrich},
title = {Time-Optimal Real-Time Test Case Generation Using Uppaal},
booktitle = {Formal Approaches to Software Testing, Third International Workshop
on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
Quebec, Canada, October 6th, 2003},
series = {Lecture Notes in Computer Science},
volume = {2931},
pages = {114--130},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24617-6\_9},
doi = {10.1007/978-3-540-24617-6\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/HesselLNPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/HesselLNPS03,
author = {Anders Hessel and
Kim Guldstrand Larsen and
Brian Nielsen and
Paul Pettersson and
Arne Skou},
editor = {Kim Guldstrand Larsen and
Peter Niebert},
title = {Time-Optimal Test Cases for Real-Time Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems: First International
Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003.
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2791},
pages = {234--245},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40903-8\_19},
doi = {10.1007/978-3-540-40903-8\_19},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/HesselLNPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/NielsenS01,
author = {Brian Nielsen and
Arne Skou},
title = {Test Generation for Time Critical Systems: Tool and Case Study},
booktitle = {13th Euromicro Conference on Real-Time Systems {(ECRTS} 2001), 13-15
June 2001, Delft, The Netherlands, Proceedings},
pages = {155--162},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/EMRTS.2001.934021},
doi = {10.1109/EMRTS.2001.934021},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/NielsenS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NielsenS01,
author = {Brian Nielsen and
Arne Skou},
editor = {Tiziana Margaria and
Wang Yi},
title = {Automated Test Generation from Timed Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, {TACAS} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001
Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2031},
pages = {343--357},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_24},
doi = {10.1007/3-540-45319-9\_24},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/NielsenS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ansoft/NielsenA99,
author = {Brian Nielsen and
Gul Agha},
title = {Towards Reusable Real-Time Objects},
journal = {Ann. Softw. Eng.},
volume = {7},
pages = {257--282},
year = {1999},
url = {https://doi.org/10.1023/A:1018986121470},
doi = {10.1023/A:1018986121470},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ansoft/NielsenA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acpc/JensenN99,
author = {Morten Vadsk{\ae}r Jensen and
Brian Nielsen},
editor = {Peter Zinterhof and
Mari{\'{a}}n Vajtersic and
Andreas Uhl},
title = {Real-Time Layered Video Compression Using {SIMD} Computation},
booktitle = {Parallel Computation, 4th International {ACPC} Conference Including
Special Tracks on Parallel Numerics (ParNum'99) and Parallel Computing
in Image Processing, Video Processing, and Multimedia, Salzburg, Austria,
February 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1557},
pages = {377--387},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49164-3\_36},
doi = {10.1007/3-540-49164-3\_36},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/acpc/JensenN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/NielsenRA98,
author = {Brian Nielsen and
Shangping Ren and
Gul Agha},
title = {Specification of Real-Time Interaction Constraints},
booktitle = {1st International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} '98), 20-22 April 1998, Kyoto, Japan},
pages = {206--214},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ISORC.1998.666790},
doi = {10.1109/ISORC.1998.666790},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/NielsenRA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-18 00:31 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:
