default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/entcs/entcs133.bht:"
download as .bib file
@proceedings{DBLP:conf/fmics/2004,
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/133/suppl/C},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BanciF05,
author = {Michele Banci and
Alessandro Fantechi},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Geographical Versus Functional Modelling by Statecharts of Interlocking
Systems},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {3--19},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.055},
doi = {10.1016/J.ENTCS.2004.08.055},
timestamp = {Tue, 06 Dec 2022 10:19:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BanciF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarnatBC05,
author = {Jiri Barnat and
Lubos Brim and
Jakub Chaloupka},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {From Distributed Memory Cycle Detection to Parallel {LTL} Model Checking},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {21--39},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.056},
doi = {10.1016/J.ENTCS.2004.08.056},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarnatBC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BeekMLGFS05,
author = {Maurice H. ter Beek and
Mieke Massink and
Diego Latella and
Stefania Gnesi and
Alessandro Forghieri and
Maurizio Sebastianis},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Model Checking Publish/Subscribe Notification for thinkteam\({}^{\mbox{{\textregistered}}}\)},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {275--294},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.069},
doi = {10.1016/J.ENTCS.2004.08.069},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BeekMLGFS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BicarreguiBA05,
author = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Preface},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.054},
doi = {10.1016/J.ENTCS.2004.08.054},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BicarreguiBA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BourahlaB05a,
author = {Mustapha Bourahla and
Mohamed Benmohamed},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Analysis of Real-Time Systems with {CTL} Model Checkers},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {41--60},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.057},
doi = {10.1016/J.ENTCS.2004.08.057},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BourahlaB05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Choi05,
author = {Yunja Choi},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Model Checking Flight Guidance Systems: from Synchrony to Asynchrony},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {61--79},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.058},
doi = {10.1016/J.ENTCS.2004.08.058},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Choi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FranzleH05,
author = {Martin Fr{\"{a}}nzle and
Christian Herde},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Efficient Proof Engines for Bounded Model Checking of Hybrid Systems},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {119--137},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.061},
doi = {10.1016/J.ENTCS.2004.08.061},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FranzleH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GallardoMMR05,
author = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
Jes{\'{u}}s Mart{\'{\i}}nez and
Pedro Merino and
Guillermo Rodr{\'{\i}}guez},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Integration of Reliability and Performance Analyses for Active Network
Services},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {217--236},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.066},
doi = {10.1016/J.ENTCS.2004.08.066},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GallardoMMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GiraultR05,
author = {Alain Girault and
{\'{E}}ric Rutten},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Modeling Fault-tolerant Distributed Systems for Discrete Controller
Synthesis},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {81--100},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.059},
doi = {10.1016/J.ENTCS.2004.08.059},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GiraultR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HenrikssonAH05,
author = {Anders Henriksson and
Uwe A{\ss}mann and
James Hunt},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Improving Software Quality in Safety-Critical Applications by Model-Driven
Verification},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {101--117},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.060},
doi = {10.1016/J.ENTCS.2004.08.060},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/HenrikssonAH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HuguesVPTBK05,
author = {J{\'{e}}r{\^{o}}me Hugues and
Thomas Vergnaud and
Laurent Pautet and
Yann Thierry{-}Mieg and
Souheib Baarir and
Fabrice Kordon},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {On the Formal Verification of Middleware Behavioral Properties},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {139--157},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.062},
doi = {10.1016/J.ENTCS.2004.08.062},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HuguesVPTBK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IdaniL05,
author = {Akram Idani and
Yves Ledru},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Object Oriented Concepts Identification from Formal {B} Specifications},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {159--174},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.063},
doi = {10.1016/J.ENTCS.2004.08.063},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/IdaniL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Keinanen05,
author = {Misa Kein{\"{a}}nen},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Obtaining Memory-Efficient Solutions to Boolean Equation Systems},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {175--191},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.064},
doi = {10.1016/J.ENTCS.2004.08.064},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Keinanen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KleinCH05,
author = {Jacques Klein and
Beno{\^{\i}}t Caillaud and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Merging Scenarios},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {193--215},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.065},
doi = {10.1016/J.ENTCS.2004.08.065},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KleinCH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PolE05,
author = {Jaco van de Pol and
Miguel Valero Espada},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {An Abstract Interpretation Toolkit for \emph{mu}CRL},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {295--313},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.070},
doi = {10.1016/J.ENTCS.2004.08.070},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PolE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PonsardMRMLV05,
author = {Christophe Ponsard and
Philippe Massonet and
Andr{\'{e}} Rifaut and
Jean{-}Fran{\c{c}}ois Molderez and
Axel van Lamsweerde and
Hung Tran Van},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Early Verification and Validation of Mission Critical Systems},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {237--254},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.067},
doi = {10.1016/J.ENTCS.2004.08.067},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PonsardMRMLV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SinclairP05,
author = {David Sinclair and
James F. Power},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Specifying and Verifying Communications Protocols using Mixed Intuitionistic
Linear Logic},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {255--273},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.068},
doi = {10.1016/J.ENTCS.2004.08.068},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SinclairP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZobelPA05,
author = {Dieter Z{\"{o}}bel and
David Polock and
Andreas van Arkel},
editor = {Juan Bicarregui and
Andrew Butterfield and
Alvaro Arenas},
title = {Testing for the Conformance of Real-time Protocols Implemented by
Operating Systems},
booktitle = {Proceedings of the Ninth International Workshop on Formal Methods
for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
20-21, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {133},
pages = {315--332},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.071},
doi = {10.1016/J.ENTCS.2004.08.071},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZobelPA05.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.
retrieved on 2025-01-27 22:12 CET 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:
