BibTeX records: Lars Frantzen

• > Home > Persons > Lars Frantzen

@article{DBLP:journals/jlp/FrantzenMN09,
  author       = {Lars Frantzen and
                  Mercedes G. Merayo and
                  Manuel N{\'{u}}{\~{n}}ez},
  title        = {A brief history of {A-MOST} Special Issue containing selected papers
                  from {A-MOST} 2008},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {78},
  number       = {6},
  pages        = {417--424},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.jlap.2009.02.010},
  doi          = {10.1016/J.JLAP.2009.02.010},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/FrantzenMN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issse/BertolinoAFP08,
  author       = {Antonia Bertolino and
                  Guglielmo De Angelis and
                  Lars Frantzen and
                  Andrea Polini},
  editor       = {Andrea De Lucia and
                  Filomena Ferrucci},
  title        = {The {PLASTIC} Framework and Tools for Testing Service-Oriented Applications},
  booktitle    = {Software Engineering, International Summer Schools, {ISSSE} 2006-2008,
                  Salerno, Italy, Revised Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {5413},
  pages        = {106--139},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-95888-8\_5},
  doi          = {10.1007/978-3-540-95888-8\_5},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issse/BertolinoAFP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/BertolinoAFP08,
  author       = {Antonia Bertolino and
                  Guglielmo De Angelis and
                  Lars Frantzen and
                  Andrea Polini},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Model-Based Generation of Testbeds for Web Services},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {266--282},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_19},
  doi          = {10.1007/978-3-540-68524-1\_19},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/BertolinoAFP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsfm/FrantzenHKW08,
  author       = {Lars Frantzen and
                  Maria de las Nieves Huerta and
                  Zsolt Gere Kiss and
                  Thomas Wallet},
  editor       = {Roberto Bruni and
                  Karsten Wolf},
  title        = {On-The-Fly Model-Based Testing of Web Services with Jambition},
  booktitle    = {Web Services and Formal Methods, 5th International Workshop, {WS-FM}
                  2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5387},
  pages        = {143--157},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-01364-5\_9},
  doi          = {10.1007/978-3-642-01364-5\_9},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/FrantzenHKW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/FrantzenTW06,
  author       = {Lars Frantzen and
                  Jan Tretmans and
                  Tim A. C. Willemse},
  editor       = {Klaus Havelund and
                  Manuel N{\'{u}}{\~{n}}ez and
                  Grigore Rosu and
                  Burkhart Wolff},
  title        = {A Symbolic Framework for Model-Based Testing},
  booktitle    = {Formal Approaches to Software Testing and Runtime Verification, First
                  Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
                  WA, USA, August 15-16, 2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4262},
  pages        = {40--54},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11940197\_3},
  doi          = {10.1007/11940197\_3},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/FrantzenTW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmco/FrantzenT06,
  author       = {Lars Frantzen and
                  Jan Tretmans},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Model-Based Testing of Environmental Conformance of Components},
  booktitle    = {Formal Methods for Components and Objects, 5th International Symposium,
                  {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4709},
  pages        = {1--25},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-74792-5\_1},
  doi          = {10.1007/978-3-540-74792-5\_1},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/FrantzenT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sec/WeeldenOFKT05,
  author       = {Arjen van Weelden and
                  Martijn Oostdijk and
                  Lars Frantzen and
                  Pieter W. M. Koopman and
                  Jan Tretmans},
  editor       = {Ry{\^{o}}ichi Sasaki and
                  Sihan Qing and
                  Eiji Okamoto and
                  Hiroshi Yoshiura},
  title        = {On-the-Fly Formal Testing of a Smart Card Applet},
  booktitle    = {Security and Privacy in the Age of Ubiquitous Computing, {IFIP} {TC11}
                  20th International Conference on Information Security {(SEC} 2005),
                  May 30 - June 1, 2005, Chiba, Japan},
  series       = {{IFIP}},
  volume       = {181},
  pages        = {565--576},
  publisher    = {Springer},
  year         = {2005},
  timestamp    = {Fri, 19 May 2017 01:25:10 +0200},
  biburl       = {https://dblp.org/rec/conf/sec/WeeldenOFKT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/BertolinoFPT04,
  author       = {Antonia Bertolino and
                  Lars Frantzen and
                  Andrea Polini and
                  Jan Tretmans},
  editor       = {Ralf H. Reussner and
                  Judith A. Stafford and
                  Clemens A. Szyperski},
  title        = {Audition of Web Services for Testing Conformance to Open Specified
                  Protocols},
  booktitle    = {Architecting Systems with Trustworthy Components, International Seminar,
                  Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3938},
  pages        = {1--25},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11786160\_1},
  doi          = {10.1007/11786160\_1},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BertolinoFPT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/BelinfanteFS04,
  author       = {Axel Belinfante and
                  Lars Frantzen and
                  Christian Schallhart},
  editor       = {Manfred Broy and
                  Bengt Jonsson and
                  Joost{-}Pieter Katoen and
                  Martin Leucker and
                  Alexander Pretschner},
  title        = {Tools for Test Case Generation},
  booktitle    = {Model-Based Testing of Reactive Systems, Advanced Lectures [The volume
                  is the outcome of a research seminar that was held in Schloss Dagstuhl
                  in January 2004]},
  series       = {Lecture Notes in Computer Science},
  volume       = {3472},
  pages        = {391--438},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11498490\_18},
  doi          = {10.1007/11498490\_18},
  timestamp    = {Tue, 31 Aug 2021 12:07:12 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BelinfanteFS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/FrantzenTW04,
  author       = {Lars Frantzen and
                  Jan Tretmans and
                  Tim A. C. Willemse},
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {Test Generation Based on Symbolic Specifications},
  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        = {1--15},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31848-4\_1},
  doi          = {10.1007/978-3-540-31848-4\_1},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/FrantzenTW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}