Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/fmics/AhmadH14,
  author       = {Muhammad Ahmad and
                  Osman Hasan},
  editor       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Francesco Flammini},
  title        = {Formal Verification of Steady-State Errors in Unity-Feedback Control
                  Systems},
  booktitle    = {Formal Methods for Industrial Critical Systems - 19th International
                  Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8718},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10702-8\_1},
  doi          = {10.1007/978-3-319-10702-8\_1},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/AhmadH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BasoldGHM14,
  author       = {Henning Basold and
                  Henning G{\"{u}}nther and
                  Michaela Huhn and
                  Stefan Milius},
  editor       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Francesco Flammini},
  title        = {An Open Alternative for SMT-Based Verification of Scade Models},
  booktitle    = {Formal Methods for Industrial Critical Systems - 19th International
                  Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8718},
  pages        = {124--139},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10702-8\_9},
  doi          = {10.1007/978-3-319-10702-8\_9},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BasoldGHM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BlazyBY14,
  author       = {Sandrine Blazy and
                  David B{\"{u}}hler and
                  Boris Yakobowski},
  editor       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Francesco Flammini},
  title        = {Improving Static Analyses of {C} Programs with Conditional Predicates},
  booktitle    = {Formal Methods for Industrial Critical Systems - 19th International
                  Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8718},
  pages        = {140--154},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10702-8\_10},
  doi          = {10.1007/978-3-319-10702-8\_10},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BlazyBY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BonacchiF14,
  author       = {Andrea Bonacchi and
                  Alessandro Fantechi},
  editor       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Francesco Flammini},
  title        = {On the Validation of an Interlocking System by Model-Checking},
  booktitle    = {Formal Methods for Industrial Critical Systems - 19th International
                  Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8718},
  pages        = {94--108},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10702-8\_7},
  doi          = {10.1007/978-3-319-10702-8\_7},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BonacchiF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BostromAHHWL14,
  author       = {Pontus Bostr{\"{o}}m and
                  Petr Alexeev and
                  Mikko Heikkil{\"{a}} and
                  Mikko Huova and
                  Marina Wald{\'{e}}n and
                  Matti Linjama},
  editor       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Francesco Flammini},
  title        = {Analysis of Real-Time Properties of a Digital Hydraulic Power Management
                  System},
  booktitle    = {Formal Methods for Industrial Critical Systems - 19th International
                  Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8718},
  pages        = {33--47},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10702-8\_3},
  doi          = {10.1007/978-3-319-10702-8\_3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BostromAHHWL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/CampbellS14,
  author       = {Brian Campbell and
                  Ian Stark},
  editor       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Francesco Flammini},
  title        = {Randomised Testing of a Microprocessor Model Using SMT-Solver State
                  Generation},
  booktitle    = {Formal Methods for Industrial Critical Systems - 19th International
                  Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8718},
  pages        = {185--199},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10702-8\_13},
  doi          = {10.1007/978-3-319-10702-8\_13},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/CampbellS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/EllenSH14,
  author       = {Christian Ellen and
                  Sven Sieverding and
                  Hardi Hungar},
  editor       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Francesco Flammini},
  title        = {Detecting Consistencies and Inconsistencies of Pattern-Based Functional
                  Requirements},
  booktitle    = {Formal Methods for Industrial Critical Systems - 19th International
                  Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8718},
  pages        = {155--169},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10702-8\_11},
  doi          = {10.1007/978-3-319-10702-8\_11},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/EllenSH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/Fiterau-BrosteanJV14,
  author       = {Paul Fiterau{-}Brostean and
                  Ramon Janssen and
                  Frits W. Vaandrager},
  editor       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Francesco Flammini},
  title        = {Learning Fragments of the {TCP} Network Protocol},
  booktitle    = {Formal Methods for Industrial Critical Systems - 19th International
                  Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8718},
  pages        = {78--93},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10702-8\_6},
  doi          = {10.1007/978-3-319-10702-8\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/Fiterau-BrosteanJV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/GentileMMNP14,
  author       = {Ugo Gentile and
                  Stefano Marrone and
                  Gianluca Mele and
                  Roberto Nardone and
                  Adriano Peron},
  editor       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Francesco Flammini},
  title        = {Test Specification Patterns for Automatic Generation of Test Sequences},
  booktitle    = {Formal Methods for Industrial Critical Systems - 19th International
                  Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8718},
  pages        = {170--184},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10702-8\_12},
  doi          = {10.1007/978-3-319-10702-8\_12},
  timestamp    = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/GentileMMNP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/LockefeerWF14,
  author       = {Lars Lockefeer and
                  David M. Williams and
                  Wan J. Fokkink},
  editor       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Francesco Flammini},
  title        = {Formal Specification and Verification of {TCP} Extended with the Window
                  Scale Option},
  booktitle    = {Formal Methods for Industrial Critical Systems - 19th International
                  Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8718},
  pages        = {63--77},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10702-8\_5},
  doi          = {10.1007/978-3-319-10702-8\_5},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/LockefeerWF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/MazzantiSLF14,
  author       = {Franco Mazzanti and
                  Giorgio Oronzo Spagnolo and
                  Simone Della Longa and
                  Alessio Ferrari},
  editor       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Francesco Flammini},
  title        = {Deadlock Avoidance in Train Scheduling: {A} Model Checking Approach},
  booktitle    = {Formal Methods for Industrial Critical Systems - 19th International
                  Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8718},
  pages        = {109--123},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10702-8\_8},
  doi          = {10.1007/978-3-319-10702-8\_8},
  timestamp    = {Tue, 09 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/MazzantiSLF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/NguyenN14,
  author       = {Thang Nguyen and
                  Dejan Nickovic},
  editor       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Francesco Flammini},
  title        = {Assertion-Based Monitoring in Practice - Checking Correctness of an
                  Automotive Sensor Interface},
  booktitle    = {Formal Methods for Industrial Critical Systems - 19th International
                  Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8718},
  pages        = {16--32},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10702-8\_2},
  doi          = {10.1007/978-3-319-10702-8\_2},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/NguyenN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/ZhangSWY0M14,
  author       = {Zhen Zhang and
                  Wendelin Serwe and
                  Jian Wu and
                  Tomohiro Yoneda and
                  Hao Zheng and
                  Chris J. Myers},
  editor       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Francesco Flammini},
  title        = {Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip},
  booktitle    = {Formal Methods for Industrial Critical Systems - 19th International
                  Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8718},
  pages        = {48--62},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10702-8\_4},
  doi          = {10.1007/978-3-319-10702-8\_4},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/ZhangSWY0M14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fmics/2014,
  editor       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Francesco Flammini},
  title        = {Formal Methods for Industrial Critical Systems - 19th International
                  Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8718},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10702-8},
  doi          = {10.1007/978-3-319-10702-8},
  isbn         = {978-3-319-10701-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/2014.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.