Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/fmics/AbidDB12,
  author       = {Nouha Abid and
                  Silvano Dal{-}Zilio and
                  Didier Le Botlan},
  editor       = {Mari{\"{e}}lle Stoelinga and
                  Ralf Pinger},
  title        = {Real-Time Specification Patterns and Tools},
  booktitle    = {Formal Methods for Industrial Critical Systems - 17th International
                  Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7437},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32469-7\_1},
  doi          = {10.1007/978-3-642-32469-7\_1},
  timestamp    = {Fri, 09 Apr 2021 18:51:27 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/AbidDB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/AlbertOR12,
  author       = {Elvira Albert and
                  Bjarte M. {\O}stvold and
                  Jos{\'{e}} Miguel Rojas},
  editor       = {Mari{\"{e}}lle Stoelinga and
                  Ralf Pinger},
  title        = {Automated Extraction of Abstract Behavioural Models from {JMS} Applications},
  booktitle    = {Formal Methods for Industrial Critical Systems - 17th International
                  Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7437},
  pages        = {16--31},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32469-7\_2},
  doi          = {10.1007/978-3-642-32469-7\_2},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/AlbertOR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/AyacheAR12,
  author       = {Nicholas Ayache and
                  Roberto M. Amadio and
                  Yann R{\'{e}}gis{-}Gianas},
  editor       = {Mari{\"{e}}lle Stoelinga and
                  Ralf Pinger},
  title        = {Certifying and Reasoning on Cost Annotations in {C} Programs},
  booktitle    = {Formal Methods for Industrial Critical Systems - 17th International
                  Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7437},
  pages        = {32--46},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32469-7\_3},
  doi          = {10.1007/978-3-642-32469-7\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/AyacheAR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BaierDEHKKMTV12,
  author       = {Christel Baier and
                  Marcus Daum and
                  Benjamin Engel and
                  Hermann H{\"{a}}rtig and
                  Joachim Klein and
                  Sascha Kl{\"{u}}ppelholz and
                  Steffen M{\"{a}}rcker and
                  Hendrik Tews and
                  Marcus V{\"{o}}lp},
  editor       = {Mari{\"{e}}lle Stoelinga and
                  Ralf Pinger},
  title        = {Waiting for Locks: How Long Does It Usually Take?},
  booktitle    = {Formal Methods for Industrial Critical Systems - 17th International
                  Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7437},
  pages        = {47--62},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32469-7\_4},
  doi          = {10.1007/978-3-642-32469-7\_4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BaierDEHKKMTV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BandurKW12,
  author       = {Victor Bandur and
                  Wolfram Kahl and
                  Alan Wassyng},
  editor       = {Mari{\"{e}}lle Stoelinga and
                  Ralf Pinger},
  title        = {Microcontroller Assembly Synthesis from Timed Automaton Task Specifications},
  booktitle    = {Formal Methods for Industrial Critical Systems - 17th International
                  Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7437},
  pages        = {63--77},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32469-7\_5},
  doi          = {10.1007/978-3-642-32469-7\_5},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BandurKW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BarnatBBKR12,
  author       = {Jiri Barnat and
                  Jan Beran and
                  Lubos Brim and
                  Tomas Kratochvila and
                  Petr Rockai},
  editor       = {Mari{\"{e}}lle Stoelinga and
                  Ralf Pinger},
  title        = {Tool Chain to Support Automated Formal Verification of Avionics Simulink
                  Designs},
  booktitle    = {Formal Methods for Industrial Critical Systems - 17th International
                  Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7437},
  pages        = {78--92},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32469-7\_6},
  doi          = {10.1007/978-3-642-32469-7\_6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BarnatBBKR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BarrettK12,
  author       = {Edd Barrett and
                  Andy King},
  editor       = {Mari{\"{e}}lle Stoelinga and
                  Ralf Pinger},
  title        = {Range Analysis of Binaries with Minimal Effort},
  booktitle    = {Formal Methods for Industrial Critical Systems - 17th International
                  Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7437},
  pages        = {93--107},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32469-7\_7},
  doi          = {10.1007/978-3-642-32469-7\_7},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BarrettK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/CorrensonS12,
  author       = {Lo{\"{\i}}c Correnson and
                  Julien Signoles},
  editor       = {Mari{\"{e}}lle Stoelinga and
                  Ralf Pinger},
  title        = {Combining Analyses for {C} Program Verification},
  booktitle    = {Formal Methods for Industrial Critical Systems - 17th International
                  Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7437},
  pages        = {108--130},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32469-7\_8},
  doi          = {10.1007/978-3-642-32469-7\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/CorrensonS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/Cranen12,
  author       = {Sjoerd Cranen},
  editor       = {Mari{\"{e}}lle Stoelinga and
                  Ralf Pinger},
  title        = {Model Checking the FlexRay Startup Phase},
  booktitle    = {Formal Methods for Industrial Critical Systems - 17th International
                  Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7437},
  pages        = {131--145},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32469-7\_9},
  doi          = {10.1007/978-3-642-32469-7\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/Cranen12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/DrosteLSBH12,
  author       = {Rainer Droste and
                  Christoph L{\"{a}}sche and
                  Cilli Sobiech and
                  Eckard B{\"{o}}de and
                  Axel Hahn},
  editor       = {Mari{\"{e}}lle Stoelinga and
                  Ralf Pinger},
  title        = {Model-Based Risk Assessment Supporting Development of {HSE} Plans
                  for Safe Offshore Operations},
  booktitle    = {Formal Methods for Industrial Critical Systems - 17th International
                  Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7437},
  pages        = {146--161},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32469-7\_10},
  doi          = {10.1007/978-3-642-32469-7\_10},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/DrosteLSBH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/FerrucciMMR12,
  author       = {Luca Ferrucci and
                  Dino Mandrioli and
                  Angelo Morzenti and
                  Matteo Rossi},
  editor       = {Mari{\"{e}}lle Stoelinga and
                  Ralf Pinger},
  title        = {Modular Automated Verification of Flexible Manufacturing Systems with
                  Metric Temporal Logic and Non-Standard Analysis},
  booktitle    = {Formal Methods for Industrial Critical Systems - 17th International
                  Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7437},
  pages        = {162--176},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32469-7\_11},
  doi          = {10.1007/978-3-642-32469-7\_11},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/FerrucciMMR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/PopaS12,
  author       = {Vlad Popa and
                  Wolfgang Schwitzer},
  editor       = {Mari{\"{e}}lle Stoelinga and
                  Ralf Pinger},
  title        = {Optimizing the Robustness of Software against Communication Latencies
                  in Distributed Reactive Embedded Systems},
  booktitle    = {Formal Methods for Industrial Critical Systems - 17th International
                  Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7437},
  pages        = {177--191},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32469-7\_12},
  doi          = {10.1007/978-3-642-32469-7\_12},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/PopaS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/SiekW12,
  author       = {Konrad Siek and
                  Pawel T. Wojciechowski},
  editor       = {Mari{\"{e}}lle Stoelinga and
                  Ralf Pinger},
  title        = {A Formal Design of a Tool for Static Analysis of Upper Bounds on Object
                  Calls in Java},
  booktitle    = {Formal Methods for Industrial Critical Systems - 17th International
                  Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7437},
  pages        = {192--206},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32469-7\_13},
  doi          = {10.1007/978-3-642-32469-7\_13},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/SiekW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/SlabyST12,
  author       = {Jiri Slaby and
                  Jan Strejcek and
                  Marek Trt{\'{\i}}k},
  editor       = {Mari{\"{e}}lle Stoelinga and
                  Ralf Pinger},
  title        = {Checking Properties Described by State Machines: On Synergy of Instrumentation,
                  Slicing, and Symbolic Execution},
  booktitle    = {Formal Methods for Industrial Critical Systems - 17th International
                  Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7437},
  pages        = {207--221},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32469-7\_14},
  doi          = {10.1007/978-3-642-32469-7\_14},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/SlabyST12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fmics/2012,
  editor       = {Mari{\"{e}}lle Stoelinga and
                  Ralf Pinger},
  title        = {Formal Methods for Industrial Critical Systems - 17th International
                  Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7437},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32469-7},
  doi          = {10.1007/978-3-642-32469-7},
  isbn         = {978-3-642-32468-0},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/2012.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.