Search dblp for Publications

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

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.