Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/fmics/BiallasGK13,
  author       = {Sebastian Biallas and
                  Mirco Giacobbe and
                  Stefan Kowalewski},
  editor       = {Charles Pecheur and
                  Michael Dierkes},
  title        = {Predicate Abstraction for Programmable Logic Controllers},
  booktitle    = {Formal Methods for Industrial Critical Systems - 18th International
                  Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8187},
  pages        = {123--138},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41010-9\_9},
  doi          = {10.1007/978-3-642-41010-9\_9},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/BiallasGK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/ChampionDDGJR13,
  author       = {Adrien Champion and
                  R{\'{e}}mi Delmas and
                  Michael Dierkes and
                  Pierre{-}Lo{\"{\i}}c Garoche and
                  Romain Jobredeaux and
                  Pierre Roux},
  editor       = {Charles Pecheur and
                  Michael Dierkes},
  title        = {Formal Methods for the Analysis of Critical Control Systems Models:
                  Combining Non-linear and Linear Analyses},
  booktitle    = {Formal Methods for Industrial Critical Systems - 18th International
                  Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8187},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41010-9\_1},
  doi          = {10.1007/978-3-642-41010-9\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/ChampionDDGJR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/DavisCCFHHHMW13,
  author       = {Jennifer A. Davis and
                  Matthew A. Clark and
                  Darren D. Cofer and
                  Aaron Fifarek and
                  Jacob Hinchman and
                  Jonathan A. Hoffman and
                  Brian W. Hulbert and
                  Steven P. Miller and
                  Lucas G. Wagner},
  editor       = {Charles Pecheur and
                  Michael Dierkes},
  title        = {Study on the Barriers to the Industrial Adoption of Formal Methods},
  booktitle    = {Formal Methods for Industrial Critical Systems - 18th International
                  Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8187},
  pages        = {63--77},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41010-9\_5},
  doi          = {10.1007/978-3-642-41010-9\_5},
  timestamp    = {Wed, 18 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/DavisCCFHHHMW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/Hansen13,
  author       = {Hallstein Asheim Hansen},
  editor       = {Charles Pecheur and
                  Michael Dierkes},
  title        = {HyRev: {A} Tool for the Automatic Generation of Real-Time Routines
                  for Enabling Fail-Safe Control in a Class of Safety-Critical Embedded
                  Systems Using Backwards Reachability Analysis},
  booktitle    = {Formal Methods for Industrial Critical Systems - 18th International
                  Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8187},
  pages        = {17--31},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41010-9\_2},
  doi          = {10.1007/978-3-642-41010-9\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/Hansen13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/JacksonSW13,
  author       = {Paul B. Jackson and
                  Florian Schanda and
                  Angela Wallenburg},
  editor       = {Charles Pecheur and
                  Michael Dierkes},
  title        = {Auditing User-Provided Axioms in Software Verification Conditions},
  booktitle    = {Formal Methods for Industrial Critical Systems - 18th International
                  Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8187},
  pages        = {154--168},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41010-9\_11},
  doi          = {10.1007/978-3-642-41010-9\_11},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/JacksonSW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/KhurramATH13,
  author       = {Adil Khurram and
                  Haider Ali and
                  Arham Tariq and
                  Osman Hasan},
  editor       = {Charles Pecheur and
                  Michael Dierkes},
  title        = {Formal Reliability Analysis of Protective Relays in Power Distribution
                  Systems},
  booktitle    = {Formal Methods for Industrial Critical Systems - 18th International
                  Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8187},
  pages        = {169--183},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41010-9\_12},
  doi          = {10.1007/978-3-642-41010-9\_12},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/KhurramATH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/KriouileS13,
  author       = {Abderahman Kriouile and
                  Wendelin Serwe},
  editor       = {Charles Pecheur and
                  Michael Dierkes},
  title        = {Formal Analysis of the {ACE} Specification for Cache Coherent Systems-on-Chip},
  booktitle    = {Formal Methods for Industrial Critical Systems - 18th International
                  Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8187},
  pages        = {108--122},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41010-9\_8},
  doi          = {10.1007/978-3-642-41010-9\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/KriouileS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/LerouxGA13,
  author       = {H{\'{e}}l{\`{e}}ne Leroux and
                  Karen Godary{-}Dejean and
                  David Andreu},
  editor       = {Charles Pecheur and
                  Michael Dierkes},
  title        = {Complex Digital System Design: {A} Methodology and Its Application
                  to Medical Implants},
  booktitle    = {Formal Methods for Industrial Critical Systems - 18th International
                  Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8187},
  pages        = {94--107},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41010-9\_7},
  doi          = {10.1007/978-3-642-41010-9\_7},
  timestamp    = {Mon, 28 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/LerouxGA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/PierrePSQ13,
  author       = {Laurence Pierre and
                  Fabrice Pancher and
                  Rodolphe Suescun and
                  J{\'{e}}r{\^{o}}me Qu{\'{e}}vremont},
  editor       = {Charles Pecheur and
                  Michael Dierkes},
  title        = {On the Effectiveness of Assertion-Based Verification in an Industrial
                  Context},
  booktitle    = {Formal Methods for Industrial Critical Systems - 18th International
                  Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8187},
  pages        = {78--93},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41010-9\_6},
  doi          = {10.1007/978-3-642-41010-9\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/PierrePSQ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/PonsardDL13,
  author       = {Christophe Ponsard and
                  Jean{-}Christophe Deprez and
                  Renaud De Landtsheer},
  editor       = {Charles Pecheur and
                  Michael Dierkes},
  title        = {High-Level Guidance for Managers Deploying Formal Methods in Their
                  Organisation},
  booktitle    = {Formal Methods for Industrial Critical Systems - 18th International
                  Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8187},
  pages        = {139--153},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41010-9\_10},
  doi          = {10.1007/978-3-642-41010-9\_10},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/PonsardDL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/RandolphIBQ13,
  author       = {Aurel Randolph and
                  Abdessamad Imine and
                  Hanifa Boucheneb and
                  Alejandro Quintero},
  editor       = {Charles Pecheur and
                  Michael Dierkes},
  title        = {Specification and Verification Using Alloy of Optimistic Access Control
                  for Distributed Collaborative Editors},
  booktitle    = {Formal Methods for Industrial Critical Systems - 18th International
                  Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8187},
  pages        = {184--198},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41010-9\_13},
  doi          = {10.1007/978-3-642-41010-9\_13},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/RandolphIBQ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/Sexton13,
  author       = {Darren Sexton},
  editor       = {Charles Pecheur and
                  Michael Dierkes},
  title        = {An Outline Workflow for Practical Formal Verification from Software
                  Requirements to Object Code},
  booktitle    = {Formal Methods for Industrial Critical Systems - 18th International
                  Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8187},
  pages        = {32--47},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41010-9\_3},
  doi          = {10.1007/978-3-642-41010-9\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/Sexton13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/ZenglerK13,
  author       = {Christoph Zengler and
                  Wolfgang K{\"{u}}chlin},
  editor       = {Charles Pecheur and
                  Michael Dierkes},
  title        = {Boolean Quantifier Elimination for Automotive Configuration - {A}
                  Case Study},
  booktitle    = {Formal Methods for Industrial Critical Systems - 18th International
                  Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8187},
  pages        = {48--62},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41010-9\_4},
  doi          = {10.1007/978-3-642-41010-9\_4},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/ZenglerK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fmics/2013,
  editor       = {Charles Pecheur and
                  Michael Dierkes},
  title        = {Formal Methods for Industrial Critical Systems - 18th International
                  Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8187},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41010-9},
  doi          = {10.1007/978-3-642-41010-9},
  isbn         = {978-3-642-41009-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/2013.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.