Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fmics/fmics2011.bht:"
download as .bib file
@inproceedings{DBLP:conf/fmics/AldiniBS11,
author = {Alessandro Aldini and
Marco Bernardo and
Jeremy Sproston},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Performability Measure Specification: Combining {CSRL} and {MSL}},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {165--179},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_13},
doi = {10.1007/978-3-642-24431-5\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/AldiniBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BukerDES11,
author = {Matthias B{\"{u}}ker and
Werner Damm and
G{\"{u}}nter Ehmen and
Ingo Stierand},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {An Automated Semantic-Based Approach for Creating Tasks from Matlab
Simulink Models},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {149--164},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_12},
doi = {10.1007/978-3-642-24431-5\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BukerDES11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/CatanoA11,
author = {N{\'{e}}stor Cata{\~{n}}o and
Ijaz Ahmed},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Lightweight Verification of a Multi-Task Threaded Server: {A} Case
Study With The Plural Tool},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {6--20},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_3},
doi = {10.1007/978-3-642-24431-5\_3},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/CatanoA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/CoteFFS11,
author = {Daniel C{\^{o}}t{\'{e}} and
Beno{\^{\i}}t Fraikin and
Marc Frappier and
Richard St{-}Denis},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {A SAT-Based Approach for the Construction of Reusable Control System
Components},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {52--67},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_6},
doi = {10.1007/978-3-642-24431-5\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/CoteFFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/DaskayaHM11,
author = {Ilyas Daskaya and
Michaela Huhn and
Stefan Milius},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Formal Safety Analysis in Industrial Practice},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {68--84},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_7},
doi = {10.1007/978-3-642-24431-5\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/DaskayaHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Dierkes11,
author = {Michael Dierkes},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Formal Analysis of a Triplex Sensor Voter in an Industrial Context},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {102--116},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_9},
doi = {10.1007/978-3-642-24431-5\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/Dierkes11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/FerroPALL11,
author = {Luca Ferro and
Laurence Pierre and
Zeineb Bel Hadj Amor and
J{\'{e}}r{\^{o}}me Lachaize and
Vincent Lefftz},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Runtime Verification of Typical Requirements for a Space Critical
SoC Platform},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {21--36},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_4},
doi = {10.1007/978-3-642-24431-5\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/FerroPALL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/GhafariKJDZ11,
author = {Naghmeh Ghafari and
Ramana Kumar and
Jeff Joyce and
Bernd Dehning and
Christos Zamantzas},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Formal Verification of Real-Time Data Processing of the {LHC} Beam
Loss Monitoring System: {A} Case Study},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {212--227},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_16},
doi = {10.1007/978-3-642-24431-5\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/GhafariKJDZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Katoen11,
author = {Joost{-}Pieter Katoen},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Towards Trustworthy Aerospace Systems: An Experience Report},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {1--4},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_1},
doi = {10.1007/978-3-642-24431-5\_1},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/Katoen11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/KleinKSB11,
author = {Joachim Klein and
Sascha Kl{\"{u}}ppelholz and
Andries Stam and
Christel Baier},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Hierarchical Modeling and Formal Verification. An Industrial Case
Study Using Reo and Vereofy},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {228--243},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_17},
doi = {10.1007/978-3-642-24431-5\_17},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/KleinKSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/LantreibecqS11,
author = {Etienne Lantreibecq and
Wendelin Serwe},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit
Using {CADP}},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {180--195},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_14},
doi = {10.1007/978-3-642-24431-5\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/LantreibecqS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/MashiyatRM11,
author = {Ahmed Shah Mashiyat and
Fazle Rabbi and
Wendy MacCaull},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Modeling and Verifying Timed Compensable Workflows and an Application
to Health Care},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {244--259},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_18},
doi = {10.1007/978-3-642-24431-5\_18},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/MashiyatRM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Moura11,
author = {Leonardo Mendon{\c{c}}a de Moura},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Satisfiability at Microsoft},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {5},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_2},
doi = {10.1007/978-3-642-24431-5\_2},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/Moura11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/PapailiopoulouRP11,
author = {Virginia Papailiopoulou and
Ajitha Rajan and
Ioannis Parissis},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Structural Test Coverage Criteria for Integration Testing of {LUSTRE/SCADE}
Programs},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {85--101},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_8},
doi = {10.1007/978-3-642-24431-5\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/PapailiopoulouRP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/RaffelsieperM11,
author = {Matthias Raffelsieper and
Mohammad Reza Mousavi},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Symbolic Power Analysis of Cell Libraries},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {134--148},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_11},
doi = {10.1007/978-3-642-24431-5\_11},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/RaffelsieperM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/ReinbacherBHSK11,
author = {Thomas Reinbacher and
J{\"{o}}rg Brauer and
Martin Horauer and
Andreas Steininger and
Stefan Kowalewski},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Past Time {LTL} Runtime Verification for Microcontroller Binary Code},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {37--51},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_5},
doi = {10.1007/978-3-642-24431-5\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/ReinbacherBHSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/SijtemaSBM11,
author = {Marten Sijtema and
Mari{\"{e}}lle Stoelinga and
Axel Belinfante and
Lawrence Marinelli},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Experiences with Formal Engineering: Model-Based Specification, Implementation
and Testing of a Software Bus at Neopost},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {117--133},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_10},
doi = {10.1007/978-3-642-24431-5\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/SijtemaSBM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/StappersRW11,
author = {Frank P. M. Stappers and
Michel A. Reniers and
Sven Weber},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Transforming {SOS} Specifications to Linear Processes},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {196--211},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_15},
doi = {10.1007/978-3-642-24431-5\_15},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/StappersRW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2011,
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5},
doi = {10.1007/978-3-642-24431-5},
isbn = {978-3-642-24430-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-30 11:36 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
