Search dblp for Publications

export results for "toc:db/conf/fmics/fmics2010.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fmics/AltenhofenB10,
  author       = {Michael Altenhofen and
                  Achim D. Brucker},
  editor       = {Stefan Kowalewski and
                  Marco Roveri},
  title        = {Practical Issues with Formal Specifications - Lessons Learned from
                  an Industrial Case Study},
  booktitle    = {Formal Methods for Industrial Critical Systems - 15th International
                  Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6371},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15898-8\_2},
  doi          = {10.1007/978-3-642-15898-8\_2},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/AltenhofenB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BrauerKK10,
  author       = {J{\"{o}}rg Brauer and
                  Andy King and
                  Stefan Kowalewski},
  editor       = {Stefan Kowalewski and
                  Marco Roveri},
  title        = {Range Analysis of Microcontroller Code Using Bit-Level Congruences},
  booktitle    = {Formal Methods for Industrial Critical Systems - 15th International
                  Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6371},
  pages        = {82--98},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15898-8\_6},
  doi          = {10.1007/978-3-642-15898-8\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BrauerKK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BryansW10,
  author       = {Jeremy W. Bryans and
                  Wei Wei},
  editor       = {Stefan Kowalewski and
                  Marco Roveri},
  title        = {Formal Analysis of {BPMN} Models Using Event-B},
  booktitle    = {Formal Methods for Industrial Critical Systems - 15th International
                  Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6371},
  pages        = {33--49},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15898-8\_3},
  doi          = {10.1007/978-3-642-15898-8\_3},
  timestamp    = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BryansW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/CamenischMS10,
  author       = {Jan Camenisch and
                  Sebastian M{\"{o}}dersheim and
                  Dieter Sommer},
  editor       = {Stefan Kowalewski and
                  Marco Roveri},
  title        = {A Formal Model of Identity Mixer},
  booktitle    = {Formal Methods for Industrial Critical Systems - 15th International
                  Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6371},
  pages        = {198--214},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15898-8\_13},
  doi          = {10.1007/978-3-642-15898-8\_13},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/CamenischMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/FerrariGMFT10,
  author       = {Alessio Ferrari and
                  Daniele Grasso and
                  Gianluca Magnani and
                  Alessandro Fantechi and
                  Matteo Tempestini},
  editor       = {Stefan Kowalewski and
                  Marco Roveri},
  title        = {The Metr{\^{o}} Rio {ATP} Case Study},
  booktitle    = {Formal Methods for Industrial Critical Systems - 15th International
                  Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6371},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15898-8\_1},
  doi          = {10.1007/978-3-642-15898-8\_1},
  timestamp    = {Tue, 09 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/FerrariGMFT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/GalatakiRVF10,
  author       = {Despo Galataki and
                  Andrei Radulescu and
                  Kees Verstoep and
                  Wan J. Fokkink},
  editor       = {Stefan Kowalewski and
                  Marco Roveri},
  title        = {Embedded Network Protocols for Mobile Devices},
  booktitle    = {Formal Methods for Industrial Critical Systems - 15th International
                  Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6371},
  pages        = {164--179},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15898-8\_11},
  doi          = {10.1007/978-3-642-15898-8\_11},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/GalatakiRVF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/GerkeEFP10,
  author       = {Michael Gerke and
                  R{\"{u}}diger Ehlers and
                  Bernd Finkbeiner and
                  Hans{-}J{\"{o}}rg Peter},
  editor       = {Stefan Kowalewski and
                  Marco Roveri},
  title        = {Model Checking the FlexRay Physical Layer Protocol},
  booktitle    = {Formal Methods for Industrial Critical Systems - 15th International
                  Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6371},
  pages        = {132--147},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15898-8\_9},
  doi          = {10.1007/978-3-642-15898-8\_9},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/GerkeEFP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/IliasovTLRVIL10,
  author       = {Alexei Iliasov and
                  Elena Troubitsyna and
                  Linas Laibinis and
                  Alexander B. Romanovsky and
                  Kimmo Varpaaniemi and
                  Dubravka Ilic and
                  Timo Latvala},
  editor       = {Stefan Kowalewski and
                  Marco Roveri},
  title        = {Developing Mode-Rich Satellite Software by Refinement in Event {B}},
  booktitle    = {Formal Methods for Industrial Critical Systems - 15th International
                  Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6371},
  pages        = {50--66},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15898-8\_4},
  doi          = {10.1007/978-3-642-15898-8\_4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/IliasovTLRVIL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/KernE10,
  author       = {Christian Kern and
                  Javier Esparza},
  editor       = {Stefan Kowalewski and
                  Marco Roveri},
  title        = {Automatic Error Correction of Java Programs},
  booktitle    = {Formal Methods for Industrial Critical Systems - 15th International
                  Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6371},
  pages        = {67--81},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15898-8\_5},
  doi          = {10.1007/978-3-642-15898-8\_5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/KernE10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/KristensenW10,
  author       = {Lars Michael Kristensen and
                  Michael Westergaard},
  editor       = {Stefan Kowalewski and
                  Marco Roveri},
  title        = {Automatic Structure-Based Code Generation from Coloured Petri Nets:
                  {A} Proof of Concept},
  booktitle    = {Formal Methods for Industrial Critical Systems - 15th International
                  Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6371},
  pages        = {215--230},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15898-8\_14},
  doi          = {10.1007/978-3-642-15898-8\_14},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/KristensenW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/MashiyatRWM10,
  author       = {Ahmed Shah Mashiyat and
                  Fazle Rabbi and
                  Hao Wang and
                  Wendy MacCaull},
  editor       = {Stefan Kowalewski and
                  Marco Roveri},
  title        = {An Automated Translator for Model Checking Time Constrained Workflow
                  Systems},
  booktitle    = {Formal Methods for Industrial Critical Systems - 15th International
                  Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6371},
  pages        = {99--114},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15898-8\_7},
  doi          = {10.1007/978-3-642-15898-8\_7},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/MashiyatRWM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/MateescuS10,
  author       = {Radu Mateescu and
                  Wendelin Serwe},
  editor       = {Stefan Kowalewski and
                  Marco Roveri},
  title        = {A Study of Shared-Memory Mutual Exclusion Protocols Using {CADP}},
  booktitle    = {Formal Methods for Industrial Critical Systems - 15th International
                  Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6371},
  pages        = {180--197},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15898-8\_12},
  doi          = {10.1007/978-3-642-15898-8\_12},
  timestamp    = {Thu, 29 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/MateescuS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/SteinerD10,
  author       = {Wilfried Steiner and
                  Bruno Dutertre},
  editor       = {Stefan Kowalewski and
                  Marco Roveri},
  title        = {SMT-Based Formal Verification of a \emph{TTEthernet} Synchronization
                  Function},
  booktitle    = {Formal Methods for Industrial Critical Systems - 15th International
                  Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6371},
  pages        = {148--163},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15898-8\_10},
  doi          = {10.1007/978-3-642-15898-8\_10},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/SteinerD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/WernerF10,
  author       = {Frank Werner and
                  David Farag{\'{o}}},
  editor       = {Stefan Kowalewski and
                  Marco Roveri},
  title        = {Correctness of Sensor Network Applications by Software Bounded Model
                  Checking},
  booktitle    = {Formal Methods for Industrial Critical Systems - 15th International
                  Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6371},
  pages        = {115--131},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15898-8\_8},
  doi          = {10.1007/978-3-642-15898-8\_8},
  timestamp    = {Wed, 27 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/WernerF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fmics/2010,
  editor       = {Stefan Kowalewski and
                  Marco Roveri},
  title        = {Formal Methods for Industrial Critical Systems - 15th International
                  Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6371},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15898-8},
  doi          = {10.1007/978-3-642-15898-8},
  isbn         = {978-3-642-15897-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/2010.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.