Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kristina Lundqvist
@inproceedings{DBLP:conf/sysose/AdachAHL23,
author = {Malina Adach and
Nazakat Ali and
Kaj H{\"{a}}nninen and
Kristina Lundqvist},
title = {Hazard Analysis on a System of Systems using the Hazard Ontology},
booktitle = {18th Annual System of Systems Engineering Conference, SoSe 2023, Lille,
France, June 14-16, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SoSE59841.2023.10178442},
doi = {10.1109/SOSE59841.2023.10178442},
timestamp = {Tue, 25 Jul 2023 16:17:33 +0200},
biburl = {https://dblp.org/rec/conf/sysose/AdachAHL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GuJSEL22,
author = {Rong Gu and
Peter Gj{\o}l Jensen and
Cristina Seceleanu and
Eduard Enoiu and
Kristina Lundqvist},
title = {Correctness-guaranteed strategy synthesis and compression for multi-agent
autonomous systems},
journal = {Sci. Comput. Program.},
volume = {224},
pages = {102894},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2022.102894},
doi = {10.1016/J.SCICO.2022.102894},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GuJSEL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GuJPSEL22,
author = {Rong Gu and
Peter Gj{\o}l Jensen and
Danny B{\o}gsted Poulsen and
Cristina Seceleanu and
Eduard Enoiu and
Kristina Lundqvist},
title = {Verifiable strategy synthesis for multiple autonomous agents: a scalable
approach},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {3},
pages = {395--414},
year = {2022},
url = {https://doi.org/10.1007/s10009-022-00657-z},
doi = {10.1007/S10009-022-00657-Z},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/GuJPSEL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/AdachHL22,
author = {Malina Adach and
Kaj H{\"{a}}nninen and
Kristina Lundqvist},
editor = {Jo{\~{a}}o Paulo A. Almeida and
Dimka Karastoyanova and
Giancarlo Guizzardi and
Marco Montali and
Fabrizio Maria Maggi and
Claudenir M. Fonseca},
title = {Security Ontologies: {A} Systematic Literature Review},
booktitle = {Enterprise Design, Operations, and Computing - 26th International
Conference, {EDOC} 2022, Bozen-Bolzano, Italy, October 3-7, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13585},
pages = {36--53},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17604-3\_3},
doi = {10.1007/978-3-031-17604-3\_3},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edoc/AdachHL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciap/BerglerKL22,
author = {Matthias Bergler and
Ramin Tavakoli Kolagari and
Kristina Lundqvist},
editor = {Stan Sclaroff and
Cosimo Distante and
Marco Leo and
Giovanni Maria Farinella and
Federico Tombari},
title = {Case Study on the Use of the SafeML Approach in Training Autonomous
Driving Vehicles},
booktitle = {Image Analysis and Processing - {ICIAP} 2022 - 21st International
Conference, Lecce, Italy, May 23-27, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13233},
pages = {87--97},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06433-3\_8},
doi = {10.1007/978-3-031-06433-3\_8},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iciap/BerglerKL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsrs/AdachHL22,
author = {Malina Adach and
Kaj H{\"{a}}nninen and
Kristina Lundqvist},
title = {Concepts and Relationships in Safety and Security Ontologies: {A}
Comparative Study},
booktitle = {6th International Conference on System Reliability and Safety, {ICSRS}
2022, Venice, Italy, November 23-25, 2022},
pages = {357--364},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSRS56243.2022.10067740},
doi = {10.1109/ICSRS56243.2022.10067740},
timestamp = {Mon, 27 Mar 2023 16:44:41 +0200},
biburl = {https://dblp.org/rec/conf/icsrs/AdachHL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semco/AdachHL22,
author = {Malina Adach and
Kaj H{\"{a}}nninen and
Kristina Lundqvist},
title = {A Combined Security Ontology based on the Unified Foundational Ontology},
booktitle = {16th {IEEE} International Conference on Semantic Computing, {ICSC}
2022, Laguna Hills, CA, USA, January 26-28, 2022},
pages = {187--194},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSC52841.2022.00039},
doi = {10.1109/ICSC52841.2022.00039},
timestamp = {Mon, 06 Nov 2023 13:52:11 +0100},
biburl = {https://dblp.org/rec/conf/semco/AdachHL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/ProvenzanoHL21,
author = {Luciana Provenzano and
Kaj H{\"{a}}nninen and
Kristina Lundqvist},
title = {Role-based Approach as Support for Safety Analysis of Collaborative
Systems},
booktitle = {{IEEE} Intl Conf on Dependable, Autonomic and Secure Computing, Intl
Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and
Big Data Computing, Intl Conf on Cyber Science and Technology Congress,
DASC/PiCom/CBDCom/CyberSciTech 2021, Canada, October 25-28, 2021},
pages = {92--98},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/DASC-PICom-CBDCom-CyberSciTech52372.2021.00028},
doi = {10.1109/DASC-PICOM-CBDCOM-CYBERSCITECH52372.2021.00028},
timestamp = {Wed, 23 Mar 2022 17:30:18 +0100},
biburl = {https://dblp.org/rec/conf/dasc/ProvenzanoHL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbseerc/SeceleanuECLSBC21,
author = {Cristina Seceleanu and
Eduard Paul Enoiu and
Jan Carlson and
Kristina Lundqvist and
S{\'{e}}verine Sentilles and
Moris Behnam and
Gabriele Capannini},
title = {Assured Cloud Platforms for Industrial Cyber-Physical Systems: The
{ACICS} Approach},
booktitle = {{ECBS} 2021: 7th Conference on the Engineering of Computer Based Systems,
Novi Sad, Serbia},
pages = {24:1--24:2},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3459960.3459968},
doi = {10.1145/3459960.3459968},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbseerc/SeceleanuECLSBC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GuSEL21,
author = {Rong Gu and
Cristina Seceleanu and
Eduard Enoiu and
Kristina Lundqvist},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {676--694},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_37},
doi = {10.1007/978-3-030-90870-6\_37},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/GuSEL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/GuESL20,
author = {Rong Gu and
Eduard Enoiu and
Cristina Seceleanu and
Kristina Lundqvist},
editor = {Maurice H. ter Beek and
Dejan Nickovic},
title = {Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents},
booktitle = {Formal Methods for Industrial Critical Systems - 25th International
Conference, {FMICS} 2020, Vienna, Austria, September 2-3, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12327},
pages = {73--92},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58298-2\_2},
doi = {10.1007/978-3-030-58298-2\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/GuESL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GuESL20,
author = {Rong Gu and
Eduard Enoiu and
Cristina Seceleanu and
Kristina Lundqvist},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Probabilistic Mission Planning and Analysis for Multi-agent Systems},
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 = {350--367},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_20},
doi = {10.1007/978-3-030-61362-4\_20},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/GuESL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SundellLF20,
author = {Johan Sundell and
Kristina Lundqvist and
H{\aa}kan Forsberg},
title = {Safety-Critical Software - Quantification of Test Results},
booktitle = {2020 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Coimbra, Portugal, October 12-15, 2020},
pages = {303--310},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISSREW51248.2020.00089},
doi = {10.1109/ISSREW51248.2020.00089},
timestamp = {Thu, 14 Jan 2021 08:55:20 +0100},
biburl = {https://dblp.org/rec/conf/issre/SundellLF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SundellTLF19,
author = {Johan Sundell and
Richard Torkar and
Kristina Lundqvist and
H{\aa}kan Forsberg},
title = {Prediction of Undetected Faults in Safety-Critical Software},
booktitle = {2019 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April
22-23, 2019},
pages = {296--304},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICSTW.2019.00069},
doi = {10.1109/ICSTW.2019.00069},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icst/SundellTLF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/GuMSL19,
author = {Rong Gu and
Raluca Marinescu and
Cristina Seceleanu and
Kristina Lundqvist},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Towards a Two-Layer Framework for Verifying Autonomous Vehicles},
booktitle = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
Houston, TX, USA, May 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11460},
pages = {186--203},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20652-9\_12},
doi = {10.1007/978-3-030-20652-9\_12},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/GuMSL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GuMSL18,
author = {Rong Gu and
Raluca Marinescu and
Cristina Seceleanu and
Kristina Lundqvist},
editor = {Stefania Gnesi and
Nico Plat and
Paola Spoletini and
Patrizio Pelliccione},
title = {Formal verification of an autonomous wheel loader by model checking},
booktitle = {Proceedings of the 6th Conference on Formal Methods in Software Engineering,
FormaliSE 2018, collocated with {ICSE} 2018, Gothenburg, Sweden, June
2, 2018},
pages = {74--83},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3193992.3193999},
doi = {10.1145/3193992.3193999},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GuMSL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SurkovicHLCLWF18,
author = {Amer Surkovic and
Dzana Hanic and
Elena Lisova and
Aida Causevic and
Kristina Lundqvist and
David Wenslandt and
Carl Falk},
editor = {Barbara Gallina and
Amund Skavhaug and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Incorporating Attacks Modeling into Safety Process},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2018 Workshops,
ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, V{\"{a}}ster{\aa}s,
Sweden, September 18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11094},
pages = {31--41},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99229-7\_4},
doi = {10.1007/978-3-319-99229-7\_4},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/SurkovicHLCLWF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/WiklundESL17,
author = {Kristian Wiklund and
Sigrid Eldh and
Daniel Sundmark and
Kristina Lundqvist},
title = {Impediments for software test automation: {A} systematic literature
review},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {8},
year = {2017},
url = {https://doi.org/10.1002/stvr.1639},
doi = {10.1002/STVR.1639},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/WiklundESL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ProvenzanoHZL17,
author = {Luciana Provenzano and
Kaj H{\"{a}}nninen and
Jiale Zhou and
Kristina Lundqvist},
editor = {Jian Lv and
He Jason Zhang and
Mike Hinchey and
Xiao Liu},
title = {An Ontological Approach to Elicit Safety Requirements},
booktitle = {24th Asia-Pacific Software Engineering Conference, {APSEC} 2017, Nanjing,
China, December 4-8, 2017},
pages = {713--718},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/APSEC.2017.91},
doi = {10.1109/APSEC.2017.91},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ProvenzanoHZL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/ZhouHL17,
author = {Jiale Zhou and
Kaj H{\"{a}}nninen and
Kristina Lundqvist},
title = {A Hazard Modeling Language for Safety-Critical Systems Based on the
Hazard Ontology},
booktitle = {43rd Euromicro Conference on Software Engineering and Advanced Applications,
{SEAA} 2017, Vienna, Austria, August 30 - Sept. 1, 2017},
pages = {301--304},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SEAA.2017.48},
doi = {10.1109/SEAA.2017.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/ZhouHL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/JohnsenCLHP17,
author = {Andreas Johnsen and
Gordana Dodig Crnkovic and
Kristina Lundqvist and
Kaj H{\"{a}}nninen and
Paul Pettersson},
title = {Risk-Based Decision-Making Fallacies: Why Present Functional Safety
Standards are Not Enough},
booktitle = {2017 {IEEE} International Conference on Software Architecture Workshops,
{ICSA} Workshops 2017, Gothenburg, Sweden, April 5-7, 2017},
pages = {153--160},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSAW.2017.50},
doi = {10.1109/ICSAW.2017.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsa/JohnsenCLHP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsrs/ZhouHLP17,
author = {Jiale Zhou and
Kaj H{\"{a}}nninen and
Kristina Lundqvist and
Luciana Provenzano},
title = {An ontological approach to identify the causes of hazards for safety-critical
systems},
booktitle = {2nd International Conference on System Reliability and Safety, {ICSRS}
2017, Milan, Italy, December 20-22, 2017},
pages = {405--413},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICSRS.2017.8272856},
doi = {10.1109/ICSRS.2017.8272856},
timestamp = {Tue, 11 Jan 2022 13:19:37 +0100},
biburl = {https://dblp.org/rec/conf/icsrs/ZhouHLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/JohnsenLHP17,
author = {Andreas Johnsen and
Kristina Lundqvist and
Kaj H{\"{a}}nninen and
Paul Pettersson},
title = {{AQAT:} The Architecture Quality Assurance Tool for Critical Embedded
Systems},
booktitle = {28th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2017, Toulouse, France, October 23-26, 2017},
pages = {260--270},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISSRE.2017.32},
doi = {10.1109/ISSRE.2017.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/JohnsenLHP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/JohnsenLHPT17,
author = {Andreas Johnsen and
Kristina Lundqvist and
Kaj H{\"{a}}nninen and
Paul Pettersson and
Martin Torelm},
title = {Experience Report: Evaluating Fault Detection Effectiveness and Resource
Efficiency of the Architecture Quality Assurance Framework and Tool},
booktitle = {28th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2017, Toulouse, France, October 23-26, 2017},
pages = {271--281},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISSRE.2017.31},
doi = {10.1109/ISSRE.2017.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/JohnsenLHPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/FotouhiCLB16,
author = {Hossein Fotouhi and
Aida Causevic and
Kristina Lundqvist and
Mats Bj{\"{o}}rkman},
title = {Communication and Security in Health Monitoring Systems - {A} Review},
booktitle = {40th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2016, Atlanta, GA, USA, June 10-14, 2016},
pages = {545--554},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/COMPSAC.2016.8},
doi = {10.1109/COMPSAC.2016.8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/FotouhiCLB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/JohnsenLHPT16,
author = {Andreas Johnsen and
Kristina Lundqvist and
Kaj H{\"{a}}nninen and
Paul Pettersson and
Martin Torelm},
title = {{AQAF:} An Architecture Quality Assurance Framework for Systems Modeled
in {AADL}},
booktitle = {12th International {ACM} {SIGSOFT} Conference on Quality of Software
Architectures, QoSA 2016, Venice, Italy, April 5-8, 2016},
pages = {31--40},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/QoSA.2016.9},
doi = {10.1109/QOSA.2016.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qosa/JohnsenLHPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/ZhouHLLPF15,
author = {Jiale Zhou and
Kaj H{\"{a}}nninen and
Kristina Lundqvist and
Yue Lu and
Luciana Provenzano and
Kristina Forsberg},
editor = {Didar Zowghi and
Vincenzo Gervasi and
Daniel Amyot},
title = {An environment-driven ontological approach to requirements elicitation
for safety-critical systems},
booktitle = {23rd {IEEE} International Requirements Engineering Conference, {RE}
2015, Ottawa, ON, Canada, August 24-28, 2015},
pages = {247--251},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RE.2015.7320431},
doi = {10.1109/RE.2015.7320431},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/ZhouHLLPF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/ZhouLL14,
author = {Jiale Zhou and
Yue Lu and
Kristina Lundqvist},
editor = {Laurent George and
Tullio Vardanega},
title = {A TASM-Based Requirements Validation Approach for Safety-Critical
Embedded Systems},
booktitle = {Reliable Software Technologies - Ada-Europe 2014, 19th Ada-Europe
International Conference on Reliable Software Technologies, Paris,
France, June 23-27, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8454},
pages = {43--57},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08311-7\_5},
doi = {10.1007/978-3-319-08311-7\_5},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/ZhouLL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WiklundSEL14,
author = {Kristian Wiklund and
Daniel Sundmark and
Sigrid Eldh and
Kristina Lundqvist},
title = {Impediments for Automated Testing - An Empirical Analysis of a User
Support Discussion Board},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
Ohio, {USA}},
pages = {113--122},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICST.2014.24},
doi = {10.1109/ICST.2014.24},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/WiklundSEL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/JohnsenLPH14,
author = {Andreas Johnsen and
Kristina Lundqvist and
Paul Pettersson and
Kaj H{\"{a}}nninen},
editor = {Lionel Seinturier and
Tom{\'{a}}s Bures and
John D. McGregor},
title = {Regression verification of {AADL} models through slicing of system
dependence graphs},
booktitle = {QoSA'14, Proceedings of the 10th International {ACM} {SIGSOFT} Conference
on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul,
Lille, France, June 30 - July 04, 2014},
pages = {103--112},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2602576.2602589},
doi = {10.1145/2602576.2602589},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qosa/JohnsenLPH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/ZhouLL14,
author = {Jiale Zhou and
Yue Lu and
Kristina Lundqvist},
editor = {Michael Felderer and
Elizabeth Bjarnason and
Matt Staats and
Mirko Morandini and
Markus Borg and
Michael Unterkalmsteiner},
title = {The observer-based technique for requirements validation in embedded
real-time systems},
booktitle = {1st {IEEE} International Workshop on Requirements Engineering and
Testing, {RET} 2014, Karlskrona, Sweden, August 26, 2014},
pages = {47--54},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/RET.2014.6908679},
doi = {10.1109/RET.2014.6908679},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/ZhouLL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/ZhouLLLKL14,
author = {Jiale Zhou and
Yue Lu and
Kristina Lundqvist and
Henrik L{\"{o}}nn and
Daniel Karlsson and
Bo Liwang},
editor = {Tony Gorschek and
Robyn R. Lutz},
title = {Towards feature-oriented requirements validation for automotive systems},
booktitle = {{IEEE} 22nd International Requirements Engineering Conference, {RE}
2014, Karlskrona, Sweden, August 25-29, 2014},
pages = {428--436},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/RE.2014.6912294},
doi = {10.1109/RE.2014.6912294},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/ZhouLLLKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/ZhouLL13,
author = {Jiale Zhou and
Yue Lu and
Kristina Lundqvist},
editor = {Onur Demir{\"{o}}rs and
Oktay T{\"{u}}retken},
title = {A Context-based Information Retrieval Technique for Recovering Use-Case-to-Source-Code
Trace Links in Embedded Software Systems},
booktitle = {39th Euromicro Conference on Software Engineering and Advanced Applications,
{SEAA} 2013, Santander, Spain, September 4-6, 2013},
pages = {252--259},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SEAA.2013.30},
doi = {10.1109/SEAA.2013.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/ZhouLL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WiklundESL13,
author = {Kristian Wiklund and
Sigrid Eldh and
Daniel Sundmark and
Kristina Lundqvist},
editor = {Margaret M. Burnett and
Holger Giese and
Tien Nguyen and
Yuriy Brun},
title = {Can we do useful industrial software engineering research in the shadow
of lean and agile?},
booktitle = {Proceedings of the 1st International Workshop on Conducting Empirical
Studies in Industry, {CESI} 2013, San Francisco, California, USA,
May 20, 2013},
pages = {67--68},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CESI.2013.6618475},
doi = {10.1109/CESI.2013.6618475},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/WiklundESL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/profes/WiklundSEL13,
author = {Kristian Wiklund and
Daniel Sundmark and
Sigrid Eldh and
Kristina Lundqvist},
editor = {Jens Heidrich and
Markku Oivo and
Andreas Jedlitschka and
Maria Teresa Baldassarre},
title = {Impediments in Agile Software Development: An Empirical Investigation},
booktitle = {Product-Focused Software Process Improvement - 14th International
Conference, {PROFES} 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7983},
pages = {35--49},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39259-7\_6},
doi = {10.1007/978-3-642-39259-7\_6},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/profes/WiklundSEL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GallinaGLN13,
author = {Barbara Gallina and
Antonio Gallucci and
Kristina Lundqvist and
Mattias Nyberg},
editor = {Alejandra Ruiz and
Tim Kelly and
Jos{\'{e}} Luis de la Vara},
title = {{VROOM} {\&} cC: a Method to Build Safety Cases for {ISO} 26262-compliant
Product Lines},
booktitle = {{SAFECOMP} 2013 - Workshop {SASSUR} (Next Generation of System Assurance
Approaches for Safety-Critical Systems) of the 32nd International
Conference on Computer Safety, Reliability and Security, Toulouse,
France, 2013},
publisher = {{HAL}},
year = {2013},
url = {http://hal.archives-ouvertes.fr/SAFECOMP2013-SASSUR/hal-00848479},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/GallinaGLN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sera/GallinaPL13,
author = {Barbara Gallina and
Karthik Raja Pitchai and
Kristina Lundqvist},
editor = {Roger Y. Lee},
title = {S-TunExSPEM: Towards an Extension of {SPEM} 2.0 to Model and Exchange
Tunable Safety-Oriented Processes},
booktitle = {Software Engineering Research, Management and Applications [selected
papers from the 11th International Conference on Software Engineering
Research, Management and Applications, {SERA} 2013, Prague, Czech
Republic, August 7-9, 2013]},
series = {Studies in Computational Intelligence},
volume = {496},
pages = {215--230},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-00948-3\_14},
doi = {10.1007/978-3-319-00948-3\_14},
timestamp = {Fri, 19 May 2017 01:26:31 +0200},
biburl = {https://dblp.org/rec/conf/sera/GallinaPL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/JohnsenLPJ12,
author = {Andreas Johnsen and
Kristina Lundqvist and
Paul Pettersson and
Omar Jaradat},
title = {Automated Verification of AADL-Specifications Using {UPPAAL}},
booktitle = {14th International {IEEE} Symposium on High-Assurance Systems Engineering,
{HASE} 2012, Omaha, NE, USA, October 25-27, 2012},
pages = {130--138},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/HASE.2012.22},
doi = {10.1109/HASE.2012.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/JohnsenLPJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KienleSLJ12,
author = {Holger M. Kienle and
Daniel Sundmark and
Kristina Lundqvist and
Andreas Johnsen},
editor = {He Zhang and
Liming Zhu and
Ihor Kuz},
title = {Liability for software in safety-critical mechatronic systems: An
industrial questionnaire},
booktitle = {Second International Workshop on Software Engineering for Embedded
Systems, {SEES} 2012, Zurich, Switzerland, June 9, 2012},
pages = {44--50},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SEES.2012.6225490},
doi = {10.1109/SEES.2012.6225490},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KienleSLJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WiklundESL12,
author = {Kristian Wiklund and
Sigrid Eldh and
Daniel Sundmark and
Kristina Lundqvist},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Technical Debt in Test Automation},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {887--892},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.192},
doi = {10.1109/ICST.2012.192},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/WiklundESL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BjornanderLGLC12,
author = {Stefan Bj{\"{o}}rnander and
Rikard Land and
Patrick J. Graydon and
Kristina Lundqvist and
Philippa Conmy},
title = {A Method to Formally Evaluate Safety Case Evidences against a System
Architecture Model},
booktitle = {23rd {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
pages = {337--342},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISSREW.2012.101},
doi = {10.1109/ISSREW.2012.101},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/BjornanderLGLC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/DardarGJLN12,
author = {Raghad Dardar and
Barbara Gallina and
Andreas Johnsen and
Kristina Lundqvist and
Mattias Nyberg},
title = {Industrial Experiences of Building a Safety Case in Compliance with
{ISO} 26262},
booktitle = {23rd {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
pages = {349--354},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISSREW.2012.86},
doi = {10.1109/ISSREW.2012.86},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/DardarGJLN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ZhouJL12,
author = {Jiale Zhou and
Andreas Johnsen and
Kristina Lundqvist},
editor = {Iulian Ober},
title = {Formal execution semantics for asynchronous constructs of {AADL}},
booktitle = {Proceedings of the 5th International Workshop on Model Based Architecting
and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck,
Austria, September 30, 2012},
pages = {43--48},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2432631.2432639},
doi = {10.1145/2432631.2432639},
timestamp = {Tue, 06 Nov 2018 16:57:17 +0100},
biburl = {https://dblp.org/rec/conf/models/ZhouJL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/JohnsenL11,
author = {Andreas Johnsen and
Kristina Lundqvist},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Developing Dependable Software-Intensive Systems: {AADL} vs. {EAST-ADL}},
booktitle = {Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe
International Conference on Reliable Software Technologies, Edinburgh,
UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6652},
pages = {103--117},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_8},
doi = {10.1007/978-3-642-21338-0\_8},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/JohnsenL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/JohnsenPL11,
author = {Andreas Johnsen and
Paul Pettersson and
Kristina Lundqvist},
editor = {Ivica Crnkovic and
Volker Gruhn and
Matthias Book},
title = {An Architecture-Based Verification Technique for {AADL} Specifications},
booktitle = {Software Architecture - 5th European Conference, {ECSA} 2011, Essen,
Germany, September 13-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6903},
pages = {105--113},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23798-0\_11},
doi = {10.1007/978-3-642-23798-0\_11},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/JohnsenPL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BjornanderSLP11,
author = {Stefan Bj{\"{o}}rnander and
Cristina Cerschi Seceleanu and
Kristina Lundqvist and
Paul Pettersson},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {{ABV} - {A} Verifier for the Architecture Analysis and Design Language
{(AADL)}},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {355--360},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.43},
doi = {10.1109/ICECCS.2011.43},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BjornanderSLP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/NavarroLL10,
author = {Israel Navarro and
Nancy G. Leveson and
Kristina Lundqvist},
title = {Semantic decoupling: reducing the impact of requirement changes},
journal = {Requir. Eng.},
volume = {15},
number = {4},
pages = {419--437},
year = {2010},
url = {https://doi.org/10.1007/s00766-010-0109-5},
doi = {10.1007/S00766-010-0109-5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/NavarroLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/SrinivasanLN10,
author = {Jayakanth Srinivasan and
Kristina Lundqvist and
Christer Norstr{\"{o}}m},
editor = {Srinivas Padmanabhuni and
Sanjeev K. Aggarwal and
Umesh Bellur},
title = {Studying software organizations: in search of a method},
booktitle = {Proceeding of the 3rd Annual India Software Engineering Conference,
{ISEC} 2010, Mysore, India, February 25-27, 2010},
pages = {51--60},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1730874.1730885},
doi = {10.1145/1730874.1730885},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/SrinivasanLN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/SrinivasanL10,
author = {Jayakanth Srinivasan and
Kristina Lundqvist},
editor = {Srinivas Padmanabhuni and
Sanjeev K. Aggarwal and
Umesh Bellur},
title = {Agile in India: challenges and lessons learned},
booktitle = {Proceeding of the 3rd Annual India Software Engineering Conference,
{ISEC} 2010, Mysore, India, February 25-27, 2010},
pages = {125--130},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1730874.1730898},
doi = {10.1145/1730874.1730898},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/SrinivasanL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SrinivasanDL09,
author = {Jayakanth Srinivasan and
Radu Dobrin and
Kristina Lundqvist},
editor = {Sheikh Iqbal Ahamed and
Elisa Bertino and
Carl K. Chang and
Vladimir Getov and
Lin Liu and
Ming Hua and
Rajesh Subramanyan},
title = {'State of the Art' in Using Agile Methods for Embedded Systems Development},
booktitle = {Proceedings of the 33rd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2009, Seattle, Washington,
USA, July 20-24, 2009. Volume 2},
pages = {522--527},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/COMPSAC.2009.186},
doi = {10.1109/COMPSAC.2009.186},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SrinivasanDL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgse/SrinivasanLNL09,
author = {Jayakanth Srinivasan and
Annika L{\"{o}}fgren and
Christer Norstr{\"{o}}m and
Kristina Lundqvist},
title = {Lessons Learned from a Workshop on Relationship Building},
booktitle = {4th {IEEE} International Conference on Global Software Engineering,
{ICGSE} 2009, Limerick, Ireland, 13-16 July, 2009},
pages = {115--120},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICGSE.2009.19},
doi = {10.1109/ICGSE.2009.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icgse/SrinivasanLNL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itng/SrinivasanL09,
author = {Jayakanth Srinivasan and
Kristina Lundqvist},
editor = {Shahram Latifi},
title = {Using Agile Methods in Software Product Development: {A} Case Study},
booktitle = {Sixth International Conference on Information Technology: New Generations,
{ITNG} 2009, Las Vegas, Nevada, USA, 27-29 April 2009},
pages = {1415--1420},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ITNG.2009.334},
doi = {10.1109/ITNG.2009.334},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itng/SrinivasanL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/BjornanderGL09,
author = {Stefan Bj{\"{o}}rnander and
Lars Grunske and
Kristina Lundqvist},
editor = {Raffaela Mirandola and
Ian Gorton and
Christine Hofmeister},
title = {Timed Simulation of Extended AADL-Based Architecture Specifications
with Timed Abstract State Machines},
booktitle = {Architectures for Adaptive Software Systems, 5th International Conference
on the Quality of Software Architectures, QoSA 2009, East Stroudsburg,
PA, USA, June 24-26, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5581},
pages = {101--115},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02351-4\_7},
doi = {10.1007/978-3-642-02351-4\_7},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/qosa/BjornanderGL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xpu/SrinivasanL09,
author = {Jayakanth Srinivasan and
Kristina Lundqvist},
editor = {Pekka Abrahamsson and
Michele Marchesi and
Frank Maurer},
title = {Organizational Enablers for Agile Adoption: Learning from GameDevCo},
booktitle = {Agile Processes in Software Engineering and Extreme Programming, 10th
International Conference, {XP} 2009, Pula, Sardinia, Italy, May 25-29,
2009. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {31},
pages = {63--72},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01853-4\_9},
doi = {10.1007/978-3-642-01853-4\_9},
timestamp = {Sat, 19 Oct 2019 20:05:08 +0200},
biburl = {https://dblp.org/rec/conf/xpu/SrinivasanL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/OuimetL08,
author = {Martin Ouimet and
Kristina Lundqvist},
title = {The Timed Abstract State Machine Language: Abstract State Machines
for Real-Time System Engineering},
journal = {J. Univers. Comput. Sci.},
volume = {14},
number = {12},
pages = {2007--2033},
year = {2008},
url = {https://doi.org/10.3217/jucs-014-12-2007},
doi = {10.3217/JUCS-014-12-2007},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/OuimetL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/OuimetL07,
author = {Martin Ouimet and
Kristina Lundqvist},
title = {The {TASM} Language and the Hi-Five Framework: Specification, Validation,
and Verification of Embedded Real-Time Systems},
booktitle = {14th Asia-Pacific Software Engineering Conference {(APSEC} 2007),
5-7 December 2007, Nagoya, Japan},
pages = {567},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/APSEC.2007.92},
doi = {10.1109/APSEC.2007.92},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/apsec/OuimetL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/OuimetL07,
author = {Martin Ouimet and
Kristina Lundqvist},
editor = {Werner Damm and
Holger Hermanns},
title = {The {TASM} Toolset: Specification, Simulation, and Formal Verification
of Real-Time Systems},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {126--130},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_15},
doi = {10.1007/978-3-540-73368-3\_15},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/OuimetL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/OuimetL07,
author = {Martin Ouimet and
Kristina Lundqvist},
title = {Incorporating Time in the Modeling of Hardware and Software Systems:
Concepts, Paradigms, and Paradoxes},
booktitle = {International Workshop on Modeling in Software Engineering, MiSE 2007,
Minneapolis, MN, USA, May 20-26, 2007},
pages = {5},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MISE.2007.7},
doi = {10.1109/MISE.2007.7},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/OuimetL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SrinivasanL07,
author = {Jayakanth Srinivasan and
Kristina Lundqvist},
title = {A Constructivist Approach to Teaching Software Processes},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {664--672},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.6},
doi = {10.1109/ICSE.2007.6},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SrinivasanL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OuimetL07,
author = {Martin Ouimet and
Kristina Lundqvist},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {Automated Verification of Completeness and Consistency of Abstract
State Machine Specifications using a {SAT} Solver},
booktitle = {Proceedings of the Third Workshop on Model Based Testing, {MBT} 2007,
Braga, Portugal, March 31 - April 1, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {2},
pages = {85--97},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.08.008},
doi = {10.1016/J.ENTCS.2007.08.008},
timestamp = {Tue, 31 Jan 2023 15:52:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OuimetL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/LundqvistS06,
author = {Kristina Lundqvist and
Jayakanth Srinivasan},
title = {A First Course in Software Engineering for Aerospace Engineers},
booktitle = {19th Conference on Software Engineering Education and Training (CSEE{\&}T
2006), 19-21 April 2006, Turtle Bay, Hawaii, {USA}},
pages = {77--86},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CSEET.2006.5},
doi = {10.1109/CSEET.2006.5},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csee/LundqvistS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icn/BoussemartGOL06,
author = {Yves Boussemart and
S{\'{e}}bastien Gorelov and
Martin Ouimet and
Kristina Lundqvist},
title = {Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle
Controller},
booktitle = {Fifth International Conference on Networking and the International
Conference on Systems {(ICN} / {ICONS} / {MCL} 2006), 23-29 April
2006, Mauritius},
pages = {192},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICNICONSMCL.2006.156},
doi = {10.1109/ICNICONSMCL.2006.156},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icn/BoussemartGOL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/OuimetBL06,
author = {Martin Ouimet and
Guillaume Berteau and
Kristina Lundqvist},
editor = {Thomas K{\"{u}}hne},
title = {Modeling an Electronic Throttle Controller Using the Timed Abstract
State Machine Language and Toolset},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006,
Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4364},
pages = {32--41},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69489-2\_5},
doi = {10.1007/978-3-540-69489-2\_5},
timestamp = {Wed, 23 Feb 2022 12:58:00 +0100},
biburl = {https://dblp.org/rec/conf/models/OuimetBL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/LundqvistSG05,
author = {Kristina Lundqvist and
Jayakanth Srinivasan and
S{\'{e}}bastien Gorelov},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {Non-intrusive System Level Fault-Tolerance},
booktitle = {Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International
Conference on Reliable Software Technologies, York, UK, June 20-24,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3555},
pages = {156--166},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_13},
doi = {10.1007/11499909\_13},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/LundqvistSG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/NaeserL05,
author = {Gustaf Naeser and
Kristina Lundqvist},
title = {Component-Based Approach to Run-Time Kernel Specification and Verification},
booktitle = {17th Euromicro Conference on Real-Time Systems {(ECRTS} 2005), 6-8
July 2005, Palma de Mallorca, Spain, Proceedings},
pages = {68--76},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ECRTS.2005.11},
doi = {10.1109/ECRTS.2005.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/NaeserL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/NaeserLA05,
author = {Gustaf Naeser and
Kristina Lundqvist and
Lars Asplund},
editor = {John W. McCormick and
Leemon C. Baird III},
title = {Temporal skeletons for verifying time},
booktitle = {Proceedings of the 2005 Annual {ACM} SIGAda International Conference
on Ada: The Engineering of Correct and Reliable Software for Real-Time
{\&} Distributed Systems using Ada and Related Technologies 2005,
Atlanta, GA, USA, November 13-17, 2005},
pages = {49--56},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1103846.1103854},
doi = {10.1145/1103846.1103854},
timestamp = {Fri, 25 Mar 2022 14:21:18 +0100},
biburl = {https://dblp.org/rec/conf/sigada/NaeserLA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/LundqvistA03,
author = {Kristina Lundqvist and
Lars Asplund},
title = {A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems},
journal = {Real Time Syst.},
volume = {24},
number = {1},
pages = {29--54},
year = {2003},
url = {https://doi.org/10.1023/A:1021701221847},
doi = {10.1023/A:1021701221847},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/LundqvistA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZimmermanLL02,
author = {Marc K. Zimmerman and
Kristina Lundqvist and
Nancy G. Leveson},
editor = {Will Tracz and
Michal Young and
Jeff Magee},
title = {Investigating the readability of state-based formal requirements specification
languages},
booktitle = {Proceedings of the 24th International Conference on Software Engineering,
{ICSE} 2002, 19-25 May 2002, Orlando, Florida, {USA}},
pages = {33--43},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581339.581347},
doi = {10.1145/581339.581347},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ZimmermanLL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/LundqvistAM99,
author = {Kristina Lundqvist and
Lars Asplund and
Stephen Mitchell},
editor = {Michael Gonz{\'{a}}lez Harbour and
Juan Antonio de la Puente},
title = {A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects},
booktitle = {Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International
Conference on Reliable Software Technologies, Santander, Spain, June
7-11, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1622},
pages = {12--25},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48753-0\_2},
doi = {10.1007/3-540-48753-0\_2},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/LundqvistAM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/MichellL99,
author = {Stephen Michell and
Kristina Lundqvist},
editor = {Alan Burns},
title = {Extendable, dispatchable task communication mechanisms},
booktitle = {Proceedings of the Ninth International Workshop on Real-Time Ada,
{IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
pages = {54--59},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/329607.334739},
doi = {10.1145/329607.334739},
timestamp = {Tue, 19 Apr 2022 16:50:58 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/MichellL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/LundqvistA99,
author = {Kristina Lundqvist and
Lars Asplund},
title = {A Formal Model of a Run-Time Kernel for Ravenscar},
booktitle = {6th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} '99), 13-16 December 1999, Hong Kong, China},
pages = {504},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/RTCSA.1999.811307},
doi = {10.1109/RTCSA.1999.811307},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/LundqvistA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/LundqvistA99,
author = {Kristina Lundqvist and
Lars Asplund},
editor = {Hal Hart and
S. Tucker Taft and
Franco Gasperoni},
title = {A formal model of the Ada Ravenscar tasking profile; delay until},
booktitle = {Proceedings {ACM} SIGAda Annual International Conference, SIGAda 1999,
The Engineering of Industrial Strength Real-Time Software {\&}
Distributed Systems: Using Ada and Related Technologie, Redondo Beach,
CA, USA, October 17-21, 1999},
pages = {15--21},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/319294.319298},
doi = {10.1145/319294.319298},
timestamp = {Fri, 25 Mar 2022 14:21:18 +0100},
biburl = {https://dblp.org/rec/conf/sigada/LundqvistA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/LundqvistW96,
author = {Kristina Lundqvist and
G{\"{o}}ran Wall},
editor = {Alfred Strohmeier},
title = {Using Object-Oriented Methods in Ada 95 to Implement Linda},
booktitle = {Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International
Conference on Reliable Software Technologies, Montreux, Switzerland,
June 10-14, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1088},
pages = {211--222},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0013490},
doi = {10.1007/BFB0013490},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/LundqvistW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/WallL96,
author = {G{\"{o}}ran Wall and
Kristina Lundqvist},
editor = {Alfred Strohmeier},
title = {Shared Packages Through Linda},
booktitle = {Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International
Conference on Reliable Software Technologies, Montreux, Switzerland,
June 10-14, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1088},
pages = {223--234},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0013491},
doi = {10.1007/BFB0013491},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/WallL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/BjornfotLWA95,
author = {Lars Bj{\"{o}}rnfot and
Kristina Lundqvist and
G{\"{o}}ran Wall and
Lars Asplund},
editor = {Charles B. Engle Jr.},
title = {Termination of Ada tasks in hardware},
booktitle = {Proceedings of the conference on TRI-Ada 1995: Ada's role in global
markets: solutions for a changing complex world, November 5 -10, 1995,
Anaheim, CA, {USA}},
pages = {474--486},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/376503.376725},
doi = {10.1145/376503.376725},
timestamp = {Tue, 10 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigada/BjornfotLWA95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BjornfotLWA94,
author = {Lars Bj{\"{o}}rnfot and
Kristina Lundqvist and
G{\"{o}}ran Wall and
Lars Asplund},
editor = {Marcel Toussaint},
title = {Distribution of Tasks within a Centrally Scheduled Local Area Network},
booktitle = {Ada in Europe, First International Eurospace - Ada-Europe Symposium,
Copenhagen, Denmark, September 26-30, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {887},
pages = {421--432},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58822-1\_116},
doi = {10.1007/3-540-58822-1\_116},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/BjornfotLWA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/WallABL93,
author = {G{\"{o}}ran Wall and
Lars Asplund and
Lars Bj{\"{o}}rnfot and
Kristina Lundqvist},
editor = {Michel Gauthier},
title = {Performance Expectations on Ada Programs},
booktitle = {Ada-Europe '93, 12th Ada-Europe International Conference, Ada Sans
Fronti{\`{e}}res, Paris, France, June 14-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {688},
pages = {227--239},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56802-6\_18},
doi = {10.1007/3-540-56802-6\_18},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/WallABL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BjornfotALW93,
author = {Lars Bj{\"{o}}rnfot and
Lars Asplund and
Kristina Lundqvist and
G{\"{o}}ran Wall},
editor = {Michel Gauthier},
title = {Distributed Run-Time Systems, a Protocol for Ada},
booktitle = {Ada-Europe '93, 12th Ada-Europe International Conference, Ada Sans
Fronti{\`{e}}res, Paris, France, June 14-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {688},
pages = {249--263},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56802-6\_20},
doi = {10.1007/3-540-56802-6\_20},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/BjornfotALW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:56 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:
