Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/fmics/000105,
  author       = {Radu Mateescu},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {On-the-fly state space reductions for weak equivalences},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {80--89},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081191},
  doi          = {10.1145/1081180.1081191},
  timestamp    = {Tue, 25 Jan 2022 17:00:39 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/000105.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/Andrade05,
  author       = {Lu{\'{\i}}s Andrade},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {The experience of {ATX} with the application of formal/rigorous techniques
                  and methods in real projects},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081181},
  doi          = {10.1145/1081180.1081181},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/Andrade05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BaierCG05,
  author       = {Christel Baier and
                  Frank Ciesinski and
                  Marcus Gr{\"{o}}{\ss}er},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {Quantitative analysis of distributed randomized protocols},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {2--7},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081182},
  doi          = {10.1145/1081180.1081182},
  timestamp    = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/BaierCG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BanciF05,
  author       = {Michele Banci and
                  Alessandro Fantechi},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {Instantiating generic charts for railway interlocking systems},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {134--143},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081197},
  doi          = {10.1145/1081180.1081197},
  timestamp    = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/BanciF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BowenH05,
  author       = {Jonathan P. Bowen and
                  Michael G. Hinchey},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {Ten commandments revisited: a ten-year perspective on the industrial
                  application of formal methods},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {8--16},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081183},
  doi          = {10.1145/1081180.1081183},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/BowenH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/CamaraGMS05,
  author       = {Pedro de la C{\'{a}}mara and
                  Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino and
                  David San{\'{a}}n},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {Model checking software with well-defined APIs: the socket case},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {17--26},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081184},
  doi          = {10.1145/1081180.1081184},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/CamaraGMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/HelinK05,
  author       = {Joni Helin and
                  Pertti Kellom{\"{a}}ki},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {Invariants come from templates},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {90--97},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081192},
  doi          = {10.1145/1081180.1081192},
  timestamp    = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/HelinK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/HiltonH05,
  author       = {Adrian J. Hilton and
                  Jon G. Hall},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {Developing critical systems with {PLD} components},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {72--79},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081190},
  doi          = {10.1145/1081180.1081190},
  timestamp    = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/HiltonH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/HincheyRRT05,
  author       = {Michael G. Hinchey and
                  Christopher A. Rouff and
                  James L. Rash and
                  Walter Truszkowski},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {Requirements of an integrated formal method for intelligent swarms},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {125--133},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081196},
  doi          = {10.1145/1081180.1081196},
  timestamp    = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/HincheyRRT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/Hung05,
  author       = {Dang Van Hung},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {Toward a formal model for component interfaces for real-time systems},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {106--114},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081194},
  doi          = {10.1145/1081180.1081194},
  timestamp    = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/Hung05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/LakehalP05,
  author       = {Abdesselam Lakehal and
                  Ioannis Parissis},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {Structural test coverage criteria for lustre programs},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {35--43},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081186},
  doi          = {10.1145/1081180.1081186},
  timestamp    = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/LakehalP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/MikacC05,
  author       = {Jan Mik{\'{a}}c and
                  Paul Caspi},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {Flush: a system development tool based on scade/lustre},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {27--34},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081185},
  doi          = {10.1145/1081180.1081185},
  timestamp    = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/MikacC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/PelanekHCB05,
  author       = {Radek Pel{\'{a}}nek and
                  Tom{\'{a}}s Hanzl and
                  Ivana Cern{\'{a}} and
                  Lubos Brim},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {Enhancing random walk state space exploration},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {98--105},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081193},
  doi          = {10.1145/1081180.1081193},
  timestamp    = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/PelanekHCB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/RaffeltSB05,
  author       = {Harald Raffelt and
                  Bernhard Steffen and
                  Therese Berg},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {LearnLib: a library for automata learning and experimentation},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {62--71},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081189},
  doi          = {10.1145/1081180.1081189},
  timestamp    = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/RaffeltSB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/RiedenK05,
  author       = {Thomas In der Rieden and
                  Steffen Knapp},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {An approach to the pervasive formal specification and verification
                  of an automotive system: status report},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {115--124},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081195},
  doi          = {10.1145/1081180.1081195},
  timestamp    = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/RiedenK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/Strunk0K05,
  author       = {Elisabeth A. Strunk and
                  Xiang Yin and
                  John C. Knight},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {Echo: a practical approach to formal verification},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {44--53},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081187},
  doi          = {10.1145/1081180.1081187},
  timestamp    = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/Strunk0K05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/WijsPB05,
  author       = {Anton Wijs and
                  Jaco van de Pol and
                  Elena M. Bortnik},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {Solving scheduling problems by untimed model checking: the clinical
                  chemical analyser case study},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {54--61},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081188},
  doi          = {10.1145/1081180.1081188},
  timestamp    = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/WijsPB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fmics/2005,
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180},
  doi          = {10.1145/1081180},
  timestamp    = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/2005.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.