default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sfm/sfm2007.bht:"
download as .bib file
@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}
}
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-12-18 13:30 CET 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:
