Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/fmics/2008,
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03240-0},
  doi          = {10.1007/978-3-642-03240-0},
  isbn         = {978-3-642-03239-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/Alba-CastroAE08,
  author       = {Mauricio Alba{-}Castro and
                  Mar{\'{\i}}a Alpuente and
                  Santiago Escobar},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Automated Certification of Non-Interference in Rewriting Logic},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {182--198},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_16},
  doi          = {10.1007/978-3-642-03240-0\_16},
  timestamp    = {Tue, 10 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/Alba-CastroAE08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/AlpuenteFJV08,
  author       = {Mar{\'{\i}}a Alpuente and
                  Marco A. Feli{\'{u}} and
                  Christophe Joubert and
                  Alicia Villanueva},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Using Datalog and Boolean Equation Systems for Program Analysis},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {215--231},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_18},
  doi          = {10.1007/978-3-642-03240-0\_18},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/AlpuenteFJV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BarnatBCCT08,
  author       = {Jiri Barnat and
                  Lubos Brim and
                  Ivana Cern{\'{a}} and
                  Milan Ceska and
                  Jana Tumova},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Local Quantitative {LTL} Model Checking},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {53--68},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_8},
  doi          = {10.1007/978-3-642-03240-0\_8},
  timestamp    = {Wed, 30 Oct 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/BarnatBCCT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BarnatBESS08,
  author       = {Jiri Barnat and
                  Lubos Brim and
                  Stefan Edelkamp and
                  Damian Sulewski and
                  Pavel Simecek},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Can Flash Memory Help in Model Checking?},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {150--165},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_14},
  doi          = {10.1007/978-3-642-03240-0\_14},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BarnatBESS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/CimattiRST08,
  author       = {Alessandro Cimatti and
                  Marco Roveri and
                  Angelo Susi and
                  Stefano Tonetta},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {From Informal Requirements to Property-Driven Formal Validation},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {166--181},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_15},
  doi          = {10.1007/978-3-642-03240-0\_15},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/CimattiRST08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/Cleaveland08,
  author       = {Rance Cleaveland},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Model-Based Verification of Automotive Control Software},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {2},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_2},
  doi          = {10.1007/978-3-642-03240-0\_2},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/Cleaveland08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/ColinLKS08,
  author       = {Samuel Colin and
                  Arnaud Lanoix and
                  Olga Kouchnarenko and
                  Jeanine Souqui{\`{e}}res},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Using CSP{\(\vert\)}{\(\vert\)}B Components: Application to a Platoon
                  of Vehicles},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {103--118},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_11},
  doi          = {10.1007/978-3-642-03240-0\_11},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/ColinLKS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/ColomboPS08,
  author       = {Christian Colombo and
                  Gordon J. Pace and
                  Gerardo Schneider},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual
                  Properties},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {135--149},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_13},
  doi          = {10.1007/978-3-642-03240-0\_13},
  timestamp    = {Sat, 12 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/ColomboPS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/Damm08,
  author       = {Werner Damm},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Contract-Based Analysis of Automotive and Avionics Applications: The
                  {SPEEDS} Approach},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {3},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_3},
  doi          = {10.1007/978-3-642-03240-0\_3},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/Damm08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/DurrieuWW08,
  author       = {Guy Durrieu and
                  H{\'{e}}l{\`{e}}ne Waeselynck and
                  Virginie Wiels},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {{LETO} - {A} Lustre-Based Test Oracle for Airbus Critical Systems},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {7--22},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_5},
  doi          = {10.1007/978-3-642-03240-0\_5},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/DurrieuWW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/FantechiF08,
  author       = {Alessandro Fantechi and
                  Alessio Ferrari},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Panel Discussion on Formal Methods in Commercial Software Development
                  Tools},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {4--6},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_4},
  doi          = {10.1007/978-3-642-03240-0\_4},
  timestamp    = {Tue, 09 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/FantechiF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/GastelLSE08,
  author       = {Bernard van Gastel and
                  Leonard Lensink and
                  Sjaak Smetsers and
                  Marko C. J. D. van Eekelen},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Reentrant Readers-Writers: {A} Case Study Combining Model Checking
                  with Theorem Proving},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {85--102},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_10},
  doi          = {10.1007/978-3-642-03240-0\_10},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/GastelLSE08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/HuLW08,
  author       = {Xiayong Hu and
                  Mark Lawford and
                  Alan Wassyng},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Formal Verification of the Implementability of Timing Requirements},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {119--134},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_12},
  doi          = {10.1007/978-3-642-03240-0\_12},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/HuLW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/MeulenP08,
  author       = {Jos{\'{e}} Vander Meulen and
                  Charles Pecheur},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Efficient Symbolic Model Checking for Process Algebras},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {69--84},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_9},
  doi          = {10.1007/978-3-642-03240-0\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/MeulenP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/Miller08,
  author       = {Steven P. Miller},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Formal Methods for Critical Systems},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {1},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_1},
  doi          = {10.1007/978-3-642-03240-0\_1},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/Miller08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/NemethB08,
  author       = {Erzs{\'{e}}bet N{\'{e}}meth and
                  Tam{\'{a}}s Bartha},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Formal Verification of Safety Functions by Reinterpretation of Functional
                  Block Based Specifications},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {199--214},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_17},
  doi          = {10.1007/978-3-642-03240-0\_17},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/NemethB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/PapailiopoulouMBP08,
  author       = {Virginia Papailiopoulou and
                  Laya Madani and
                  Lydie du Bousquet and
                  Ioannis Parissis},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Extending Structural Test Coverage Criteria for Lustre Programs with
                  Multi-clock Operators},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {23--36},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_6},
  doi          = {10.1007/978-3-642-03240-0\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/PapailiopoulouMBP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/Pelanek08,
  author       = {Radek Pel{\'{a}}nek},
  editor       = {Darren D. Cofer and
                  Alessandro Fantechi},
  title        = {Fighting State Space Explosion: Review and Evaluation},
  booktitle    = {Formal Methods for Industrial Critical Systems, 13th International
                  Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5596},
  pages        = {37--52},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-03240-0\_7},
  doi          = {10.1007/978-3-642-03240-0\_7},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/Pelanek08.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.