Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lars-Åke Fredlund
@article{DBLP:journals/jlap/FredlundEAS23,
author = {Lars{-}{\AA}ke Fredlund and
Clara Benac Earle and
Thomas Arts and
Hans Svensson},
title = {Gaining trust by tracing security protocols},
journal = {J. Log. Algebraic Methods Program.},
volume = {130},
pages = {100829},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2022.100829},
doi = {10.1016/J.JLAMP.2022.100829},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/FredlundEAS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/DiazFEM23,
author = {{\'{A}}lvaro Fern{\'{a}}ndez D{\'{\i}}az and
Lars{-}{\AA}ke Fredlund and
Clara Benac Earle and
Julio Mari{\~{n}}o},
title = {A formal semantics for agent distribution and fault tolerance in Jason},
journal = {J. Log. Algebraic Methods Program.},
volume = {133},
pages = {100874},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2023.100874},
doi = {10.1016/J.JLAMP.2023.100874},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/DiazFEM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/ArtsSEF23,
author = {Thomas Arts and
Hans Svensson and
Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
title = {Testing feature-rich blockchains},
journal = {Softw. Pract. Exp.},
volume = {53},
number = {5},
pages = {1144--1173},
year = {2023},
url = {https://doi.org/10.1002/spe.3183},
doi = {10.1002/SPE.3183},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/ArtsSEF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/BarrioFEHM23,
author = {Luis Eduardo Bueso de Barrio and
Lars{-}{\AA}ke Fredlund and
Clara Benac Earle and
{\'{A}}ngel Herranz and
Julio Mari{\~{n}}o},
editor = {Burcu Kulahcioglu Ozkan and
Kiko Fernandez{-}Reyes},
title = {Generation and Refinement of Testing Models},
booktitle = {Proceedings of the 22nd {ACM} {SIGPLAN} International Workshop on
Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023},
pages = {14--23},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609022.3609415},
doi = {10.1145/3609022.3609415},
timestamp = {Sun, 12 Nov 2023 02:14:43 +0100},
biburl = {https://dblp.org/rec/conf/erlang/BarrioFEHM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BallesterosEBFH22,
author = {Ignacio Ballesteros and
Clara Benac Earle and
Luis Eduardo Bueso de Barrio and
Lars{-}{\AA}ke Fredlund and
{\'{A}}ngel Herranz and
Julio Mari{\~{n}}o},
editor = {Zaynah Dargaye and
Clara Schneidewind},
title = {Automatic Generation of Attacker Contracts in Solidity},
booktitle = {4th International Workshop on Formal Methods for Blockchains, FMBC@CAV
2022, August 11, 2022, Haifa, Israel},
series = {OASIcs},
volume = {105},
pages = {3:1--3:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/OASIcs.FMBC.2022.3},
doi = {10.4230/OASICS.FMBC.2022.3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BallesterosEBFH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/0001BBHMEF22,
author = {Sergio P{\'{e}}rez and
Luis Eduardo Bueso de Barrio and
Ignacio Ballesteros and
{\'{A}}ngel Herranz and
Julio Mari{\~{n}}o and
Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
editor = {Stavros Aronis and
Burcu Kulahcioglu Ozkan},
title = {Executable contracts for Elixir},
booktitle = {Erlang '22: 21st {ACM} {SIGPLAN} International Workshop on Erlang,
Ljubljana, Slovenia, 11 September 2022},
pages = {40--46},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3546186.3549930},
doi = {10.1145/3546186.3549930},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/0001BBHMEF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/BarrioFHEM21,
author = {Luis Eduardo Bueso de Barrio and
Lars{-}{\AA}ke Fredlund and
{\'{A}}ngel Herranz and
Clara Benac Earle and
Julio Mari{\~{n}}o},
editor = {Stavros Aronis and
Annette Bieniusa},
title = {Makina: a new QuickCheck state machine library},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Workshop on
Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021},
pages = {41--53},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3471871.3472964},
doi = {10.1145/3471871.3472964},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/BarrioFHEM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MarinoAFH19,
author = {Julio Mari{\~{n}}o and
Ra{\'{u}}l N. N. Alborodo and
Lars{-}{\AA}ke Fredlund and
{\'{A}}ngel Herranz{-}Nieva},
title = {Synthesis of verifiable concurrent Java components from formal models},
journal = {Softw. Syst. Model.},
volume = {18},
number = {1},
pages = {71--105},
year = {2019},
url = {https://doi.org/10.1007/s10270-017-0581-1},
doi = {10.1007/S10270-017-0581-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/MarinoAFH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/EarleF19,
author = {Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {A Property-based Testing Framework for Multi-Agent Systems},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {1823--1825},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331931},
timestamp = {Wed, 29 May 2019 16:36:58 +0200},
biburl = {https://dblp.org/rec/conf/atal/EarleF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/FredlundEAS19,
author = {Lars{-}{\AA}ke Fredlund and
Clara Benac Earle and
Thomas Arts and
Hans Svensson},
editor = {Adrian Francalanza and
Vikt{\'{o}}ria F{\"{o}}rd{\'{o}}s},
title = {Gaining trust by tracing security protocols},
booktitle = {Proceedings of the 18th {ACM} {SIGPLAN} International Workshop on
Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019},
pages = {56--67},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3331542.3342573},
doi = {10.1145/3331542.3342573},
timestamp = {Tue, 04 Aug 2020 18:50:35 +0200},
biburl = {https://dblp.org/rec/conf/erlang/FredlundEAS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emas/DiazEF18,
author = {{\'{A}}lvaro Fern{\'{a}}ndez D{\'{\i}}az and
Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
editor = {Danny Weyns and
Viviana Mascardi and
Alessandro Ricci},
title = {Pitfalls of Jason Concurrency},
booktitle = {Engineering Multi-Agent Systems - 6th International Workshop, {EMAS}
2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11375},
pages = {19--33},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-25693-7\_2},
doi = {10.1007/978-3-030-25693-7\_2},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emas/DiazEF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/FredlundM0T18,
author = {Lars{-}{\AA}ke Fredlund and
Julio Mari{\~{n}}o and
Sergio P{\'{e}}rez and
Salvador Tamarit},
editor = {Josep Silva},
title = {Runtime Verification in Erlang by Using Contracts},
booktitle = {Functional and Constraint Logic Programming - 26th International Workshop,
{WFLP} 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11285},
pages = {56--73},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-16202-3\_4},
doi = {10.1007/978-3-030-16202-3\_4},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/FredlundM0T18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-07937,
author = {Lars{-}{\AA}ke Fredlund and
Julio Mari{\~{n}}o and
Sergio P{\'{e}}rez and
Salvador Tamarit},
title = {Runtime verification in Erlang by using contracts},
journal = {CoRR},
volume = {abs/1808.07937},
year = {2018},
url = {http://arxiv.org/abs/1808.07937},
eprinttype = {arXiv},
eprint = {1808.07937},
timestamp = {Thu, 29 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-07937.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/EarleFH16,
author = {Clara Benac Earle and
Lars{-}{\AA}ke Fredlund and
John Hughes},
editor = {Alison Clear and
Ernesto Cuadros{-}Vargas and
Janet Carter and
Yv{\'{a}}n T{\'{u}}pac},
title = {Automatic Grading of Programming Exercises using Property-Based Testing},
booktitle = {Proceedings of the 2016 {ACM} Conference on Innovation and Technology
in Computer Science Education, ITiCSE 2016, Arequipa, Peru, July 9-13,
2016},
pages = {47--52},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2899415.2899443},
doi = {10.1145/2899415.2899443},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iticse/EarleFH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DiazEF15,
author = {{\'{A}}lvaro Fern{\'{a}}ndez D{\'{\i}}az and
Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
title = {Adding distribution and fault tolerance to Jason},
journal = {Sci. Comput. Program.},
volume = {98},
pages = {205--232},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.01.007},
doi = {10.1016/J.SCICO.2014.01.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DiazEF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/EarleSFG15,
author = {Clara Benac Earle and
Ana Mar{\'{\i}}a Fern{\'{a}}ndez{-}Soriano and
Lars{-}{\AA}ke Fredlund and
Elena G{\'{o}}mez{-}Mart{\'{\i}}nez},
title = {Teaching Software Safety to Master Students},
booktitle = {41st Euromicro Conference on Software Engineering and Advanced Applications,
{EUROMICRO-SEAA} 2015, Madeira, Portugal, August 26-28, 2015},
pages = {306--308},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SEAA.2015.67},
doi = {10.1109/SEAA.2015.67},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/EarleSFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/FredlundHM15,
author = {Lars{-}{\AA}ke Fredlund and
{\'{A}}ngel Herranz{-}Nieva and
Julio Mari{\~{n}}o},
title = {Applying Property-Based Testing in Teaching Safety-Critical System
Programming},
booktitle = {41st Euromicro Conference on Software Engineering and Advanced Applications,
{EUROMICRO-SEAA} 2015, Madeira, Portugal, August 26-28, 2015},
pages = {309--316},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SEAA.2015.53},
doi = {10.1109/SEAA.2015.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/FredlundHM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/EarleF15,
author = {Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
editor = {Manuel Serrano and
Jurriaan Hage},
title = {Functional Testing of Java Programs},
booktitle = {Trends in Functional Programming - 16th International Symposium, {TFP}
2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9547},
pages = {40--59},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-39110-6\_3},
doi = {10.1007/978-3-319-39110-6\_3},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/EarleF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/EarleFHM14,
author = {Clara Benac Earle and
Lars{-}{\AA}ke Fredlund and
{\'{A}}ngel Herranz{-}Nieva and
Julio Mari{\~{n}}o},
editor = {Laura M. Castro and
Hans Svensson},
title = {Jsongen: a quickcheck based library for testing {JSON} web services},
booktitle = {Proceedings of the Thirteenth {ACM} {SIGPLAN} workshop on Erlang,
Gothenburg, Sweden, September 5, 2014},
pages = {33--41},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633448.2633454},
doi = {10.1145/2633448.2633454},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/EarleFHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/EarleFMA14,
author = {Clara Benac Earle and
Lars{-}{\AA}ke Fredlund and
Julio Mari{\~{n}}o and
Thomas Arts},
title = {Teaching Students Property-Based Testing},
booktitle = {40th {EUROMICRO} Conference on Software Engineering and Advanced Applications,
{EUROMICRO-SEAA} 2014, Verona, Italy, August 27-29, 2014},
pages = {437--442},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SEAA.2014.74},
doi = {10.1109/SEAA.2014.74},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/EarleFMA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/FredlundEHM14,
author = {Lars{-}{\AA}ke Fredlund and
Clara Benac Earle and
{\'{A}}ngel Herranz{-}Nieva and
Julio Mari{\~{n}}o{-}Carballo},
title = {Property-Based Testing of {JSON} Based Web Services},
booktitle = {2014 {IEEE} International Conference on Web Services, ICWS, 2014,
Anchorage, AK, USA, June 27 - July 2, 2014},
pages = {704--707},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICWS.2014.110},
doi = {10.1109/ICWS.2014.110},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/FredlundEHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FredlundHM14,
author = {Lars{-}{\AA}ke Fredlund and
{\'{A}}ngel Herranz{-}Nieva and
Julio Mari{\~{n}}o},
editor = {Carlos Canal and
Akram Idani},
title = {A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent
Systems},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {116--130},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_8},
doi = {10.1007/978-3-319-15201-1\_8},
timestamp = {Sun, 25 Oct 2020 22:54:47 +0100},
biburl = {https://dblp.org/rec/conf/sefm/FredlundHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/RodriguezFHM14,
author = {Ricardo J. Rodr{\'{\i}}guez and
Lars{-}{\AA}ke Fredlund and
{\'{A}}ngel Herranz{-}Nieva and
Julio Mari{\~{n}}o},
editor = {Dimitra Giannakopoulou and
Gwen Sala{\"{u}}n},
title = {Execution and Verification of {UML} State Machines with Erlang},
booktitle = {Software Engineering and Formal Methods - 12th International Conference,
{SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8702},
pages = {284--289},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10431-7\_22},
doi = {10.1007/978-3-319-10431-7\_22},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/RodriguezFHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/DiazEF12,
author = {{\'{A}}lvaro Fern{\'{a}}ndez D{\'{\i}}az and
Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
editor = {Gul A. Agha and
Rafael H. Bordini and
Assaf Marron and
Alessandro Ricci},
title = {Adding distribution and fault tolerance to jason},
booktitle = {Proceedings of the 2nd edition on Programming systems, languages and
applications based on actors, agents, and decentralized control abstractions,
AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}},
pages = {95--106},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2414639.2414651},
doi = {10.1145/2414639.2414651},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/agere/DiazEF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/DiazEF12,
author = {{\'{A}}lvaro Fern{\'{a}}ndez D{\'{\i}}az and
Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
editor = {Torben Hoffman and
John Hughes},
title = {Erlang as an implementation platform for {BDI} languages},
booktitle = {Proceedings of the Eleventh {ACM} {SIGPLAN} Erlang Workshop, Copenhagen,
Denmark, September 14, 2012},
pages = {1--10},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364489.2364491},
doi = {10.1145/2364489.2364491},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/DiazEF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/EarleF12,
author = {Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
editor = {Holger Giese and
Grigore Rosu},
title = {Verification of Timed Erlang Programs Using McErlang},
booktitle = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7273},
pages = {251--267},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30793-5\_16},
doi = {10.1007/978-3-642-30793-5\_16},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/EarleF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/promas/DiazEF12,
author = {{\'{A}}lvaro Fern{\'{a}}ndez D{\'{\i}}az and
Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
editor = {Mehdi Dastani and
Jomi Fred H{\"{u}}bner and
Brian Logan},
title = {eJason: An Implementation of Jason in Erlang},
booktitle = {Programming Multi-Agent Systems - 10th International Workshop, ProMAS
2012, Valencia, Spain, June 5, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7837},
pages = {1--16},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38700-5\_1},
doi = {10.1007/978-3-642-38700-5\_1},
timestamp = {Wed, 08 Dec 2021 09:19:08 +0100},
biburl = {https://dblp.org/rec/conf/promas/DiazEF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/DiazBEF12,
author = {{\'{A}}lvaro Fern{\'{a}}ndez D{\'{\i}}az and
Christel Baier and
Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
title = {Static Partial Order Reduction for Probabilistic Concurrent Systems},
booktitle = {Ninth International Conference on Quantitative Evaluation of Systems,
{QEST} 2012, London, United Kingdom, September 17-20, 2012},
pages = {104--113},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/QEST.2012.22},
doi = {10.1109/QEST.2012.22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/DiazBEF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/SvenssonFE10,
author = {Hans Svensson and
Lars{-}{\AA}ke Fredlund and
Clara Benac Earle},
editor = {Scott Lystig Fritchie and
Konstantinos Sagonas},
title = {A unified semantics for future Erlang},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Erlang, Baltimore,
Maryland, USA, September 30, 2010},
pages = {23--32},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863509.1863514},
doi = {10.1145/1863509.1863514},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/SvenssonFE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/DiazEF10,
author = {{\'{A}}lvaro Fern{\'{a}}ndez D{\'{\i}}az and
Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
editor = {Scott Lystig Fritchie and
Konstantinos Sagonas},
title = {Implementing a multiagent negotiation protocol in Erlang},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Erlang, Baltimore,
Maryland, USA, September 30, 2010},
pages = {69--74},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863509.1863520},
doi = {10.1145/1863509.1863520},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/DiazEF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/GuoDEF10,
author = {Qiang Guo and
John Derrick and
Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
editor = {Leonardo Bottaci and
Gordon Fraser},
title = {Model-Checking Erlang - {A} Comparison between EtomCRL2 and McErlang},
booktitle = {Testing - Practice and Research Techniques, 5th International Academic
and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
3-5, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6303},
pages = {23--38},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15585-7\_5},
doi = {10.1007/978-3-642-15585-7\_5},
timestamp = {Mon, 23 Nov 2020 12:33:09 +0100},
biburl = {https://dblp.org/rec/conf/taicpart/GuoDEF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CastroGEFR11,
author = {David Castro and
V{\'{\i}}ctor M. Gul{\'{\i}}as and
Clara Benac Earle and
Lars{-}{\AA}ke Fredlund and
Samuel Rivas},
editor = {V{\'{\i}}ctor M. Gul{\'{\i}}as and
Josep Silva Galiana},
title = {A Case Study on Verifying a Supervisor Component Using McErlang},
booktitle = {Proceedings of the Tenth Spanish Conference on Programming and Languages,
{PROLE} 2010, Valencia, Spain, September 8-10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {271},
pages = {23--40},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.02.009},
doi = {10.1016/J.ENTCS.2011.02.009},
timestamp = {Fri, 10 Mar 2023 14:34:16 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CastroGEFR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/EarleF09,
author = {Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
editor = {Clara Benac Earle and
Simon J. Thompson},
title = {Recent improvements to the McErlang model checker},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Erlang, Edinburgh,
Scotland, UK, September 5, 2009},
pages = {93--100},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596600.1596613},
doi = {10.1145/1596600.1596613},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/EarleF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/EarleF09,
author = {Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Debugging and Verification of Multi-Agent Systems},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2009, 12th International
Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5717},
pages = {263--270},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04772-5\_35},
doi = {10.1007/978-3-642-04772-5\_35},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/EarleF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DerrickWAECFGHT09,
author = {John Derrick and
Neil Walkinshaw and
Thomas Arts and
Clara Benac Earle and
Francesco Cesarini and
Lars{-}{\AA}ke Fredlund and
V{\'{\i}}ctor M. Gul{\'{\i}}as and
John Hughes and
Simon J. Thompson},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Property-Based Testing - The ProTest Project},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {250--271},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_13},
doi = {10.1007/978-3-642-17071-3\_13},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DerrickWAECFGHT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/EarleF09,
author = {Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
editor = {Antonio Vallecillo and
Goiuria Sagardui},
title = {Rigorous Software Development Using McErlang},
booktitle = {{XIV} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2009), San Sebasti{\'{a}}n, Spain, September 8-11, 2009},
pages = {355--358},
year = {2009},
timestamp = {Fri, 18 Sep 2009 12:44:29 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/EarleF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/EarleFIL08,
author = {Clara Benac Earle and
Lars{-}{\AA}ke Fredlund and
Jos{\'{e}} Antonio Iglesias and
Agapito Ledezma},
editor = {Doron A. Peled and
Michael J. Wooldridge},
title = {Verifying Robocup Teams},
booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop,
MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5348},
pages = {34--48},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00431-5\_3},
doi = {10.1007/978-3-642-00431-5\_3},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mochart/EarleFIL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Marpons-UceroMCHMF08,
author = {Guillem Marpons{-}Ucero and
Julio Mari{\~{n}}o{-}Carballo and
Manuel Carro and
{\'{A}}ngel Herranz{-}Nieva and
Juan Jos{\'{e}} Moreno{-}Navarro and
Lars{-}{\AA}ke Fredlund},
editor = {Paul Hudak and
David Scott Warren},
title = {Automatic Coding Rule Conformance Checking Using Logic Programming},
booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium,
{PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
series = {Lecture Notes in Computer Science},
volume = {4902},
pages = {18--34},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77442-6\_3},
doi = {10.1007/978-3-540-77442-6\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Marpons-UceroMCHMF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Marpons-UceroMCHFMP09,
author = {Guillem Marpons{-}Ucero and
Julio Mari{\~{n}}o and
Manuel Carro and
{\'{A}}ngel Herranz{-}Nieva and
Lars{-}{\AA}ke Fredlund and
Juan Jos{\'{e}} Moreno{-}Navarro and
{\'{A}}lvaro Polo},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {A Coding Rule Conformance Checker Integrated into {GCC}},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {149--159},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.065},
doi = {10.1016/J.ENTCS.2009.07.065},
timestamp = {Thu, 09 Mar 2023 14:51:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Marpons-UceroMCHFMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/SvenssonF07,
author = {Hans Svensson and
Lars{-}{\AA}ke Fredlund},
editor = {Simon J. Thompson and
Lars{-}{\AA}ke Fredlund},
title = {Programming distributed Erlang applications: pitfalls and recipes},
booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Erlang, Freiburg,
Germany, October 5, 2007},
pages = {37--42},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292520.1292527},
doi = {10.1145/1292520.1292527},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/SvenssonF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/SvenssonF07a,
author = {Hans Svensson and
Lars{-}{\AA}ke Fredlund},
editor = {Simon J. Thompson and
Lars{-}{\AA}ke Fredlund},
title = {A more accurate semantics for distributed Erlang},
booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Erlang, Freiburg,
Germany, October 5, 2007},
pages = {43--54},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292520.1292528},
doi = {10.1145/1292520.1292528},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/SvenssonF07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/FredlundP07,
author = {Lars{-}{\AA}ke Fredlund and
Juan Jos{\'{e}} S{\'{a}}nchez Penas},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Model Checking a Video-on-Demand Server Using McErlang},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2007, 11th International
Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria,
Spain, February 12-16, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4739},
pages = {539--546},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75867-9\_68},
doi = {10.1007/978-3-540-75867-9\_68},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/FredlundP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FredlundS07,
author = {Lars{-}{\AA}ke Fredlund and
Hans Svensson},
editor = {Ralf Hinze and
Norman Ramsey},
title = {McErlang: a model checker for a distributed functional programming
language},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {125--136},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291171},
doi = {10.1145/1291151.1291171},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FredlundS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/erlang/2007,
editor = {Simon J. Thompson and
Lars{-}{\AA}ke Fredlund},
title = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Erlang, Freiburg,
Germany, October 5, 2007},
publisher = {{ACM}},
year = {2007},
isbn = {978-1-59593-675-2},
timestamp = {Wed, 02 Apr 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-0344,
author = {Guillem Marpons{-}Ucero and
Julio Mari{\~{n}}o and
{\'{A}}ngel Herranz{-}Nieva and
Lars{-}{\AA}ke Fredlund and
Manuel Carro and
Juan Jos{\'{e}} Moreno{-}Navarro},
title = {Automatic Coding Rule Conformance Checking Using Logic Programs},
journal = {CoRR},
volume = {abs/0711.0344},
year = {2007},
url = {http://arxiv.org/abs/0711.0344},
eprinttype = {arXiv},
eprint = {0711.0344},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0711-0344.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/FredlundE06,
author = {Lars{-}{\AA}ke Fredlund and
Clara Benac Earle},
editor = {Marc Feeley and
Philip W. Trinder},
title = {Model checking erlang programs: the functional approach},
booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN} Workshop on Erlang, Portland,
Oregon, USA, September 16, 2006},
pages = {11--19},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159789.1159793},
doi = {10.1145/1159789.1159793},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/FredlundE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/EarleFD05,
author = {Clara Benac Earle and
Lars{-}{\AA}ke Fredlund and
John Derrick},
editor = {Konstantinos Sagonas and
Joe Armstrong},
title = {Verifying fault-tolerant Erlang programs},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN} Workshop on Erlang, Tallinn,
Estonia, September 26-28, 2005},
pages = {26--34},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1088361.1088367},
doi = {10.1145/1088361.1088367},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/EarleFD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/EarleF05,
author = {Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Verification of Language Based Fault-Tolerance},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2005, 10th International
Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria,
Spain, February 7-11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3643},
pages = {140--149},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11556985\_19},
doi = {10.1007/11556985\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/EarleF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Fredlund05,
author = {Lars{-}{\AA}ke Fredlund},
editor = {Klaus Havelund and
Grigore Rosu},
title = {Guaranteeing Correctness Properties of a Java Card Applet},
booktitle = {Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS
2004, Barcelona, Spain, April 3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {113},
pages = {217--233},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.01.033},
doi = {10.1016/J.ENTCS.2004.01.033},
timestamp = {Fri, 16 Dec 2022 11:10:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Fredlund05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FredlundGNDAC03,
author = {Lars{-}{\AA}ke Fredlund and
Dilian Gurov and
Thomas Noll and
Mads Dam and
Thomas Arts and
Gennady Chugunov},
title = {A verification tool for {ERLANG}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {4},
pages = {405--420},
year = {2003},
url = {https://doi.org/10.1007/s100090100071},
doi = {10.1007/S100090100071},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FredlundGNDAC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DamFG03,
author = {Mads Dam and
Lars{-}{\AA}ke Fredlund and
Dilian Gurov},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {Formal Methods Research at {SICS} and {KTH:} An Overview},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {267--272},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80824-7},
doi = {10.1016/S1571-0661(04)80824-7},
timestamp = {Wed, 27 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DamFG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/ArtsF02,
author = {Thomas Arts and
Lars{-}{\AA}ke Fredlund},
title = {Trace analysis of Erlang programs},
journal = {{ACM} {SIGPLAN} Notices},
volume = {37},
number = {12},
pages = {18--24},
year = {2002},
url = {https://doi.org/10.1145/636517.636524},
doi = {10.1145/636517.636524},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/ArtsF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cardis/ChugunovFG02,
author = {Gennady Chugunov and
Lars{-}{\AA}ke Fredlund and
Dilian Gurov},
editor = {Peter Honeyman},
title = {Model Checking of Multi-Applet JavaCard Applications},
booktitle = {Proceedings of the Fifth Smart Card Research and Advanced Application
Conference, {CARDIS} '02, November 21-22, 2002, San Jose, CA, {USA}},
pages = {87--96},
publisher = {{USENIX}},
year = {2002},
url = {http://www.usenix.org/publications/library/proceedings/cardis02/chugunov.html},
timestamp = {Wed, 04 Jul 2018 13:06:35 +0200},
biburl = {https://dblp.org/rec/conf/cardis/ChugunovFG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/ArtsF02,
author = {Thomas Arts and
Lars{-}{\AA}ke Fredlund},
editor = {Rex L. Page and
John Hughes},
title = {Trace analysis of Erlang programs},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Erlang, Pittsburgh,
Pennsylvania, USA, October 7, 2002},
pages = {16--23},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/592849.592852},
doi = {10.1145/592849.592852},
timestamp = {Wed, 16 Mar 2022 22:31:11 +0100},
biburl = {https://dblp.org/rec/conf/erlang/ArtsF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/se/Fredlund01,
author = {Lars{-}{\AA}ke Fredlund},
title = {A framework for reasoning about Erlang code},
school = {Research Institutes of Sweden, Sweden},
year = {2001},
url = {https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22629},
urn = {urn:nbn:se:ri:diva-22629},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/se/Fredlund01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FredlundGN01,
author = {Lars{-}{\AA}ke Fredlund and
Dilian Gurov and
Thomas Noll},
title = {Semi-Automated Verification of Erlang Code},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {319--323},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989820},
doi = {10.1109/ASE.2001.989820},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/FredlundGN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NollFG01,
author = {Thomas Noll and
Lars{-}{\AA}ke Fredlund and
Dilian Gurov},
editor = {Tiziana Margaria and
Wang Yi},
title = {The Erlang Verification Tool},
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 = {582--586},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_41},
doi = {10.1007/3-540-45319-9\_41},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/NollFG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/FredlundG99,
author = {Lars{-}{\AA}ke Fredlund and
Dilian Gurov},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {A Framework for Formal Reasoning about Open Distributed Systems},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {87--100},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_9},
doi = {10.1007/3-540-46674-6\_9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asian/FredlundG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ArtsDFG98,
author = {Thomas Arts and
Mads Dam and
Lars{-}{\AA}ke Fredlund and
Dilian Gurov},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {System Description: Verification of Distributed Erlang Programs},
booktitle = {Automated Deduction - CADE-15, 15th International Conference on Automated
Deduction, Lindau, Germany, July 5-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1421},
pages = {38--41},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054244},
doi = {10.1007/BFB0054244},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/ArtsDFG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DamF98,
author = {Mads Dam and
Lars{-}{\AA}ke Fredlund},
editor = {K. M. George and
Gary B. Lamont},
title = {On the verification of open distributed systems},
booktitle = {Proceedings of the 1998 {ACM} symposium on Applied Computing, SAC'98,
Atlanta, GA, USA, February 27 - March 1, 1998},
pages = {532--540},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/330560.330917},
doi = {10.1145/330560.330917},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/DamF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FredlundGK97,
author = {Lars{-}{\AA}ke Fredlund and
Jan Friso Groote and
Henri Korver},
title = {Formal Verification of a Leader Election Protocol in Process Algebra},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {2},
pages = {459--486},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00256-3},
doi = {10.1016/S0304-3975(96)00256-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FredlundGK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compos/DamFG97,
author = {Mads Dam and
Lars{-}{\AA}ke Fredlund and
Dilian Gurov},
editor = {Willem P. de Roever and
Hans Langmaack and
Amir Pnueli},
title = {Toward Parametric Verification of Open Distributed Systems},
booktitle = {Compositionality: The Significant Difference, International Symposium,
COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1536},
pages = {150--185},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49213-5\_7},
doi = {10.1007/3-540-49213-5\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compos/DamFG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/FredlundKO96,
author = {Lars{-}{\AA}ke Fredlund and
Jari Koistinen and
Fredrik Orava},
editor = {Mads Dam},
title = {Formalising and Prototyping a Concurrent Object-Based Language},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {116--125},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_6},
doi = {10.1007/3-540-62503-8\_6},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lomaps/FredlundKO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/Fredlund91,
author = {Lars{-}{\AA}ke Fredlund},
title = {Book Review: Design and Validation of Computer Protocols by Gerard
J. Holzmann (Prentice Hall, 1991)},
journal = {Comput. Commun. Rev.},
volume = {21},
number = {2},
pages = {14},
year = {1991},
url = {https://doi.org/10.1145/122419.1024051},
doi = {10.1145/122419.1024051},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/Fredlund91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/FredlundO91,
author = {Lars{-}{\AA}ke Fredlund and
Fredrik Orava},
editor = {Ken R. Parker and
Gordon A. Rose},
title = {Modelling Dynamic Communication Structures in {LOTOS}},
booktitle = {Formal Description Techniques, IV, Proceedings of the {IFIP} {TC6/WG6.1}
Fourth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '91, Sydney,
Australia, 19-22 November 1991},
series = {{IFIP} Transactions},
volume = {{C-2}},
pages = {185--200},
publisher = {North-Holland},
year = {1991},
timestamp = {Fri, 10 Mar 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/FredlundO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ErnbergFJ91,
author = {Patrik Ernberg and
Lars{-}{\AA}ke Fredlund and
Bengt Jonsson},
editor = {Ken R. Parker and
Gordon A. Rose},
title = {Specification and Validation of a Simple Overtaking Protokol using
{LOTOS}},
booktitle = {Formal Description Techniques, IV, Proceedings of the {IFIP} {TC6/WG6.1}
Fourth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '91, Sydney,
Australia, 19-22 November 1991},
series = {{IFIP} Transactions},
volume = {{C-2}},
pages = {377--392},
publisher = {North-Holland},
year = {1991},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/ErnbergFJ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FredlundJP90,
author = {Lars{-}{\AA}ke Fredlund and
Bengt Jonsson and
Joachim Parrow},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {An Implementation of a Translational Semantics for an Imperative Language},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {246--262},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039064},
doi = {10.1007/BFB0039064},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FredlundJP90.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 2023-12-29 16: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:
