Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Paul Pettersson
@book{DBLP:books/sp/FersmanPK23,
author = {Elena Fersman and
Paul Pettersson and
Athanasios Karapantelakis},
title = {Confessions of an {AI} Brain},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-25935-7},
doi = {10.1007/978-3-031-25935-7},
isbn = {978-3-031-25934-0},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/FersmanPK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/LindstromOSAP17,
author = {Birgitta Lindstr{\"{o}}m and
Jeff Offutt and
Daniel Sundmark and
Sten F. Andler and
Paul Pettersson},
title = {Using mutation to design tests for aspect-oriented models},
journal = {Inf. Softw. Technol.},
volume = {81},
pages = {112--130},
year = {2017},
url = {https://doi.org/10.1016/j.infsof.2016.04.007},
doi = {10.1016/J.INFSOF.2016.04.007},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/LindstromOSAP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SeceleanuJSSSEP17,
author = {Cristina Seceleanu and
Morgan E. Johansson and
Jagadish Suryadevara and
Gaetana Sapienza and
Tiberiu Seceleanu and
Stein Erik Ellevseth and
Paul Pettersson},
title = {Analyzing a wind turbine system: From simulation to formal verification},
journal = {Sci. Comput. Program.},
volume = {133},
pages = {216--242},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2016.09.007},
doi = {10.1016/J.SCICO.2016.09.007},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SeceleanuJSSSEP17.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/icst/EnoiuSCP17,
author = {Eduard Paul Enoiu and
Daniel Sundmark and
Adnan Causevic and
Paul Pettersson},
title = {A Comparative Study of Manual and Automated Testing for Industrial
Control Software},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {412--417},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.44},
doi = {10.1109/ICST.2017.44},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icst/EnoiuSCP17.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}
}
@article{DBLP:journals/sttt/EnoiuCOWSP16,
author = {Eduard Paul Enoiu and
Adnan Causevic and
Thomas J. Ostrand and
Elaine J. Weyuker and
Daniel Sundmark and
Paul Pettersson},
title = {Automated test generation using model checking: an industrial evaluation},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {18},
number = {3},
pages = {335--353},
year = {2016},
url = {https://doi.org/10.1007/s10009-014-0355-9},
doi = {10.1007/S10009-014-0355-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/EnoiuCOWSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/EnoiuCSP16,
author = {Eduard Paul Enoiu and
Adnan Causevic and
Daniel Sundmark and
Paul Pettersson},
title = {A Controlled Experiment in Testing of Safety-Critical Embedded Software},
booktitle = {2016 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
pages = {1--11},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICST.2016.15},
doi = {10.1109/ICST.2016.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/EnoiuCSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/EnoiuSCFP16,
author = {Eduard Paul Enoiu and
Daniel Sundmark and
Adnan Causevic and
Robert Feldt and
Paul Pettersson},
editor = {Franz Wotawa and
Mihai Nica and
Natalia Kushik},
title = {Mutation-Based Test Generation for {PLC} Embedded Software Using Model
Checking},
booktitle = {Testing Software and Systems - 28th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2016, Graz, Austria, October 17-19, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9976},
pages = {155--171},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47443-4\_10},
doi = {10.1007/978-3-319-47443-4\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/EnoiuSCFP16.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}
}
@article{DBLP:journals/ac/MarinescuSGP15,
author = {Raluca Marinescu and
Cristina Seceleanu and
H{\'{e}}l{\`{e}}ne Le Guen and
Paul Pettersson},
title = {Chapter Three - {A} Research Overview of Tool-Supported Model-based
Testing of Requirements-based Designs},
journal = {Adv. Comput.},
volume = {98},
pages = {89--140},
year = {2015},
url = {https://doi.org/10.1016/bs.adcom.2015.03.003},
doi = {10.1016/BS.ADCOM.2015.03.003},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ac/MarinescuSGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SeceleanuP15,
author = {Cristina Cerschi Seceleanu and
Paul Pettersson},
title = {Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {1},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.11.002},
doi = {10.1016/J.JLAMP.2014.11.002},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/SeceleanuP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LindstromAOPS15,
author = {Birgitta Lindstr{\"{o}}m and
Sten F. Andler and
Jeff Offutt and
Paul Pettersson and
Daniel Sundmark},
title = {Mutating aspect-oriented models to test cross-cutting concerns},
booktitle = {Eighth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17,
2015},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSTW.2015.7107456},
doi = {10.1109/ICSTW.2015.7107456},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/LindstromAOPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HatvaniDSP14,
author = {Leo Hatvani and
Alexandre David and
Cristina Cerschi Seceleanu and
Paul Pettersson},
title = {Adaptive Task Automata with Earliest-Deadline-First Scheduling},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {70},
year = {2014},
url = {https://doi.org/10.14279/tuj.eceasst.70.975},
doi = {10.14279/TUJ.ECEASST.70.975},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HatvaniDSP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/MarinescuSBSP14,
author = {Raluca Marinescu and
Mehrdad Saadatmand and
Alessio Bucaioni and
Cristina Cerschi Seceleanu and
Paul Pettersson},
title = {A Model-Based Testing Framework for Automotive Embedded Systems},
booktitle = {40th {EUROMICRO} Conference on Software Engineering and Advanced Applications,
{EUROMICRO-SEAA} 2014, Verona, Italy, August 27-29, 2014},
pages = {38--47},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SEAA.2014.70},
doi = {10.1109/SEAA.2014.70},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/MarinescuSBSP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CausevicSP14,
author = {Aida Causevic and
Cristina Cerschi Seceleanu and
Paul Pettersson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Distributed Energy Management Case Study: {A} Formal Approach to Analyzing
Utility Functions},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {74--87},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_6},
doi = {10.1007/978-3-662-45231-8\_6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/CausevicSP14.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}
}
@article{DBLP:journals/ress/KangEMSSP13,
author = {Eun{-}Young Kang and
Eduard Paul Enoiu and
Raluca Marinescu and
Cristina Cerschi Seceleanu and
Pierre{-}Yves Schobbens and
Paul Pettersson},
title = {A methodology for formal analysis and verification of {EAST-ADL} models},
journal = {Reliab. Eng. Syst. Saf.},
volume = {120},
pages = {127--138},
year = {2013},
url = {https://doi.org/10.1016/j.ress.2013.06.007},
doi = {10.1016/J.RESS.2013.06.007},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/KangEMSSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/HatvaniSP13,
author = {Leo Hatvani and
Cristina Cerschi Seceleanu and
Paul Pettersson},
title = {Modeling and analysis of adaptive embedded systems using adaptive
task automata},
journal = {{SIGBED} Rev.},
volume = {10},
number = {1},
pages = {43--47},
year = {2013},
url = {https://doi.org/10.1145/2492385.2492393},
doi = {10.1145/2492385.2492393},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/HatvaniSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/SuryadevaraSSSEP13,
author = {Jagadish Suryadevara and
Gaetana Sapienza and
Cristina Cerschi Seceleanu and
Tiberiu Seceleanu and
Stein Erik Ellevseth and
Paul Pettersson},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Wind Turbine System: An Industrial Case Study in Formal Modeling and
Verification},
booktitle = {Formal Techniques for Safety-Critical Systems - Second International
Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {419},
pages = {229--245},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05416-2\_15},
doi = {10.1007/978-3-319-05416-2\_15},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/SuryadevaraSSSEP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/EnoiuDBSP13,
author = {Eduard Paul Enoiu and
Kivanc Doganay and
Markus Bohlin and
Daniel Sundmark and
Paul Pettersson},
editor = {Richard F. Paige and
Mark Harman and
James R. Williams},
title = {{MOS:} An integrated model-based and search-based testing tool for
Function Block Diagrams},
booktitle = {1st International Workshop on Combining Modelling and Search-Based
Software Engineering, CMSBSE@ICSE 2013, San Francisco, CA, USA, May
20, 2013},
pages = {55--60},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CMSBSE.2013.6605711},
doi = {10.1109/CMSBSE.2013.6605711},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/EnoiuDBSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/EnoiuSP13,
author = {Eduard Paul Enoiu and
Daniel Sundmark and
Paul Pettersson},
title = {Model-Based Test Suite Generation for Function Block Diagrams Using
the {UPPAAL} Model Checker},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
March 18-22, 2013},
pages = {158--167},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSTW.2013.27},
doi = {10.1109/ICSTW.2013.27},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/EnoiuSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/EnoiuSP13,
author = {Eduard Paul Enoiu and
Daniel Sundmark and
Paul Pettersson},
editor = {H{\"{u}}sn{\"{u}} Yenig{\"{u}}n and
Cemal Yilmaz and
Andreas Ulrich},
title = {Using Logic Coverage to Improve Testing Function Block Diagrams},
booktitle = {Testing Software and Systems - 25th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2013, Istanbul, Turkey, November 13-15, 2013,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8254},
pages = {1--16},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41707-8\_1},
doi = {10.1007/978-3-642-41707-8\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/EnoiuSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SuryadevaraSMP13,
author = {Jagadish Suryadevara and
Cristina Cerschi Seceleanu and
Fr{\'{e}}d{\'{e}}ric Mallet and
Paul Pettersson},
editor = {Robert M. Hierons and
Mercedes G. Merayo and
Mario Bravetti},
title = {Verifying {MARTE/CCSL} Mode Behaviors Using {UPPAAL}},
booktitle = {Software Engineering and Formal Methods - 11th International Conference,
{SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8137},
pages = {1--15},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40561-7\_1},
doi = {10.1007/978-3-642-40561-7\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/SuryadevaraSMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/CausevicSP13,
author = {Aida Causevic and
Cristina Cerschi Seceleanu and
Paul Pettersson},
title = {An Analyzable Model of Automated Service Negotiation},
booktitle = {Seventh {IEEE} International Symposium on Service-Oriented System
Engineering, {SOSE} 2013, San Francisco, CA, USA, March 25-28, 2013},
pages = {125--136},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SOSE.2013.51},
doi = {10.1109/SOSE.2013.51},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/CausevicSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/13/DavidBBBCLPRS0JLMRT13,
author = {Alexandre David and
Gerd Behrmann and
Peter E. Bulychev and
Joakim Byg and
Thomas Chatain and
Kim G. Larsen and
Paul Pettersson and
Jacob Illum Rasmussen and
Jir{\'{\i}} Srba and
Wang Yi and
Kenneth Yrke J{\o}rgensen and
Didier Lime and
Morgan Magnin and
Olivier H. Roux and
Louis{-}Marie Traonouez},
editor = {Claude Jard and
Olivier H. Roux},
title = {Tools for Model-Checking Timed Systems},
booktitle = {Communicating Embedded Systems},
pages = {165--225},
publisher = {Wiley},
year = {2013},
url = {https://doi.org/10.1002/9781118558188.ch6},
doi = {10.1002/9781118558188.CH6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/wi/13/DavidBBBCLPRS0JLMRT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/HatvaniPS12,
author = {Leo Hatvani and
Paul Pettersson and
Cristina Cerschi Seceleanu},
editor = {Juan de Lara and
Andrea Zisman},
title = {Adaptive Task Automata: {A} Framework for Verifying Adaptive Embedded
Systems},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {115--129},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_9},
doi = {10.1007/978-3-642-28872-2\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/HatvaniPS12.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/iceccs/EnoiuMSP12,
author = {Eduard Paul Enoiu and
Raluca Marinescu and
Cristina Cerschi Seceleanu and
Paul Pettersson},
editor = {Isabelle Perseil and
Karin K. Breitman and
Marc Pouzet},
title = {ViTAL: {A} Verification Tool for {EAST-ADL} Models Using {UPPAAL}
{PORT}},
booktitle = {17th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012},
pages = {328--337},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.42},
doi = {10.1109/ICECCS.2012.42},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/EnoiuMSP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CausevicSP12,
author = {Aida Causevic and
Cristina Cerschi Seceleanu and
Paul Pettersson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Checking Correctness of Services Modeled as Priced Timed Automata},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Applications and Case Studies - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7610},
pages = {308--322},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34032-1\_29},
doi = {10.1007/978-3-642-34032-1\_29},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/CausevicSP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BehrmannDLPY11,
author = {Gerd Behrmann and
Alexandre David and
Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
title = {Developing {UPPAAL} over 15 years},
journal = {Softw. Pract. Exp.},
volume = {41},
number = {2},
pages = {133--142},
year = {2011},
url = {https://doi.org/10.1002/spe.1006},
doi = {10.1002/SPE.1006},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/BehrmannDLPY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Pettersson11,
author = {Paul Pettersson},
title = {Formal Methods Applied in Industry - On the Commercialisation of the
{UPPAAL} Tool},
booktitle = {Proceedings of the 35th Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2011, Munich, Germany, 18-22
July 2011},
pages = {450--451},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/COMPSAC.2011.110},
doi = {10.1109/COMPSAC.2011.110},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/Pettersson11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SuryadevaraSP11,
author = {Jagadish Suryadevara and
Cristina Cerschi Seceleanu and
Paul Pettersson},
title = {Pattern-Driven Support for Designing Component-Based Architectural
Models},
booktitle = {18th {IEEE} International Conference and Workshops on the Engineering
of Computer-Based Systems, {ECBS} 2011, Las Vegas, NV, USA, 27-29
April, 2011},
pages = {187--196},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ECBS.2011.20},
doi = {10.1109/ECBS.2011.20},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/SuryadevaraSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/AsbergPN11,
author = {Mikael Asberg and
Paul Pettersson and
Thomas Nolte},
editor = {Karl{-}Erik {\AA}rz{\'{e}}n},
title = {Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority
Preemptive Scheduling},
booktitle = {23rd Euromicro Conference on Real-Time Systems, {ECRTS} 2011, Porto,
Portugal, 5-8 July, 2011},
pages = {172--181},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ECRTS.2011.24},
doi = {10.1109/ECRTS.2011.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/AsbergPN11.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}
}
@inproceedings{DBLP:conf/qsic/VulgarakisSPSH11,
author = {Aneta Vulgarakis and
Cristina Cerschi Seceleanu and
Paul Pettersson and
Ivan Skuliber and
Darko Huljenic},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Robert M. Hierons and
Mercedes G. Merayo},
title = {Validation of Embedded Systems Behavioral Models on a Component-Based
Ericsson Nikola Tesla Demonstrator},
booktitle = {Proceedings of the 11th International Conference on Quality Software,
{QSIC} 2011, Madrid, Spain, July 13-14, 2011},
pages = {156--165},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/QSIC.2011.11},
doi = {10.1109/QSIC.2011.11},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/VulgarakisSPSH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KangSP11,
author = {Eun{-}Young Kang and
Pierre{-}Yves Schobbens and
Paul Pettersson},
editor = {Francesco Flammini and
Sandro Bologna and
Valeria Vittorini},
title = {Verifying Functional Behaviors of Automotive Products in {EAST-ADL2}
Using {UPPAAL-PORT}},
booktitle = {Computer Safety, Reliability, and Security - 30th International Conference,
{SAFECOMP} 2011, Naples, Italy, September 19-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6894},
pages = {243--256},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24270-0\_18},
doi = {10.1007/978-3-642-24270-0\_18},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KangSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/SuryadevaraKSP10,
author = {Jagadish Suryadevara and
Eun{-}Young Kang and
Cristina Cerschi Seceleanu and
Paul Pettersson},
editor = {Lars Grunske and
Ralf H. Reussner and
Frantisek Pl{\'{a}}sil},
title = {Bridging the Semantic Gap between Abstract Models of Embedded Systems},
booktitle = {Component-Based Software Engineering, 13th International Symposium,
{CBSE} 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6092},
pages = {55--73},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13238-4\_4},
doi = {10.1007/978-3-642-13238-4\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbse/SuryadevaraKSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/LiP10,
author = {Shuhao Li and
Paul Pettersson},
title = {Verification and controller synthesis for resource-constrained real-time
systems: Case study of an autonomous truck},
booktitle = {Proceedings of 15th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2010, September 13-16, 2010, Bilbao,
Spain},
pages = {1--8},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ETFA.2010.5641354},
doi = {10.1109/ETFA.2010.5641354},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/LiP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CausevicSP10,
author = {Aida Causevic and
Cristina Cerschi Seceleanu and
Paul Pettersson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Modeling and Reasoning about Service Behaviors and Their Compositions},
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 = {82--96},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_14},
doi = {10.1007/978-3-642-16561-0\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/CausevicSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HatvaniJSP10,
author = {Leo Hatvani and
Anton Jansen and
Cristina Seceleanu and
Paul Pettersson},
editor = {Steffen Becker and
Jens Happe and
Heiko Koziolek and
Paul Pettersson},
title = {An integrated tool for trade-off analysis of quality-of-service attributes},
booktitle = {Proceedings of the 2nd International Workshop on the Quality of Service-Oriented
Software Systems, {QUASOSS} '10, Oslo, Norway, October 4, 2010},
pages = {2:1--2:6},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1858263.1858266},
doi = {10.1145/1858263.1858266},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/HatvaniJSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KoziolekBHP10,
author = {Heiko Koziolek and
Steffen Becker and
Jens Happe and
Paul Pettersson},
editor = {J{\"{u}}rgen Dingel and
Arnor Solberg},
title = {Quality of Service-Oriented Software Systems {(QUASOSS} 2010)},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6627},
pages = {364--368},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21210-9\_35},
doi = {10.1007/978-3-642-21210-9\_35},
timestamp = {Wed, 23 Feb 2022 12:58:06 +0100},
biburl = {https://dblp.org/rec/conf/models/KoziolekBHP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GustavssonELP10,
author = {Andreas Gustavsson and
Andreas Ermedahl and
Bj{\"{o}}rn Lisper and
Paul Pettersson},
editor = {Bj{\"{o}}rn Lisper},
title = {Towards {WCET} Analysis of Multicore Architectures Using {UPPAAL}},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2010, July 6, 2010, Brussels, Belgium},
series = {OASIcs},
volume = {15},
pages = {101--112},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2010},
url = {https://doi.org/10.4230/OASIcs.WCET.2010.101},
doi = {10.4230/OASICS.WCET.2010.101},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/wcet/GustavssonELP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2010quasoss,
editor = {Steffen Becker and
Jens Happe and
Heiko Koziolek and
Paul Pettersson},
title = {Proceedings of the 2nd International Workshop on the Quality of Service-Oriented
Software Systems, {QUASOSS} '10, Oslo, Norway, October 4, 2010},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1858263},
doi = {10.1145/1858263},
isbn = {978-1-4503-0239-5},
timestamp = {Tue, 18 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2010quasoss.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/VulgarakisSCSP09,
author = {Aneta Vulgarakis and
Jagadish Suryadevara and
Jan Carlson and
Cristina Cerschi Seceleanu and
Paul Pettersson},
title = {Formal Semantics of the ProCom Real-Time Component Model},
booktitle = {35th Euromicro Conference on Software Engineering and Advanced Applications,
{SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings},
pages = {478--485},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEAA.2009.53},
doi = {10.1109/SEAA.2009.53},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/VulgarakisSCSP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SeceleanuVP09,
author = {Cristina Cerschi Seceleanu and
Aneta Vulgarakis and
Paul Pettersson},
title = {{REMES:} {A} Resource Model for Embedded Systems},
booktitle = {14th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2009, Potsdam, Germany, 2-4 June 2009},
pages = {84--94},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICECCS.2009.49},
doi = {10.1109/ICECCS.2009.49},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SeceleanuVP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SentillesPNNPC09,
author = {S{\'{e}}verine Sentilles and
Anders Pettersson and
Dag Nystr{\"{o}}m and
Thomas Nolte and
Paul Pettersson and
Ivica Crnkovic},
title = {Save-IDE - {A} tool for design, analysis and implementation of component-based
embedded systems},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {607--610},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070567},
doi = {10.1109/ICSE.2009.5070567},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SentillesPNNPC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SlutejHSSP09,
author = {Davor Slutej and
John H{\aa}kansson and
Jagadish Suryadevara and
Cristina Cerschi Seceleanu and
Paul Pettersson},
editor = {Jens Happe and
Barbora Zimmerov{\'{a}}},
title = {Analyzing a Pattern-Based Model of a Real-Time Turntable System},
booktitle = {Proceedings of the Sixth International Workshop on Formal Engineering
approches to Software Components and Architectures, FESCA@ETAPS 2009,
York, UK, April 28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {1},
pages = {161--178},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.034},
doi = {10.1016/J.ENTCS.2009.09.034},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SlutejHSSP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2009quasoss,
editor = {Heiko Koziolek and
Paul Pettersson and
Petr Hnetynka},
title = {Proceedings of the 1st international workshop on Quality of service-oriented
software systems, {QUASOSS} '09, Amsterdam, The Netherlands, August
25, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596473},
doi = {10.1145/1596473},
isbn = {978-1-60558-709-7},
timestamp = {Tue, 18 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2009quasoss.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HakanssonCMPS08,
author = {John H{\aa}kansson and
Jan Carlson and
Aurelien Monot and
Paul Pettersson and
Davor Slutej},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Component-Based Design and Analysis of Embedded Systems with {UPPAAL}
{PORT}},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {252--257},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_23},
doi = {10.1007/978-3-540-88387-6\_23},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/atva/HakanssonCMPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/CausevicPS08,
author = {Aida Causevic and
Paul Pettersson and
Cristina Cerschi Seceleanu},
editor = {Masoud Mohammadian},
title = {Analyzing Resource-Usage Impact on Component-Based Systems Performance
and Reliability},
booktitle = {2008 International Conferences on Computational Intelligence for Modelling,
Control and Automation {(CIMCA} 2008), Intelligent Agents, Web Technologies
and Internet Commerce {(IAWTIC} 2008), Innovation in Software Engineering
{(ISE} 2008), 10-12 December 2008, Vienna, Austria},
pages = {302--308},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CIMCA.2008.190},
doi = {10.1109/CIMCA.2008.190},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cimca/CausevicPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SeceleanuPH08,
author = {Cristina Cerschi Seceleanu and
Paul Pettersson and
Hans Hansson},
title = {Message from the {CORCS} 2008 Workshop Organizers},
booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
Turku, Finland},
pages = {1295},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/COMPSAC.2008.276},
doi = {10.1109/COMPSAC.2008.276},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SeceleanuPH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SeceleanuPH08a,
author = {Cristina Cerschi Seceleanu and
Paul Pettersson and
Hans Hansson},
title = {{CORCS} 2008 Workshop Organization},
booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
Turku, Finland},
pages = {1296},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/COMPSAC.2008.277},
doi = {10.1109/COMPSAC.2008.277},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SeceleanuPH08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fortest/HesselLMNPS08,
author = {Anders Hessel and
Kim Guldstrand Larsen and
Marius Mikucionis and
Brian Nielsen and
Paul Pettersson and
Arne Skou},
editor = {Robert M. Hierons and
Jonathan P. Bowen and
Mark Harman},
title = {Testing Real-Time Systems Using {UPPAAL}},
booktitle = {Formal Methods and Testing, An Outcome of the {FORTEST} Network, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4949},
pages = {77--117},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78917-8\_3},
doi = {10.1007/978-3-540-78917-8\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fortest/HesselLMNPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SeceleanuPH08,
author = {Cristina Cerschi Seceleanu and
Paul Pettersson and
Hans Hansson},
title = {Scheduling Timed Modules for Correct Resource Sharing},
booktitle = {First International Conference on Software Testing, Verification,
and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
pages = {102--111},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICST.2008.70},
doi = {10.1109/ICST.2008.70},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SeceleanuPH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HincheyKLLMMPSW08,
author = {Michael G. Hinchey and
Karama Kanoun and
Mikael Lindvall and
Michael R. Lyu and
Tiziana Margaria and
Veena B. Mendiratta and
Paul Pettersson and
Norman F. Schneidewind and
W. Eric Wong},
title = {Anything You Want to Ask about Software Reliability Engineering},
booktitle = {19th International Symposium on Software Reliability Engineering {(ISSRE}
2008), 11-14 November 2008, Seattle/Redmond, WA, {USA}},
pages = {6},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISSRE.2008.67},
doi = {10.1109/ISSRE.2008.67},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/HincheyKLLMMPSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SentillesPCH08,
author = {S{\'{e}}verine Sentilles and
Paul Pettersson and
Ivica Crnkovic and
John H{\aa}kansson},
title = {Save-IDE: An Integrated Development Environment for Building Predictable
Component-Based Embedded Systems},
booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
pages = {493--494},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ASE.2008.87},
doi = {10.1109/ASE.2008.87},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SentillesPCH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/KePSA08,
author = {Xu Ke and
Paul Pettersson and
Krzysztof Sierszecki and
Christo Angelov},
title = {Verification of {COMDES-II} Systems Using {UPPAAL} with Model Transformation},
booktitle = {The Fourteenth {IEEE} Internationl Conference on Embedded and Real-Time
Computing Systems and Applications, {RTCSA} 2008, Kaohisung, Taiwan,
25-27 August 2008, Proceedings},
pages = {153--160},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RTCSA.2008.32},
doi = {10.1109/RTCSA.2008.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/KePSA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FersmanKPY07,
author = {Elena Fersman and
Pavel Krc{\'{a}}l and
Paul Pettersson and
Wang Yi},
title = {Task automata: Schedulability, decidability and undecidability},
journal = {Inf. Comput.},
volume = {205},
number = {8},
pages = {1149--1172},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2007.01.009},
doi = {10.1016/J.IC.2007.01.009},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FersmanKPY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AkerholmCFHHMPT07,
author = {Mikael {\AA}kerholm and
Jan Carlson and
Johan Fredriksson and
Hans Hansson and
John H{\aa}kansson and
Anders M{\"{o}}ller and
Paul Pettersson and
Massimo Tivoli},
title = {The {SAVE} approach to component-based development of vehicular systems},
journal = {J. Syst. Softw.},
volume = {80},
number = {5},
pages = {655--667},
year = {2007},
url = {https://doi.org/10.1016/j.jss.2006.08.016},
doi = {10.1016/J.JSS.2006.08.016},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/AkerholmCFHHMPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/debs/EricssonPBS07,
author = {AnnMarie Ericsson and
Paul Pettersson and
Mikael Berndtsson and
Marco Seiri{\"{o}}},
editor = {Hans{-}Arno Jacobsen and
Gero M{\"{u}}hl and
Michael A. Jaeger},
title = {Seamless formal verification of complex event processing applications},
booktitle = {Proceedings of the 2007 Inaugural International Conference on Distributed
Event-Based Systems, {DEBS} 2007, Toronto, Ontario, Canada, June 20-22,
2007},
series = {{ACM} International Conference Proceeding Series},
volume = {233},
pages = {50--61},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1266894.1266903},
doi = {10.1145/1266894.1266903},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/debs/EricssonPBS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/HakanssonP07,
author = {John H{\aa}kansson and
Paul Pettersson},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
P. S. Thiagarajan},
title = {Partial Order Reduction for Verification of Real-Time Components},
booktitle = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
{FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4763},
pages = {211--226},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75454-1\_16},
doi = {10.1007/978-3-540-75454-1\_16},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/HakanssonP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LindstromPO07,
author = {Birgitta Lindstr{\"{o}}m and
Paul Pettersson and
Jeff Offutt},
title = {Generating Trace-Sets for Model-based Testing},
booktitle = {{ISSRE} 2007, The 18th {IEEE} International Symposium on Software
Reliability, Trollh{\"{a}}ttan, Sweden, 5-9 November 2007},
pages = {171--180},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISSRE.2007.15},
doi = {10.1109/ISSRE.2007.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/LindstromPO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HesselP07,
author = {Anders Hessel and
Paul Pettersson},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {A Global Algorithm for Model-Based Test Suite Generation},
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 = {47--59},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.08.005},
doi = {10.1016/J.ENTCS.2007.08.005},
timestamp = {Tue, 31 Jan 2023 15:52:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HesselP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FersmanMPY06,
author = {Elena Fersman and
Leonid Mokrushin and
Paul Pettersson and
Wang Yi},
title = {Schedulability analysis of fixed-priority systems using timed automata},
journal = {Theor. Comput. Sci.},
volume = {354},
number = {2},
pages = {301--317},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.11.019},
doi = {10.1016/J.TCS.2005.11.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FersmanMPY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GrinchteinJP06,
author = {Olga Grinchtein and
Bengt Jonsson and
Paul Pettersson},
editor = {Christel Baier and
Holger Hermanns},
title = {Inference of Event-Recording Automata Using Timed Decision Trees},
booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
{CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4137},
pages = {435--449},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817949\_29},
doi = {10.1007/11817949\_29},
timestamp = {Sat, 30 Sep 2023 09:37:42 +0200},
biburl = {https://dblp.org/rec/conf/concur/GrinchteinJP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/HesselP06,
author = {Anders Hessel and
Paul Pettersson},
editor = {Lubos Brim and
Boudewijn R. Haverkort and
Martin Leucker and
Jaco van de Pol},
title = {Model-Based Testing of a {WAP} Gateway: An Industrial Case-Study},
booktitle = {Formal Methods: Applications and Technology, 11th International Workshop,
{FMICS} 2006 and 5th International Workshop {PDMC} 2006, Bonn, Germany,
August 26-27, and August 31, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4346},
pages = {116--131},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70952-7\_8},
doi = {10.1007/978-3-540-70952-7\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/HesselP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DavidHLP06,
author = {Alexandre David and
John H{\aa}kansson and
Kim Guldstrand Larsen and
Paul Pettersson},
editor = {Eugene Asarin and
Patricia Bouyer},
title = {Model Checking Timed Automata with Priorities Using {DBM} Subtraction},
booktitle = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
{FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4202},
pages = {128--142},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11867340\_10},
doi = {10.1007/11867340\_10},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/DavidHLP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BehrmannDLHPYH06,
author = {Gerd Behrmann and
Alexandre David and
Kim Guldstrand Larsen and
John H{\aa}kansson and
Paul Pettersson and
Wang Yi and
Martijn Hendriks},
title = {{UPPAAL} 4.0},
booktitle = {Third International Conference on the Quantitative Evaluation of Systems
{(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}},
pages = {125--126},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/QEST.2006.59},
doi = {10.1109/QEST.2006.59},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/BehrmannDLHPYH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/PetterssonY05,
author = {Paul Pettersson and
Wang Yi},
title = {Guest Editors' Foreword},
journal = {Nord. J. Comput.},
volume = {12},
number = {2},
pages = {67},
year = {2005},
timestamp = {Fri, 07 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/PetterssonY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CarlsonHP06,
author = {Jan Carlson and
John H{\aa}kansson and
Paul Pettersson},
editor = {Zhiming Liu and
Lu{\'{\i}}s Soares Barbosa},
title = {SaveCCM: An Analysable Component Model for Real-Time Systems},
booktitle = {Proceedings of the International Workshop on Formal Aspects of Component
Software, {FACS} 2005, Macao, October 24-25, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {160},
pages = {127--140},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.05.019},
doi = {10.1016/J.ENTCS.2006.05.019},
timestamp = {Thu, 15 Dec 2022 16:29:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CarlsonHP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2005,
editor = {Paul Pettersson and
Wang Yi},
title = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009},
doi = {10.1007/11603009},
isbn = {3-540-30946-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/BlomHJP04,
author = {Johan Blom and
Anders Hessel and
Bengt Jonsson and
Paul Pettersson},
editor = {Jens Grabowski and
Brian Nielsen},
title = {Specifying and Generating Test Cases Using Observer Automata},
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 = {125--139},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31848-4\_9},
doi = {10.1007/978-3-540-31848-4\_9},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fates/BlomHJP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/HesselP04,
author = {Anders Hessel and
Paul Pettersson},
title = {A Test Case Generation Algorithm for Real-Time Systems},
booktitle = {4th International Conference on Quality Software {(QSIC} 2004), 8-10
September 2004, Braunschweig, Germany},
pages = {268--273},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/QSIC.2004.1357969},
doi = {10.1109/QSIC.2004.1357969},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/HesselP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/LarsenLPY03,
author = {Kim Guldstrand Larsen and
Fredrik Larsson and
Paul Pettersson and
Wang Yi},
title = {Compact Data Structures and State-Space Reduction for Model-Checking
Real-Time Systems},
journal = {Real Time Syst.},
volume = {25},
number = {2-3},
pages = {255--275},
year = {2003},
url = {https://doi.org/10.1023/A:1025132427497},
doi = {10.1023/A:1025132427497},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/LarsenLPY03.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/AmnellFMPY03,
author = {Tobias Amnell and
Elena Fersman and
Leonid Mokrushin and
Paul Pettersson and
Wang Yi},
editor = {Kim Guldstrand Larsen and
Peter Niebert},
title = {{TIMES:} {A} Tool for Schedulability Analysis and Code Generation
of 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 = {60--72},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40903-8\_6},
doi = {10.1007/978-3-540-40903-8\_6},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/AmnellFMPY03.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 = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/HesselLNPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FersmanMPY03,
author = {Elena Fersman and
Leonid Mokrushin and
Paul Pettersson and
Wang Yi},
editor = {Hubert Garavel and
John Hatcliff},
title = {Schedulability Analysis Using Two Clocks},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {224--239},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_16},
doi = {10.1007/3-540-36577-X\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FersmanMPY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BengtssonGKLLPY02,
author = {Johan Bengtsson and
W. O. David Griffioen and
K{\aa}re J. Kristoffersen and
Kim Guldstrand Larsen and
Fredrik Larsson and
Paul Pettersson and
Wang Yi},
title = {Automated verification of an audio-control protocol using {UPPAAL}},
journal = {J. Log. Algebraic Methods Program.},
volume = {52-53},
pages = {163--181},
year = {2002},
url = {https://doi.org/10.1016/S1567-8326(02)00036-X},
doi = {10.1016/S1567-8326(02)00036-X},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BengtssonGKLLPY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/AmnellFPSY02,
author = {Tobias Amnell and
Elena Fersman and
Paul Pettersson and
Hongyan Sun and
Wang Yi},
title = {Code Synthesis for Timed Automata},
journal = {Nord. J. Comput.},
volume = {9},
number = {4},
pages = {269--300},
year = {2002},
timestamp = {Fri, 07 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/AmnellFPSY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BehrmannBDLPY02,
author = {Gerd Behrmann and
Johan Bengtsson and
Alexandre David and
Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {{UPPAAL} Implementation Secrets},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {3--22},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_1},
doi = {10.1007/3-540-45739-9\_1},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BehrmannBDLPY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FersmanPY02,
author = {Elena Fersman and
Paul Pettersson and
Wang Yi},
editor = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {Timed Automata with Asynchronous Processes: Schedulability and Decidability},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
8th International Conference, {TACAS} 2002, Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2002,
Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2280},
pages = {67--82},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46002-0\_6},
doi = {10.1007/3-540-46002-0\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FersmanPY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AmnellFMPY02,
author = {Tobias Amnell and
Elena Fersman and
Leonid Mokrushin and
Paul Pettersson and
Wang Yi},
editor = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {{TIMES} - {A} Tool for Modelling and Implementation of Embedded Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
8th International Conference, {TACAS} 2002, Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2002,
Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2280},
pages = {460--464},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46002-0\_32},
doi = {10.1007/3-540-46002-0\_32},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AmnellFMPY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HuneLP01,
author = {Thomas Hune and
Kim Guldstrand Larsen and
Paul Pettersson},
title = {Guided Synthesis of Control Programs Using {UPPAAL}},
journal = {Nord. J. Comput.},
volume = {8},
number = {1},
pages = {43--64},
year = {2001},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/HuneLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LindahlPY01,
author = {Magnus Lindahl and
Paul Pettersson and
Wang Yi},
title = {Formal design and analysis of a gear controller},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {3},
number = {3},
pages = {353--368},
year = {2001},
url = {https://doi.org/10.1007/s100090100048},
doi = {10.1007/S100090100048},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LindahlPY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LarsenBBFHPR01,
author = {Kim Guldstrand Larsen and
Gerd Behrmann and
Ed Brinksma and
Ansgar Fehnker and
Thomas Hune and
Paul Pettersson and
Judi Romijn},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced
Timed Automata},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {493--505},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_47},
doi = {10.1007/3-540-44585-4\_47},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LarsenBBFHPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BehrmannLMDPY01,
author = {Gerd Behrmann and
Kim G. Larsen and
Oliver M{\"{o}}ller and
Alexandre David and
Paul Pettersson and
Wang Yi},
title = {{UPPAAL} - present and future},
booktitle = {40th {IEEE} Conference on Decision and Control, {CDC} 2001, Orlando,
FL, USA, 4-7 Dec., 2001},
pages = {2881--2886},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/.2001.980713},
doi = {10.1109/.2001.980713},
timestamp = {Thu, 13 Oct 2022 17:08:41 +0200},
biburl = {https://dblp.org/rec/conf/cdc/BehrmannLMDPY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BehrmannFHLPRV01,
author = {Gerd Behrmann and
Ansgar Fehnker and
Thomas Hune and
Kim Guldstrand Larsen and
Paul Pettersson and
Judi Romijn and
Frits W. Vaandrager},
editor = {Maria Domenica Di Benedetto and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Minimum-Cost Reachability for Priced Timed Automata},
booktitle = {Hybrid Systems: Computation and Control, 4th International Workshop,
{HSCC} 2001, Rome, Italy, March 28-30, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2034},
pages = {147--161},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45351-2\_15},
doi = {10.1007/3-540-45351-2\_15},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/BehrmannFHLPRV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BehrmannF01,
author = {Gerd Behrmann and
Ansgar Fehnker and
Thomas Hune and
Kim G. Larsen and
Paul Pettersson and
Judi Romijn},
editor = {Tiziana Margaria and
Wang Yi},
title = {Efficient Guiding Towards Cost-Optimality in {UPPAAL}},
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 = {174--188},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_13},
doi = {10.1007/3-540-45319-9\_13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BehrmannF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/IversenKLLMMPT00,
author = {Torsten K. Iversen and
K{\aa}re J. Kristoffersen and
Kim Guldstrand Larsen and
Morten Laursen and
Rune G. Madsen and
Steffen K. Mortensen and
Paul Pettersson and
Chris B. Thomasen},
title = {Model-checking real-time control programs: verifying Lego(R) Mindstorms\({}^{\mbox{TM}}\)
systems using {UPPAAL}},
booktitle = {12th Euromicro Conference on Real-Time Systems {(ECRTS} 2000), 19-21
June 2000, Stockholm, Sweden, Proceedings},
pages = {147--155},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/EMRTS.2000.854002},
doi = {10.1109/EMRTS.2000.854002},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/IversenKLLMMPT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/HuneLP00,
author = {Thomas Hune and
Kim Guldstrand Larsen and
Paul Pettersson},
editor = {Ten{-}Hwang Lai},
title = {Guided Synthesis of Control Programs Using {UPPAAL}},
booktitle = {Proceedings of the 2000 {ICDCS} Workshops, April 10, 2000, Taipei,
Taiwan, {ROC}},
pages = {E15--E22},
year = {2000},
timestamp = {Mon, 22 Mar 2004 09:40:43 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/HuneLP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/movep/AmnellBBDDFHJLMPWY00,
author = {Tobias Amnell and
Gerd Behrmann and
Johan Bengtsson and
Pedro R. D'Argenio and
Alexandre David and
Ansgar Fehnker and
Thomas Hune and
Bertrand Jeannet and
Kim Guldstrand Larsen and
M. Oliver M{\"{o}}ller and
Paul Pettersson and
Carsten Weise and
Wang Yi},
editor = {Franck Cassez and
Claude Jard and
Brigitte Rozoy and
Mark Dermot Ryan},
title = {{UPPAAL} - Now, Next, and Future},
booktitle = {Modeling and Verification of Parallel Processes, 4th Summer School,
{MOVEP} 2000, Nantes, France, June 19-23, 2000},
series = {Lecture Notes in Computer Science},
volume = {2067},
pages = {99--124},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45510-8\_4},
doi = {10.1007/3-540-45510-8\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/movep/AmnellBBDDFHJLMPWY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LarssonPY00,
author = {Fredrik Larsson and
Paul Pettersson and
Wang Yi},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {On Memory-Block Traversal Problems in Model-Checking Timed-Systems},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {127--141},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_10},
doi = {10.1007/3-540-46419-0\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LarssonPY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LindahlPY98,
author = {Magnus Lindahl and
Paul Pettersson and
Wang Yi},
editor = {Bernhard Steffen},
title = {Formal Design and Analysis of a Gear Controller},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 4th
International Conference, {TACAS} '98, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'98,
Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1384},
pages = {281--297},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054178},
doi = {10.1007/BFB0054178},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LindahlPY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LarsenPY97,
author = {Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
title = {{UPPAAL} in a Nutshell},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {1},
number = {1-2},
pages = {134--152},
year = {1997},
url = {https://doi.org/10.1007/s100090050010},
doi = {10.1007/S100090050010},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LarsenPY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LarsenPY97,
author = {Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
editor = {Orna Grumberg},
title = {{UPPAAL:} Status {\&} Developments},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {456--459},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_47},
doi = {10.1007/3-540-63166-6\_47},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/LarsenPY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LarsenLPY97,
author = {Kim Guldstrand Larsen and
Fredrik Larsson and
Paul Pettersson and
Wang Yi},
title = {Efficient verification of real-time systems: compact data structure
and state-space reduction},
booktitle = {Proceedings of the 18th {IEEE} Real-Time Systems Symposium {(RTSS}
'97), December 3-5, 1997, San Francisco, CA, {USA}},
pages = {14--24},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/REAL.1997.641265},
doi = {10.1109/REAL.1997.641265},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/LarsenLPY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/KristoffersenLLPY97,
author = {K{\aa}re J. Kristoffersen and
Fran{\c{c}}ois Laroussinie and
Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
editor = {Michel Bidoit and
Max Dauchet},
title = {A Compositional Proof of a Real-Time Mutual Exclusion Protocol},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {565--579},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030626},
doi = {10.1007/BFB0030626},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/KristoffersenLLPY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BengtssonGKLLPY96,
author = {Johan Bengtsson and
W. O. David Griffioen and
K{\aa}re J. Kristoffersen and
Kim Guldstrand Larsen and
Fredrik Larsson and
Paul Pettersson and
Wang Yi},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {Verification of an Audio Protocol with Bus Collision Using {UPPAAL}},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {244--256},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_73},
doi = {10.1007/3-540-61474-5\_73},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BengtssonGKLLPY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BengtssonLLPY96,
author = {Johan Bengtsson and
Kim Guldstrand Larsen and
Fredrik Larsson and
Paul Pettersson and
Wang Yi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{UPPAAL} in 1995},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second
International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1055},
pages = {431--434},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61042-1\_66},
doi = {10.1007/3-540-61042-1\_66},
timestamp = {Sun, 02 Jun 2019 21:19:27 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BengtssonLLPY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/LarsenPY95,
author = {Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
editor = {Horst Reichel},
title = {Model-Checking for Real-Time Systems},
booktitle = {Fundamentals of Computation Theory, 10th International Symposium,
{FCT} '95, Dresden, Germany, August 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {965},
pages = {62--88},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60249-6\_41},
doi = {10.1007/3-540-60249-6\_41},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/LarsenPY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BengtssonLLPY95,
author = {Johan Bengtsson and
Kim Guldstrand Larsen and
Fredrik Larsson and
Paul Pettersson and
Wang Yi},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {{UPPAAL} - a Tool Suite for Automatic Verification of Real-Time Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {232--243},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020949},
doi = {10.1007/BFB0020949},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BengtssonLLPY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LarsenPY95,
author = {Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Diagnostic Model-Checking for Real-Time Systems},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {575--586},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020977},
doi = {10.1007/BFB0020977},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LarsenPY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LarsenPY95,
author = {Kim Guldstrand Larsen and
Paul Pettersson and
Wang Yi},
title = {Compositional and Symbolic Model-Checking of Real-Time Systems},
booktitle = {16th {IEEE} Real-Time Systems Symposium, Palazzo dei Congressi, Via
Matteotti, 1, Pisa, Italy, December 4-7, 1995, Proceedings},
pages = {76--87},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/REAL.1995.495198},
doi = {10.1109/REAL.1995.495198},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/LarsenPY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/KarlgrenKPNW94,
author = {Jussi Karlgren and
Hans Karlgren and
Paul Pettersson and
Magnus Nordstr{\"{o}}m and
Bengt Wahrol{\'{e}}n},
editor = {Catherine Plaisant},
title = {{DILEMMA:} a tool for rapid manual translation},
booktitle = {Conference on Human Factors in Computing Systems, {CHI} 1994, Boston,
Massachusetts, USA, April 24-28, 1994, Conference Companion},
pages = {129--130},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/259963.260107},
doi = {10.1145/259963.260107},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/chi/KarlgrenKPNW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/KarlgrenKNPW94,
author = {Hans Karlgren and
Jussi Karlgren and
Magnus Nordstr{\"{o}}m and
Paul Pettersson and
Bengt Wahrol{\'{e}}n},
title = {{DILEMMA} - An Instant Lexicographer},
booktitle = {15th International Conference on Computational Linguistics, {COLING}
1994, Kyoto, Japan, August 5-9, 1994},
pages = {82--84},
year = {1994},
url = {https://aclanthology.org/C94-1010/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/KarlgrenKNPW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/YiPD94,
author = {Wang Yi and
Paul Pettersson and
Mats Daniels},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Automatic verification of real-time communicating systems by constraint-solving},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {243--258},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Fri, 07 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/YiPD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KarlgrenKNPW94,
author = {Hans Karlgren and
Jussi Karlgren and
Magnus Nordstr{\"{o}}m and
Paul Pettersson and
Bengt Wahrol{\'{e}}n},
title = {Dilemma - An Instant Lexicographer},
journal = {CoRR},
volume = {abs/cmp-lg/9410011},
year = {1994},
url = {http://arxiv.org/abs/cmp-lg/9410011},
eprinttype = {arXiv},
eprint = {cmp-lg/9410011},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KarlgrenKNPW94.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-02-06 23:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
