Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/sfm:"
download as .bib file
@inproceedings{DBLP:conf/sfm/BealV16,
author = {Jacob Beal and
Mirko Viroli},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Aggregate Programming: From Foundations to Applications},
booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {233--260},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8\_8},
doi = {10.1007/978-3-319-34096-8\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BealV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BortolussiG16,
author = {Luca Bortolussi and
Nicolas Gast},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Mean-Field Limits Beyond Ordinary Differential Equations},
booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {61--82},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8\_3},
doi = {10.1007/978-3-319-34096-8\_3},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/BortolussiG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CianciaLLM16,
author = {Vincenzo Ciancia and
Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Spatial Logic and Spatial Model Checking for Closure Spaces},
booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {156--201},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8\_6},
doi = {10.1007/978-3-319-34096-8\_6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/CianciaLLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Galpin16,
author = {Vashti Galpin},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Spatial Representations and Analysis Techniques},
booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {120--155},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8\_5},
doi = {10.1007/978-3-319-34096-8\_5},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/Galpin16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Ghezzi16,
author = {Carlo Ghezzi},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Dependability of Adaptable and Evolvable Distributed Systems},
booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {36--60},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8\_2},
doi = {10.1007/978-3-319-34096-8\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Ghezzi16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/LoretiH16,
author = {Michele Loreti and
Jane Hillston},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Modelling and Analysis of Collective Adaptive Systems with {CARMA}
and its Tools},
booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {83--119},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8\_4},
doi = {10.1007/978-3-319-34096-8\_4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/LoretiH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/TalcottNAK16,
author = {Carolyn L. Talcott and
Vivek Nigam and
Farhad Arbab and
Tobias Kapp{\'{e}}},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical
Systems},
booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {1--35},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8\_1},
doi = {10.1007/978-3-319-34096-8\_1},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/TalcottNAK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/VandinT16,
author = {Andrea Vandin and
Mirco Tribastone},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Quantitative Abstractions for Collective Adaptive Systems},
booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {202--232},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8\_7},
doi = {10.1007/978-3-319-34096-8\_7},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/VandinT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2016,
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8},
doi = {10.1007/978-3-319-34096-8},
isbn = {978-3-319-34095-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Alglave15,
author = {Jade Alglave},
editor = {Marco Bernardo and
Einar Broch Johnsen},
title = {Modeling of Architectures},
booktitle = {Formal Methods for Multicore Programming - 15th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {9104},
pages = {97--145},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18941-3\_3},
doi = {10.1007/978-3-319-18941-3\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Alglave15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/ArbabJ15,
author = {Farhad Arbab and
Sung{-}Shik T. Q. Jongmans},
editor = {Marco Bernardo and
Einar Broch Johnsen},
title = {Coordinating Multicore Computing},
booktitle = {Formal Methods for Multicore Programming - 15th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {9104},
pages = {57--96},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18941-3\_2},
doi = {10.1007/978-3-319-18941-3\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/ArbabJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BrandauerCCFJPT15,
author = {Stephan Brandauer and
Elias Castegren and
Dave Clarke and
Kiko Fernandez{-}Reyes and
Einar Broch Johnsen and
Ka I Pun and
Silvia Lizeth Tapia Tarifa and
Tobias Wrigstad and
Albert Mingkun Yang},
editor = {Marco Bernardo and
Einar Broch Johnsen},
title = {Parallel Objects for Multicores: {A} Glimpse at the Parallel Language
Encore},
booktitle = {Formal Methods for Multicore Programming - 15th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {9104},
pages = {1--56},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18941-3\_1},
doi = {10.1007/978-3-319-18941-3\_1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/BrandauerCCFJPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CastegrenOW15,
author = {Elias Castegren and
Johan {\"{O}}stlund and
Tobias Wrigstad},
editor = {Marco Bernardo and
Einar Broch Johnsen},
title = {Refined Ownership: - Fine-Grained Controlled Internal Sharing},
booktitle = {Formal Methods for Multicore Programming - 15th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {9104},
pages = {179--210},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18941-3\_5},
doi = {10.1007/978-3-319-18941-3\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/CastegrenOW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CoppoDPY15,
author = {Mario Coppo and
Mariangiola Dezani{-}Ciancaglini and
Luca Padovani and
Nobuko Yoshida},
editor = {Marco Bernardo and
Einar Broch Johnsen},
title = {A Gentle Introduction to Multiparty Asynchronous Session Types},
booktitle = {Formal Methods for Multicore Programming - 15th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {9104},
pages = {146--178},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18941-3\_4},
doi = {10.1007/978-3-319-18941-3\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/CoppoDPY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2015,
editor = {Marco Bernardo and
Einar Broch Johnsen},
title = {Formal Methods for Multicore Programming - 15th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {9104},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18941-3},
doi = {10.1007/978-3-319-18941-3},
isbn = {978-3-319-18940-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/sfm/BortolussiH13,
author = {Luca Bortolussi and
Jane Hillston},
editor = {Marco Bernardo and
Erik P. de Vink and
Alessandra Di Pierro and
Herbert Wiklicky},
title = {Checking Individual Agent Behaviours in Markov Population Models by
Fluid Approximation},
booktitle = {Formal Methods for Dynamical Systems - 13th International School on
Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2013, Bertinoro, Italy, June 17-22, 2013. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7938},
pages = {113--149},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38874-3\_4},
doi = {10.1007/978-3-642-38874-3\_4},
timestamp = {Fri, 09 Apr 2021 18:50:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BortolussiH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BrimCS13,
author = {Lubos Brim and
Milan Ceska and
David Safr{\'{a}}nek},
editor = {Marco Bernardo and
Erik P. de Vink and
Alessandra Di Pierro and
Herbert Wiklicky},
title = {Model Checking of Biological Systems},
booktitle = {Formal Methods for Dynamical Systems - 13th International School on
Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2013, Bertinoro, Italy, June 17-22, 2013. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7938},
pages = {63--112},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38874-3\_3},
doi = {10.1007/978-3-642-38874-3\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BrimCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/GratieIP13,
author = {Diana{-}Elena Gratie and
Bogdan Iancu and
Ion Petre},
editor = {Marco Bernardo and
Erik P. de Vink and
Alessandra Di Pierro and
Herbert Wiklicky},
title = {{ODE} Analysis of Biological Systems},
booktitle = {Formal Methods for Dynamical Systems - 13th International School on
Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2013, Bertinoro, Italy, June 17-22, 2013. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7938},
pages = {29--62},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38874-3\_2},
doi = {10.1007/978-3-642-38874-3\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/GratieIP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/KopfR13,
author = {Boris K{\"{o}}pf and
Andrey Rybalchenko},
editor = {Marco Bernardo and
Erik P. de Vink and
Alessandra Di Pierro and
Herbert Wiklicky},
title = {Automation of Quantitative Information-Flow Analysis},
booktitle = {Formal Methods for Dynamical Systems - 13th International School on
Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2013, Bertinoro, Italy, June 17-22, 2013. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7938},
pages = {1--28},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38874-3\_1},
doi = {10.1007/978-3-642-38874-3\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/KopfR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Pachos13,
author = {Jiannis K. Pachos},
editor = {Marco Bernardo and
Erik P. de Vink and
Alessandra Di Pierro and
Herbert Wiklicky},
title = {Topological Quantum Computation},
booktitle = {Formal Methods for Dynamical Systems - 13th International School on
Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2013, Bertinoro, Italy, June 17-22, 2013. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7938},
pages = {150--179},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38874-3\_5},
doi = {10.1007/978-3-642-38874-3\_5},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Pachos13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2013,
editor = {Marco Bernardo and
Erik P. de Vink and
Alessandra Di Pierro and
Herbert Wiklicky},
title = {Formal Methods for Dynamical Systems - 13th International School on
Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2013, Bertinoro, Italy, June 17-22, 2013. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7938},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38874-3},
doi = {10.1007/978-3-642-38874-3},
isbn = {978-3-642-38873-6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/AndovaBEV12,
author = {Suzana Andova and
Mark G. J. van den Brand and
Luc J. P. Engelen and
Tom Verhoeff},
editor = {Marco Bernardo and
Vittorio Cortellessa and
Alfonso Pierantonio},
title = {{MDE} Basics with a {DSL} Focus},
booktitle = {Formal Methods for Model-Driven Engineering - 12th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7320},
pages = {21--57},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30982-3\_2},
doi = {10.1007/978-3-642-30982-3\_2},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/AndovaBEV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Becker12,
author = {Steffen Becker},
editor = {Marco Bernardo and
Vittorio Cortellessa and
Alfonso Pierantonio},
title = {Model Transformations in Non-functional Analysis},
booktitle = {Formal Methods for Model-Driven Engineering - 12th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7320},
pages = {263--289},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30982-3\_8},
doi = {10.1007/978-3-642-30982-3\_8},
timestamp = {Fri, 22 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/Becker12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BroschKLSWW12,
author = {Petra Brosch and
Gerti Kappel and
Philip Langer and
Martina Seidl and
Konrad Wieland and
Manuel Wimmer},
editor = {Marco Bernardo and
Vittorio Cortellessa and
Alfonso Pierantonio},
title = {An Introduction to Model Versioning},
booktitle = {Formal Methods for Model-Driven Engineering - 12th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7320},
pages = {336--398},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30982-3\_10},
doi = {10.1007/978-3-642-30982-3\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BroschKLSWW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CabotG12,
author = {Jordi Cabot and
Martin Gogolla},
editor = {Marco Bernardo and
Vittorio Cortellessa and
Alfonso Pierantonio},
title = {Object Constraint Language {(OCL):} {A} Definitive Guide},
booktitle = {Formal Methods for Model-Driven Engineering - 12th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7320},
pages = {58--90},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30982-3\_3},
doi = {10.1007/978-3-642-30982-3\_3},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/CabotG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CasoBGU12,
author = {Guido de Caso and
V{\'{\i}}ctor A. Braberman and
Diego Garbervetsky and
Sebasti{\'{a}}n Uchitel},
editor = {Marco Bernardo and
Vittorio Cortellessa and
Alfonso Pierantonio},
title = {Abstractions for Validation in Action},
booktitle = {Formal Methods for Model-Driven Engineering - 12th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7320},
pages = {192--218},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30982-3\_6},
doi = {10.1007/978-3-642-30982-3\_6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/CasoBGU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CortellessaMT12,
author = {Vittorio Cortellessa and
Antinisca Di Marco and
Catia Trubiani},
editor = {Marco Bernardo and
Vittorio Cortellessa and
Alfonso Pierantonio},
title = {Software Performance Antipatterns: Modeling and Analysis},
booktitle = {Formal Methods for Model-Driven Engineering - 12th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7320},
pages = {290--335},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30982-3\_9},
doi = {10.1007/978-3-642-30982-3\_9},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/CortellessaMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/GieseLBHNVW12,
author = {Holger Giese and
Leen Lambers and
Basil Becker and
Stephan Hildebrandt and
Stefan Neumann and
Thomas Vogel and
Sebastian W{\"{a}}tzoldt},
editor = {Marco Bernardo and
Vittorio Cortellessa and
Alfonso Pierantonio},
title = {Graph Transformations for MDE, Adaptation, and Models at Runtime},
booktitle = {Formal Methods for Model-Driven Engineering - 12th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7320},
pages = {137--191},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30982-3\_5},
doi = {10.1007/978-3-642-30982-3\_5},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/GieseLBHNVW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/PetriuAT12,
author = {Dorina C. Petriu and
Mohammad Alhaj and
Rasha Tawhid},
editor = {Marco Bernardo and
Vittorio Cortellessa and
Alfonso Pierantonio},
title = {Software Performance Modeling},
booktitle = {Formal Methods for Model-Driven Engineering - 12th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7320},
pages = {219--262},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30982-3\_7},
doi = {10.1007/978-3-642-30982-3\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/PetriuAT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/RuscioEP12,
author = {Davide Di Ruscio and
Romina Eramo and
Alfonso Pierantonio},
editor = {Marco Bernardo and
Vittorio Cortellessa and
Alfonso Pierantonio},
title = {Model Transformations},
booktitle = {Formal Methods for Model-Driven Engineering - 12th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7320},
pages = {91--136},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30982-3\_4},
doi = {10.1007/978-3-642-30982-3\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/RuscioEP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Selic12,
author = {Bran Selic},
editor = {Marco Bernardo and
Vittorio Cortellessa and
Alfonso Pierantonio},
title = {The Less Well Known {UML} - {A} Short User Guide},
booktitle = {Formal Methods for Model-Driven Engineering - 12th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7320},
pages = {1--20},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30982-3\_1},
doi = {10.1007/978-3-642-30982-3\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Selic12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/VallecilloGBWH12,
author = {Antonio Vallecillo and
Martin Gogolla and
Loli Burgue{\~{n}}o and
Manuel Wimmer and
Lars Hamann},
editor = {Marco Bernardo and
Vittorio Cortellessa and
Alfonso Pierantonio},
title = {Formal Specification and Testing of Model Transformations},
booktitle = {Formal Methods for Model-Driven Engineering - 12th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7320},
pages = {399--437},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30982-3\_11},
doi = {10.1007/978-3-642-30982-3\_11},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/VallecilloGBWH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2012,
editor = {Marco Bernardo and
Vittorio Cortellessa and
Alfonso Pierantonio},
title = {Formal Methods for Model-Driven Engineering - 12th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {7320},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30982-3},
doi = {10.1007/978-3-642-30982-3},
isbn = {978-3-642-30981-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BaierKK11,
author = {Christel Baier and
Joachim Klein and
Sascha Kl{\"{u}}ppelholz},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Modeling and Verification of Components and Connectors},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {114--147},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_4},
doi = {10.1007/978-3-642-21455-4\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BaierKK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BertolinoCGN11,
author = {Antonia Bertolino and
Antonello Calabr{\`{o}} and
Felicita Di Giandomenico and
Nicola Nostro},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Dependability and Performance Assessment of Dynamic CONNECTed Systems},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {350--392},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_11},
doi = {10.1007/978-3-642-21455-4\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BertolinoCGN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BlairPGG11,
author = {Gordon S. Blair and
Massimo Paolucci and
Paul Grace and
Nikolaos Georgantas},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Interoperability in Complex Distributed Systems},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {1--26},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_1},
doi = {10.1007/978-3-642-21455-4\_1},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BlairPGG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/ClarkeDHJSSSW11,
author = {Dave Clarke and
Nikolay Diakov and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Ina Schaefer and
Jan Sch{\"{a}}fer and
Rudolf Schlatte and
Peter Y. H. Wong},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Modeling Spatial and Temporal Variability with the {HATS} Abstract
Behavioral Modeling Language},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {417--457},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_13},
doi = {10.1007/978-3-642-21455-4\_13},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/ClarkeDHJSSSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CostaIMMS11,
author = {Gabriele Costa and
Val{\'{e}}rie Issarny and
Fabio Martinelli and
Ilaria Matteucci and
Rachid Saadi},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Security and Trust},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {393--416},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_12},
doi = {10.1007/978-3-642-21455-4\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/CostaIMMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/ForejtKNP11,
author = {Vojtech Forejt and
Marta Z. Kwiatkowska and
Gethin Norman and
David Parker},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Automated Verification Techniques for Probabilistic Systems},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {53--113},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_3},
doi = {10.1007/978-3-642-21455-4\_3},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/ForejtKNP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/GiannakopoulouP11,
author = {Dimitra Giannakopoulou and
Corina S. Pasareanu},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Context Synthesis},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {191--216},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_6},
doi = {10.1007/978-3-642-21455-4\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/GiannakopoulouP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/GraceGBBCIPSSS11,
author = {Paul Grace and
Nikolaos Georgantas and
Amel Bennaceur and
Gordon S. Blair and
Franck Chauvel and
Val{\'{e}}rie Issarny and
Massimo Paolucci and
Rachid Saadi and
Bertrand Souville and
Daniel Sykes},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {The {CONNECT} Architecture},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {27--52},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_2},
doi = {10.1007/978-3-642-21455-4\_2},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/GraceGBBCIPSSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/InverardiST11,
author = {Paola Inverardi and
Romina Spalazzese and
Massimo Tivoli},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Application-Layer Connector Synthesis},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {148--190},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_5},
doi = {10.1007/978-3-642-21455-4\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/InverardiST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/IssarnyBB11,
author = {Val{\'{e}}rie Issarny and
Amel Bennaceur and
Y{\'{e}}rom{-}David Bromberg},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware
Interoperability},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {217--255},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_7},
doi = {10.1007/978-3-642-21455-4\_7},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/IssarnyBB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Jonsson11,
author = {Bengt Jonsson},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Learning of Automata Models Extended with Data},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {327--349},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_10},
doi = {10.1007/978-3-642-21455-4\_10},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Jonsson11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/JurjensOSMHI11,
author = {Jan J{\"{u}}rjens and
Mart{\'{\i}}n Ochoa and
Holger Schmidt and
Lo{\"{\i}}c Marchal and
Siv Hilde Houmb and
Shareeful Islam},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {504--526},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_15},
doi = {10.1007/978-3-642-21455-4\_15},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/JurjensOSMHI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Moschitti11,
author = {Alessandro Moschitti},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Kernel-Based Machines for Abstract and Easy Modeling of Automatic
Learning},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {458--503},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_14},
doi = {10.1007/978-3-642-21455-4\_14},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Moschitti11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/SteffenHM11,
author = {Bernhard Steffen and
Falk Howar and
Maik Merten},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Introduction to Active Automata Learning from a Practical Perspective},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {256--296},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_8},
doi = {10.1007/978-3-642-21455-4\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/SteffenHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Tretmans11,
author = {Jan Tretmans},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Model-Based Testing and Some Steps towards Test-Based Modelling},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {297--326},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_9},
doi = {10.1007/978-3-642-21455-4\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Tretmans11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2011,
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4},
doi = {10.1007/978-3-642-21455-4},
isbn = {978-3-642-21454-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BroadbentFK10,
author = {Anne Broadbent and
Joseph F. Fitzsimons and
Elham Kashefi},
editor = {Alessandro Aldini and
Marco Bernardo and
Alessandra Di Pierro and
Herbert Wiklicky},
title = {Measurement-Based and Universal Blind Quantum Computation},
booktitle = {Formal Methods for Quantitative Aspects of Programming Languages,
10th International School on Formal Methods for the Design of Computer,
Communication and Software Systems, {SFM} 2010, Bertinoro, Italy,
June 21-26, 2010, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6154},
pages = {43--86},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13678-8\_2},
doi = {10.1007/978-3-642-13678-8\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BroadbentFK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/MalacariaH10,
author = {Pasquale Malacaria and
Jonathan Heusser},
editor = {Alessandro Aldini and
Marco Bernardo and
Alessandra Di Pierro and
Herbert Wiklicky},
title = {Information Theory and Security: Quantitative Information Flow},
booktitle = {Formal Methods for Quantitative Aspects of Programming Languages,
10th International School on Formal Methods for the Design of Computer,
Communication and Software Systems, {SFM} 2010, Bertinoro, Italy,
June 21-26, 2010, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6154},
pages = {87--134},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13678-8\_3},
doi = {10.1007/978-3-642-13678-8\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/MalacariaH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/PierroHW10,
author = {Alessandra Di Pierro and
Chris Hankin and
Herbert Wiklicky},
editor = {Alessandro Aldini and
Marco Bernardo and
Alessandra Di Pierro and
Herbert Wiklicky},
title = {Probabilistic Semantics and Program Analysis},
booktitle = {Formal Methods for Quantitative Aspects of Programming Languages,
10th International School on Formal Methods for the Design of Computer,
Communication and Software Systems, {SFM} 2010, Bertinoro, Italy,
June 21-26, 2010, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6154},
pages = {1--42},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13678-8\_1},
doi = {10.1007/978-3-642-13678-8\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/PierroHW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/WolterR10,
author = {Katinka Wolter and
Philipp Reinecke},
editor = {Alessandro Aldini and
Marco Bernardo and
Alessandra Di Pierro and
Herbert Wiklicky},
title = {Performance and Security Tradeoff},
booktitle = {Formal Methods for Quantitative Aspects of Programming Languages,
10th International School on Formal Methods for the Design of Computer,
Communication and Software Systems, {SFM} 2010, Bertinoro, Italy,
June 21-26, 2010, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6154},
pages = {135--167},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13678-8\_4},
doi = {10.1007/978-3-642-13678-8\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/WolterR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2010,
editor = {Alessandro Aldini and
Marco Bernardo and
Alessandra Di Pierro and
Herbert Wiklicky},
title = {Formal Methods for Quantitative Aspects of Programming Languages,
10th International School on Formal Methods for the Design of Computer,
Communication and Software Systems, {SFM} 2010, Bertinoro, Italy,
June 21-26, 2010, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6154},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13678-8},
doi = {10.1007/978-3-642-13678-8},
isbn = {978-3-642-13677-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/AalstMSW09,
author = {Wil M. P. van der Aalst and
Arjan J. Mooij and
Christian Stahl and
Karsten Wolf},
editor = {Marco Bernardo and
Luca Padovani and
Gianluigi Zavattaro},
title = {Service Interaction: Patterns, Formalization, and Analysis},
booktitle = {Formal Methods for Web Services, 9th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
{SFM} 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5569},
pages = {42--88},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01918-0\_2},
doi = {10.1007/978-3-642-01918-0\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/AalstMSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BravettiZ09,
author = {Mario Bravetti and
Gianluigi Zavattaro},
editor = {Marco Bernardo and
Luca Padovani and
Gianluigi Zavattaro},
title = {Contract-Based Discovery and Composition of Web Services},
booktitle = {Formal Methods for Web Services, 9th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
{SFM} 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5569},
pages = {261--295},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01918-0\_7},
doi = {10.1007/978-3-642-01918-0\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BravettiZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Bruni09,
author = {Roberto Bruni},
editor = {Marco Bernardo and
Luca Padovani and
Gianluigi Zavattaro},
title = {Calculi for Service-Oriented Computing},
booktitle = {Formal Methods for Web Services, 9th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
{SFM} 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5569},
pages = {1--41},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01918-0\_1},
doi = {10.1007/978-3-642-01918-0\_1},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Bruni09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CarboneYH09,
author = {Marco Carbone and
Nobuko Yoshida and
Kohei Honda},
editor = {Marco Bernardo and
Luca Padovani and
Gianluigi Zavattaro},
title = {Asynchronous Session Types: Exceptions and Multiparty Interactions},
booktitle = {Formal Methods for Web Services, 9th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
{SFM} 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5569},
pages = {187--212},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01918-0\_5},
doi = {10.1007/978-3-642-01918-0\_5},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/CarboneYH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/ClarkGT09,
author = {Allan Clark and
Stephen Gilmore and
Mirco Tribastone},
editor = {Marco Bernardo and
Luca Padovani and
Gianluigi Zavattaro},
title = {Quantitative Analysis of Web Services Using {SRMC}},
booktitle = {Formal Methods for Web Services, 9th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
{SFM} 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5569},
pages = {296--339},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01918-0\_8},
doi = {10.1007/978-3-642-01918-0\_8},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/ClarkGT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/MarconiP09,
author = {Annapaola Marconi and
Marco Pistore},
editor = {Marco Bernardo and
Luca Padovani and
Gianluigi Zavattaro},
title = {Synthesis and Composition of Web Services},
booktitle = {Formal Methods for Web Services, 9th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
{SFM} 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5569},
pages = {89--157},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01918-0\_3},
doi = {10.1007/978-3-642-01918-0\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/MarconiP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Padovani09,
author = {Luca Padovani},
editor = {Marco Bernardo and
Luca Padovani and
Gianluigi Zavattaro},
title = {Contract-Based Discovery and Adaptation of Web Services},
booktitle = {Formal Methods for Web Services, 9th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
{SFM} 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5569},
pages = {213--260},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01918-0\_6},
doi = {10.1007/978-3-642-01918-0\_6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/Padovani09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Vasconcelos09,
author = {Vasco Thudichum Vasconcelos},
editor = {Marco Bernardo and
Luca Padovani and
Gianluigi Zavattaro},
title = {Fundamentals of Session Types},
booktitle = {Formal Methods for Web Services, 9th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
{SFM} 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5569},
pages = {158--186},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01918-0\_4},
doi = {10.1007/978-3-642-01918-0\_4},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Vasconcelos09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2009,
editor = {Marco Bernardo and
Luca Padovani and
Gianluigi Zavattaro},
title = {Formal Methods for Web Services, 9th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
{SFM} 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5569},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01918-0},
doi = {10.1007/978-3-642-01918-0},
isbn = {978-3-642-01917-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BarbutiCMMP08,
author = {Roberto Barbuti and
Giulio Caravagna and
Andrea Maggiolo{-}Schettini and
Paolo Milazzo and
Giovanni Pardini},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {The Calculus of Looping Sequences},
booktitle = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {387--423},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_11},
doi = {10.1007/978-3-540-68894-5\_11},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BarbutiCMMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BortolussiP08,
author = {Luca Bortolussi and
Alberto Policriti},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {Hybrid Systems and Biology},
booktitle = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {424--448},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_12},
doi = {10.1007/978-3-540-68894-5\_12},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BortolussiP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/ChiarugiDKM08,
author = {Davide Chiarugi and
Pierpaolo Degano and
Jan Bert Van Klinken and
Roberto Marangoni},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {Cells in Silico: {A} Holistic Approach},
booktitle = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {366--386},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_10},
doi = {10.1007/978-3-540-68894-5\_10},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/ChiarugiDKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CiocchettaH08,
author = {Federica Ciocchetta and
Jane Hillston},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {Process Algebras in Systems Biology},
booktitle = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {265--312},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_8},
doi = {10.1007/978-3-540-68894-5\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/CiocchettaH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/DegasperiG08,
author = {Andrea Degasperi and
Stephen Gilmore},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {Sensitivity Analysis of Stochastic Models of Bistable Biochemical
Reactions},
booktitle = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {1--20},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_1},
doi = {10.1007/978-3-540-68894-5\_1},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/DegasperiG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/DemattePR08,
author = {Lorenzo Dematt{\'{e}} and
Corrado Priami and
Alessandro Romanel},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {The BlenX Language: {A} Tutorial},
booktitle = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {313--365},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_9},
doi = {10.1007/978-3-540-68894-5\_9},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/DemattePR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/FagesS08,
author = {Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {Formal Cell Biology in Biocham},
booktitle = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {54--80},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_3},
doi = {10.1007/978-3-540-68894-5\_3},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/FagesS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Gillespie08,
author = {Daniel T. Gillespie},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {Simulation Methods in Systems Biology},
booktitle = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {125--167},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_5},
doi = {10.1007/978-3-540-68894-5\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Gillespie08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/HeinerGD08,
author = {Monika Heiner and
David R. Gilbert and
Robin Donaldson},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {Petri Nets for Systems and Synthetic Biology},
booktitle = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {215--264},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_7},
doi = {10.1007/978-3-540-68894-5\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/HeinerGD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/MausJRU08,
author = {Carsten Maus and
Mathias John and
Mathias R{\"{o}}hl and
Adelinde M. Uhrmacher},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {Hierarchical Modeling for Computational Biology},
booktitle = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {81--124},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_4},
doi = {10.1007/978-3-540-68894-5\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/MausJRU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/PaunR08,
author = {Gheorghe Paun and
Francisco Jos{\'{e}} Romero{-}Campero},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {Membrane Computing as a Modeling Framework. Cellular Systems Case
Studies},
booktitle = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {168--214},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_6},
doi = {10.1007/978-3-540-68894-5\_6},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/PaunR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Talcott08,
author = {Carolyn L. Talcott},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {Pathway Logic},
booktitle = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {21--53},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_2},
doi = {10.1007/978-3-540-68894-5\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Talcott08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/VersariG08,
author = {Cristian Versari and
Roberto Gorrieri},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {pi@: {A} pi-Based Process Calculus for the Implementation of Compartmentalised
Bio-inspired Calculi},
booktitle = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {449--506},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_13},
doi = {10.1007/978-3-540-68894-5\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/VersariG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Zavattaro08,
author = {Gianluigi Zavattaro},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {A Gentle Introduction to Stochastic (Poly)Automata Collectives and
the (Bio)Chemical Ground Form},
booktitle = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {507--523},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_14},
doi = {10.1007/978-3-540-68894-5\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Zavattaro08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2008,
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5},
doi = {10.1007/978-3-540-68894-5},
isbn = {978-3-540-68892-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Balbo07,
author = {Gianfranco Balbo},
editor = {Marco Bernardo and
Jane Hillston},
title = {Introduction to Generalized Stochastic Petri Nets},
booktitle = {Formal Methods for Performance Evaluation, 7th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4486},
pages = {83--131},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72522-0\_3},
doi = {10.1007/978-3-540-72522-0\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Balbo07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BalsamoM07,
author = {Simonetta Balsamo and
Andrea Marin},
editor = {Marco Bernardo and
Jane Hillston},
title = {Queueing Networks},
booktitle = {Formal Methods for Performance Evaluation, 7th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4486},
pages = {34--82},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72522-0\_2},
doi = {10.1007/978-3-540-72522-0\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BalsamoM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Bernardo07,
author = {Marco Bernardo},
editor = {Marco Bernardo and
Jane Hillston},
title = {A Survey of Markovian Behavioral Equivalences},
booktitle = {Formal Methods for Performance Evaluation, 7th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4486},
pages = {180--219},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72522-0\_5},
doi = {10.1007/978-3-540-72522-0\_5},
timestamp = {Wed, 25 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Bernardo07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Ciardo07,
author = {Gianfranco Ciardo},
editor = {Marco Bernardo and
Jane Hillston},
title = {Data Representation and Efficient Solution: {A} Decision Diagram Approach},
booktitle = {Formal Methods for Performance Evaluation, 7th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4486},
pages = {371--394},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72522-0\_9},
doi = {10.1007/978-3-540-72522-0\_9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/Ciardo07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/ClarkGHT07,
author = {Allan Clark and
Stephen Gilmore and
Jane Hillston and
Mirco Tribastone},
editor = {Marco Bernardo and
Jane Hillston},
title = {Stochastic Process Algebras},
booktitle = {Formal Methods for Performance Evaluation, 7th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4486},
pages = {132--179},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72522-0\_4},
doi = {10.1007/978-3-540-72522-0\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/ClarkGHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/GribaudoT07,
author = {Marco Gribaudo and
Mikl{\'{o}}s Telek},
editor = {Marco Bernardo and
Jane Hillston},
title = {Fluid Models in Performance Analysis},
booktitle = {Formal Methods for Performance Evaluation, 7th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4486},
pages = {271--317},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72522-0\_7},
doi = {10.1007/978-3-540-72522-0\_7},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/GribaudoT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/KnottenbeltB07,
author = {William J. Knottenbelt and
Jeremy T. Bradley},
editor = {Marco Bernardo and
Jane Hillston},
title = {Tackling Large State Spaces in Performance Modelling},
booktitle = {Formal Methods for Performance Evaluation, 7th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4486},
pages = {318--370},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72522-0\_8},
doi = {10.1007/978-3-540-72522-0\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/KnottenbeltB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/KwiatkowskaNP07,
author = {Marta Z. Kwiatkowska and
Gethin Norman and
David Parker},
editor = {Marco Bernardo and
Jane Hillston},
title = {Stochastic Model Checking},
booktitle = {Formal Methods for Performance Evaluation, 7th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4486},
pages = {220--270},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72522-0\_6},
doi = {10.1007/978-3-540-72522-0\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/KwiatkowskaNP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Smith07,
author = {Connie U. Smith},
editor = {Marco Bernardo and
Jane Hillston},
title = {Introduction to Software Performance Engineering: Origins and Outstanding
Problems},
booktitle = {Formal Methods for Performance Evaluation, 7th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4486},
pages = {395--428},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72522-0\_10},
doi = {10.1007/978-3-540-72522-0\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Smith07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Stewart07,
author = {William J. Stewart},
editor = {Marco Bernardo and
Jane Hillston},
title = {Performance Modelling and Markov Chains},
booktitle = {Formal Methods for Performance Evaluation, 7th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4486},
pages = {1--33},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72522-0\_1},
doi = {10.1007/978-3-540-72522-0\_1},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/Stewart07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Woodside07,
author = {C. Murray Woodside},
editor = {Marco Bernardo and
Jane Hillston},
title = {From Annotated Software Designs {(UML} {SPT/MARTE)} to Model Formalisms},
booktitle = {Formal Methods for Performance Evaluation, 7th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4486},
pages = {429--467},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72522-0\_11},
doi = {10.1007/978-3-540-72522-0\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Woodside07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2007,
editor = {Marco Bernardo and
Jane Hillston},
title = {Formal Methods for Performance Evaluation, 7th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4486},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72522-0},
doi = {10.1007/978-3-540-72522-0},
isbn = {978-3-540-72482-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BombieriFP06,
author = {Nicola Bombieri and
Franco Fummi and
Graziano Pravadelli},
editor = {Marco Bernardo and
Alessandro Cimatti},
title = {Hardware Design and Simulation for Verification},
booktitle = {Formal Methods for Hardware Verification, 6th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3965},
pages = {1--29},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757283\_1},
doi = {10.1007/11757283\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BombieriFP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CabodiM06,
author = {Gianpiero Cabodi and
Marco Murciano},
editor = {Marco Bernardo and
Alessandro Cimatti},
title = {BDD-Based Hardware Verification},
booktitle = {Formal Methods for Hardware Verification, 6th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3965},
pages = {78--107},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757283\_4},
doi = {10.1007/11757283\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/CabodiM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CimattiS06,
author = {Alessandro Cimatti and
Roberto Sebastiani},
editor = {Marco Bernardo and
Alessandro Cimatti},
title = {Building Efficient Decision Procedures on Top of {SAT} Solvers},
booktitle = {Formal Methods for Hardware Verification, 6th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3965},
pages = {144--175},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757283\_6},
doi = {10.1007/11757283\_6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/CimattiS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/ClaessenR06,
author = {Koen Claessen and
Jan{-}Willem Roorda},
editor = {Marco Bernardo and
Alessandro Cimatti},
title = {An Introduction to Symbolic Trajectory Evaluation},
booktitle = {Formal Methods for Hardware Verification, 6th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3965},
pages = {56--77},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757283\_3},
doi = {10.1007/11757283\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/ClaessenR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/DrechslerF06,
author = {Rolf Drechsler and
G{\"{o}}rschwin Fey},
editor = {Marco Bernardo and
Alessandro Cimatti},
title = {Automatic Test Pattern Generation},
booktitle = {Formal Methods for Hardware Verification, 6th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3965},
pages = {30--55},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757283\_2},
doi = {10.1007/11757283\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/DrechslerF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/GuptaGW06,
author = {Aarti Gupta and
Malay K. Ganai and
Chao Wang},
editor = {Marco Bernardo and
Alessandro Cimatti},
title = {SAT-Based Verification Methods and Applications in Hardware Verification},
booktitle = {Formal Methods for Hardware Verification, 6th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3965},
pages = {108--143},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757283\_5},
doi = {10.1007/11757283\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/GuptaGW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Harrison06,
author = {John Harrison},
editor = {Marco Bernardo and
Alessandro Cimatti},
title = {Floating-Point Verification Using Theorem Proving},
booktitle = {Formal Methods for Hardware Verification, 6th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3965},
pages = {211--242},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757283\_8},
doi = {10.1007/11757283\_8},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Harrison06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Manolios06,
author = {Panagiotis Manolios},
editor = {Marco Bernardo and
Alessandro Cimatti},
title = {Refinement and Theorem Proving},
booktitle = {Formal Methods for Hardware Verification, 6th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3965},
pages = {176--210},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757283\_7},
doi = {10.1007/11757283\_7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/Manolios06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2006,
editor = {Marco Bernardo and
Alessandro Cimatti},
title = {Formal Methods for Hardware Verification, 6th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3965},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757283},
doi = {10.1007/11757283},
isbn = {978-3-540-34304-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/AcquavivaABBBL05,
author = {Andrea Acquaviva and
Alessandro Aldini and
Marco Bernardo and
Alessandro Bogliolo and
Edoardo Bont{\`{a}} and
Emanuele Lattanzi},
editor = {Marco Bernardo and
Alessandro Bogliolo},
title = {A Methodology Based on Formal Methods for Predicting the Impact of
Dynamic Power Management},
booktitle = {Formal Methods for Mobile Computing, 5th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3465},
pages = {155--189},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11419822\_5},
doi = {10.1007/11419822\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/AcquavivaABBBL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/AcquavivaBL05,
author = {Andrea Acquaviva and
Edoardo Bont{\`{a}} and
Emanuele Lattanzi},
editor = {Marco Bernardo and
Alessandro Bogliolo},
title = {Dynamic Power Management Strategies Within the {IEEE} 802.11 Standard},
booktitle = {Formal Methods for Mobile Computing, 5th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3465},
pages = {190--214},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11419822\_6},
doi = {10.1007/11419822\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/AcquavivaBL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BettiniN05,
author = {Lorenzo Bettini and
Rocco De Nicola},
editor = {Marco Bernardo and
Alessandro Bogliolo},
title = {Mobile Distributed Programming in X-Klaim},
booktitle = {Formal Methods for Mobile Computing, 5th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3465},
pages = {29--68},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11419822\_2},
doi = {10.1007/11419822\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BettiniN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CorradiniM05,
author = {Flavio Corradini and
Emanuela Merelli},
editor = {Marco Bernardo and
Alessandro Bogliolo},
title = {Hermes: Agent-Based Middleware for Mobile Computing},
booktitle = {Formal Methods for Mobile Computing, 5th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3465},
pages = {234--270},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11419822\_8},
doi = {10.1007/11419822\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/CorradiniM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/GerlaCLZCYD05,
author = {Mario Gerla and
Ling{-}Jyh Chen and
Yeng{-}Zhong Lee and
Biao Zhou and
Jiwei Chen and
Guang Yang and
Shirshanka Das},
editor = {Marco Bernardo and
Alessandro Bogliolo},
title = {Dealing with Node Mobility in Ad Hoc Wireless Network},
booktitle = {Formal Methods for Mobile Computing, 5th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3465},
pages = {69--106},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11419822\_3},
doi = {10.1007/11419822\_3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/GerlaCLZCYD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Grassi05,
author = {Vincenzo Grassi},
editor = {Marco Bernardo and
Alessandro Bogliolo},
title = {Performance Analysis of Mobile Systems},
booktitle = {Formal Methods for Mobile Computing, 5th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3465},
pages = {107--154},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11419822\_4},
doi = {10.1007/11419822\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Grassi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/LattanziAB05,
author = {Emanuele Lattanzi and
Andrea Acquaviva and
Alessandro Bogliolo},
editor = {Marco Bernardo and
Alessandro Bogliolo},
title = {Network Swapping},
booktitle = {Formal Methods for Mobile Computing, 5th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3465},
pages = {215--233},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11419822\_7},
doi = {10.1007/11419822\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/LattanziAB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/MontanariP05,
author = {Ugo Montanari and
Marco Pistore},
editor = {Marco Bernardo and
Alessandro Bogliolo},
title = {History-Dependent Automata: An Introduction},
booktitle = {Formal Methods for Mobile Computing, 5th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3465},
pages = {1--28},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11419822\_1},
doi = {10.1007/11419822\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/MontanariP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2005,
editor = {Marco Bernardo and
Alessandro Bogliolo},
title = {Formal Methods for Mobile Computing, 5th International School on Formal
Methods for the Design of Computer, Communication, and Software Systems,
SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3465},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b135888},
doi = {10.1007/B135888},
isbn = {3-540-25697-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/AlurM04,
author = {Rajeev Alur and
P. Madhusudan},
editor = {Marco Bernardo and
Flavio Corradini},
title = {Decision Problems for Timed Automata: {A} Survey},
booktitle = {Formal Methods for the Design of Real-Time Systems, International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3185},
pages = {1--24},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30080-9\_1},
doi = {10.1007/978-3-540-30080-9\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/AlurM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BaetenR04,
author = {Jos C. M. Baeten and
Michel A. Reniers},
editor = {Marco Bernardo and
Flavio Corradini},
title = {Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)},
booktitle = {Formal Methods for the Design of Real-Time Systems, International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3185},
pages = {59--97},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30080-9\_3},
doi = {10.1007/978-3-540-30080-9\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BaetenR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BehrmannDL04,
author = {Gerd Behrmann and
Alexandre David and
Kim Guldstrand Larsen},
editor = {Marco Bernardo and
Flavio Corradini},
title = {A Tutorial on Uppaal},
booktitle = {Formal Methods for the Design of Real-Time Systems, International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3185},
pages = {200--236},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30080-9\_7},
doi = {10.1007/978-3-540-30080-9\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BehrmannDL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BihlerV04,
author = {Elmar Bihler and
Walter Vogler},
editor = {Marco Bernardo and
Flavio Corradini},
title = {Timed Petri Nets: Efficiency of Asynchronous Systems},
booktitle = {Formal Methods for the Design of Real-Time Systems, International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3185},
pages = {25--58},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30080-9\_2},
doi = {10.1007/978-3-540-30080-9\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BihlerV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BozgaGOOS04,
author = {Marius Bozga and
Susanne Graf and
Ileana Ober and
Iulian Ober and
Joseph Sifakis},
editor = {Marco Bernardo and
Flavio Corradini},
title = {The {IF} Toolset},
booktitle = {Formal Methods for the Design of Real-Time Systems, International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3185},
pages = {237--267},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30080-9\_8},
doi = {10.1007/978-3-540-30080-9\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BozgaGOOS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Bravetti04,
author = {Mario Bravetti},
editor = {Marco Bernardo and
Flavio Corradini},
title = {Real Time and Stochastic Time},
booktitle = {Formal Methods for the Design of Real-Time Systems, International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3185},
pages = {132--180},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30080-9\_5},
doi = {10.1007/978-3-540-30080-9\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Bravetti04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CacciagranoC04,
author = {Diletta Cacciagrano and
Flavio Corradini},
editor = {Marco Bernardo and
Flavio Corradini},
title = {Expressiveness of Timed Events and Timed Languages},
booktitle = {Formal Methods for the Design of Real-Time Systems, International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3185},
pages = {98--131},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30080-9\_4},
doi = {10.1007/978-3-540-30080-9\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/CacciagranoC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/KatoenBKH04,
author = {Joost{-}Pieter Katoen and
Henrik C. Bohnenkamp and
Ric Klaren and
Holger Hermanns},
editor = {Marco Bernardo and
Flavio Corradini},
title = {Embedded Software Analysis with {MOTOR}},
booktitle = {Formal Methods for the Design of Real-Time Systems, International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3185},
pages = {268--294},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30080-9\_9},
doi = {10.1007/978-3-540-30080-9\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/KatoenBKH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Selic04,
author = {Bran Selic},
editor = {Marco Bernardo and
Flavio Corradini},
title = {On the Semantic Foundations of Standard {UML} 2.0},
booktitle = {Formal Methods for the Design of Real-Time Systems, International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3185},
pages = {181--199},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30080-9\_6},
doi = {10.1007/978-3-540-30080-9\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Selic04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2004,
editor = {Marco Bernardo and
Flavio Corradini},
title = {Formal Methods for the Design of Real-Time Systems, International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3185},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b110123},
doi = {10.1007/B110123},
isbn = {3-540-23068-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/AndradeF03,
author = {Lu{\'{\i}}s Filipe Andrade and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Marco Bernardo and
Paola Inverardi},
title = {Architecture Based Evolution of Software Systems},
booktitle = {Formal Methods for Software Architectures, Third International School
on Formal Methods for the Design of Computer, Communication and Software
Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September
22-27, 2003, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2804},
pages = {148--181},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39800-4\_8},
doi = {10.1007/978-3-540-39800-4\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/AndradeF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BalsamoBS03,
author = {Simonetta Balsamo and
Marco Bernardo and
Marta Simeoni},
editor = {Marco Bernardo and
Paola Inverardi},
title = {Performance Evaluation at the Software Architecture Level},
booktitle = {Formal Methods for Software Architectures, Third International School
on Formal Methods for the Design of Computer, Communication and Software
Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September
22-27, 2003, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2804},
pages = {207--258},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39800-4\_10},
doi = {10.1007/978-3-540-39800-4\_10},
timestamp = {Wed, 25 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/BalsamoBS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BertolinoIM03,
author = {Antonia Bertolino and
Paola Inverardi and
Henry Muccini},
editor = {Marco Bernardo and
Paola Inverardi},
title = {Formal Methods in Testing Software Architectures},
booktitle = {Formal Methods for Software Architectures, Third International School
on Formal Methods for the Design of Computer, Communication and Software
Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September
22-27, 2003, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2804},
pages = {122--147},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39800-4\_7},
doi = {10.1007/978-3-540-39800-4\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/BertolinoIM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Garlan03,
author = {David Garlan},
editor = {Marco Bernardo and
Paola Inverardi},
title = {Formal Modeling and Analysis of Software Architecture: Components,
Connectors, and Events},
booktitle = {Formal Methods for Software Architectures, Third International School
on Formal Methods for the Design of Computer, Communication and Software
Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September
22-27, 2003, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2804},
pages = {1--24},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39800-4\_1},
doi = {10.1007/978-3-540-39800-4\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Garlan03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/InverardiT03,
author = {Paola Inverardi and
Massimo Tivoli},
editor = {Marco Bernardo and
Paola Inverardi},
title = {Software Architecture for Correct Components Assembly},
booktitle = {Formal Methods for Software Architectures, Third International School
on Formal Methods for the Design of Computer, Communication and Software
Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September
22-27, 2003, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2804},
pages = {92--121},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39800-4\_6},
doi = {10.1007/978-3-540-39800-4\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/InverardiT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/IssarnyZ03,
author = {Val{\'{e}}rie Issarny and
Apostolos V. Zarras},
editor = {Marco Bernardo and
Paola Inverardi},
title = {Software Architecture and Dependability},
booktitle = {Formal Methods for Software Architectures, Third International School
on Formal Methods for the Design of Computer, Communication and Software
Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September
22-27, 2003, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2804},
pages = {259--286},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39800-4\_11},
doi = {10.1007/978-3-540-39800-4\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/IssarnyZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/KavehE03,
author = {Nima Kaveh and
Wolfgang Emmerich},
editor = {Marco Bernardo and
Paola Inverardi},
title = {Validating Distributed Object and Component Designs},
booktitle = {Formal Methods for Software Architectures, Third International School
on Formal Methods for the Design of Computer, Communication and Software
Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September
22-27, 2003, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2804},
pages = {63--91},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39800-4\_5},
doi = {10.1007/978-3-540-39800-4\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/KavehE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/KramerMU03,
author = {Jeff Kramer and
Jeff Magee and
Sebasti{\'{a}}n Uchitel},
editor = {Marco Bernardo and
Paola Inverardi},
title = {Software Architecture Modeling {\&} Analysis: {A} Rigorous Approach},
booktitle = {Formal Methods for Software Architectures, Third International School
on Formal Methods for the Design of Computer, Communication and Software
Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September
22-27, 2003, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2804},
pages = {44--51},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39800-4\_3},
doi = {10.1007/978-3-540-39800-4\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/KramerMU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Lamsweerde03,
author = {Axel van Lamsweerde},
editor = {Marco Bernardo and
Paola Inverardi},
title = {From System Goals to Software Architecture},
booktitle = {Formal Methods for Software Architectures, Third International School
on Formal Methods for the Design of Computer, Communication and Software
Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September
22-27, 2003, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2804},
pages = {25--43},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39800-4\_2},
doi = {10.1007/978-3-540-39800-4\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Lamsweerde03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/MurphyPR03,
author = {Amy L. Murphy and
Gian Pietro Picco and
Gruia{-}Catalin Roman},
editor = {Marco Bernardo and
Paola Inverardi},
title = {Software Architecture for Mobile Computing},
booktitle = {Formal Methods for Software Architectures, Third International School
on Formal Methods for the Design of Computer, Communication and Software
Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September
22-27, 2003, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2804},
pages = {182--206},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39800-4\_9},
doi = {10.1007/978-3-540-39800-4\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/MurphyPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/StaffordWC03,
author = {Judith A. Stafford and
Alexander L. Wolf and
Mauro Caporuscio},
editor = {Marco Bernardo and
Paola Inverardi},
title = {The Application of Dependence Analysis to Software Architecture Descriptions},
booktitle = {Formal Methods for Software Architectures, Third International School
on Formal Methods for the Design of Computer, Communication and Software
Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September
22-27, 2003, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2804},
pages = {52--62},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39800-4\_4},
doi = {10.1007/978-3-540-39800-4\_4},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/StaffordWC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2003,
editor = {Marco Bernardo and
Paola Inverardi},
title = {Formal Methods for Software Architectures, Third International School
on Formal Methods for the Design of Computer, Communication and Software
Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September
22-27, 2003, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2804},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b13225},
doi = {10.1007/B13225},
isbn = {3-540-20083-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/2003.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.
retrieved on 2024-08-10 14:12 CEST from data curated 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:
