Search 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}
}
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.