Search dblp for Publications

export results for "toc:db/conf/sfm/sfm2014.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sfm/AbrahamBDJKW14,
  author       = {Erika {\'{A}}brah{\'{a}}m and
                  Bernd Becker and
                  Christian Dehnert and
                  Nils Jansen and
                  Joost{-}Pieter Katoen and
                  Ralf Wimmer},
  editor       = {Marco Bernardo and
                  Ferruccio Damiani and
                  Reiner H{\"{a}}hnle and
                  Einar Broch Johnsen and
                  Ina Schaefer},
  title        = {Counterexample Generation for Discrete-Time Markov Models: An Introductory
                  Survey},
  booktitle    = {Formal Methods for Executable Software Models - 14th International
                  School on Formal Methods for the Design of Computer, Communication,
                  and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
                  Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {8483},
  pages        = {65--121},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07317-0\_3},
  doi          = {10.1007/978-3-319-07317-0\_3},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/AbrahamBDJKW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/AlbertAGR14,
  author       = {Elvira Albert and
                  Puri Arenas and
                  Miguel G{\'{o}}mez{-}Zamalloa and
                  Jos{\'{e}} Miguel Rojas},
  editor       = {Marco Bernardo and
                  Ferruccio Damiani and
                  Reiner H{\"{a}}hnle and
                  Einar Broch Johnsen and
                  Ina Schaefer},
  title        = {Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based
                  Instance, and Actor-Based Concurrency},
  booktitle    = {Formal Methods for Executable Software Models - 14th International
                  School on Formal Methods for the Design of Computer, Communication,
                  and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
                  Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {8483},
  pages        = {263--309},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07317-0\_7},
  doi          = {10.1007/978-3-319-07317-0\_7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfm/AlbertAGR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/AmighiBDHMZ14,
  author       = {Afshin Amighi and
                  Stefan Blom and
                  Saeed Darabi and
                  Marieke Huisman and
                  Wojciech Mostowski and
                  Marina Zaharieva{-}Stojanovski},
  editor       = {Marco Bernardo and
                  Ferruccio Damiani and
                  Reiner H{\"{a}}hnle and
                  Einar Broch Johnsen and
                  Ina Schaefer},
  title        = {Verification of Concurrent Systems with VerCors},
  booktitle    = {Formal Methods for Executable Software Models - 14th International
                  School on Formal Methods for the Design of Computer, Communication,
                  and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
                  Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {8483},
  pages        = {172--216},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07317-0\_5},
  doi          = {10.1007/978-3-319-07317-0\_5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/AmighiBDHMZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/BoerG14,
  author       = {Frank S. de Boer and
                  Stijn de Gouw},
  editor       = {Marco Bernardo and
                  Ferruccio Damiani and
                  Reiner H{\"{a}}hnle and
                  Einar Broch Johnsen and
                  Ina Schaefer},
  title        = {Combining Monitoring with Run-Time Assertion Checking},
  booktitle    = {Formal Methods for Executable Software Models - 14th International
                  School on Formal Methods for the Design of Computer, Communication,
                  and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
                  Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {8483},
  pages        = {217--262},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07317-0\_6},
  doi          = {10.1007/978-3-319-07317-0\_6},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfm/BoerG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/BubelMH14,
  author       = {Richard Bubel and
                  Antonio Flores{-}Montoya and
                  Reiner H{\"{a}}hnle},
  editor       = {Marco Bernardo and
                  Ferruccio Damiani and
                  Reiner H{\"{a}}hnle and
                  Einar Broch Johnsen and
                  Ina Schaefer},
  title        = {Analysis of Executable Software Models},
  booktitle    = {Formal Methods for Executable Software Models - 14th International
                  School on Formal Methods for the Design of Computer, Communication,
                  and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
                  Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {8483},
  pages        = {1--25},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07317-0\_1},
  doi          = {10.1007/978-3-319-07317-0\_1},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfm/BubelMH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/GiachinoL14,
  author       = {Elena Giachino and
                  Cosimo Laneve},
  editor       = {Marco Bernardo and
                  Ferruccio Damiani and
                  Reiner H{\"{a}}hnle and
                  Einar Broch Johnsen and
                  Ina Schaefer},
  title        = {Deadlock Detection in Linear Recursive Programs},
  booktitle    = {Formal Methods for Executable Software Models - 14th International
                  School on Formal Methods for the Design of Computer, Communication,
                  and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
                  Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {8483},
  pages        = {26--64},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07317-0\_2},
  doi          = {10.1007/978-3-319-07317-0\_2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfm/GiachinoL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/GmeinerKSVW14,
  author       = {Annu Gmeiner and
                  Igor Konnov and
                  Ulrich Schmid and
                  Helmut Veith and
                  Josef Widder},
  editor       = {Marco Bernardo and
                  Ferruccio Damiani and
                  Reiner H{\"{a}}hnle and
                  Einar Broch Johnsen and
                  Ina Schaefer},
  title        = {Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed
                  Algorithms},
  booktitle    = {Formal Methods for Executable Software Models - 14th International
                  School on Formal Methods for the Design of Computer, Communication,
                  and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
                  Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {8483},
  pages        = {122--171},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07317-0\_4},
  doi          = {10.1007/978-3-319-07317-0\_4},
  timestamp    = {Wed, 03 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfm/GmeinerKSVW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/LochauPKS14,
  author       = {Malte Lochau and
                  Sven Peldszus and
                  Matthias Kowal and
                  Ina Schaefer},
  editor       = {Marco Bernardo and
                  Ferruccio Damiani and
                  Reiner H{\"{a}}hnle and
                  Einar Broch Johnsen and
                  Ina Schaefer},
  title        = {Model-Based Testing},
  booktitle    = {Formal Methods for Executable Software Models - 14th International
                  School on Formal Methods for the Design of Computer, Communication,
                  and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
                  Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {8483},
  pages        = {310--342},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07317-0\_8},
  doi          = {10.1007/978-3-319-07317-0\_8},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/LochauPKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sfm/2014,
  editor       = {Marco Bernardo and
                  Ferruccio Damiani and
                  Reiner H{\"{a}}hnle and
                  Einar Broch Johnsen and
                  Ina Schaefer},
  title        = {Formal Methods for Executable Software Models - 14th International
                  School on Formal Methods for the Design of Computer, Communication,
                  and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
                  Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {8483},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07317-0},
  doi          = {10.1007/978-3-319-07317-0},
  isbn         = {978-3-319-07316-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.