Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/fmics/fmics2005.bht:"
@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} }
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.