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

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.