Search dblp for Publications

• > Home > Search

@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}
}