Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs271.bht:"

 download as .bib file

@proceedings{DBLP:journals/corr/abs-1805-04636,
  editor       = {R{\'{e}}gine Laleau and
                  Dominique M{\'{e}}ry and
                  Shin Nakajima and
                  Elena Troubitsyna},
  title        = {Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge
                  in formal system development {(IMPEX)} and Formal and Model-Driven
                  Techniques for Developing Trustworthy Systems (FM{\&}MDD), IMPEX/FM{\&}MDD
                  2017, Xi'an, China, 16th November 2017},
  series       = {{EPTCS}},
  volume       = {271},
  year         = {2018},
  url          = {http://arxiv.org/abs/1805.04636},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-04636.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1805-05514,
  author       = {Ahmed Al{-}Brashdi and
                  Michael J. Butler and
                  Abdolbaghi Rezazadeh},
  editor       = {R{\'{e}}gine Laleau and
                  Dominique M{\'{e}}ry and
                  Shin Nakajima and
                  Elena Troubitsyna},
  title        = {Incremental Database Design using {UML-B} and Event-B},
  booktitle    = {Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge
                  in formal system development {(IMPEX)} and Formal and Model-Driven
                  Techniques for Developing Trustworthy Systems (FM{\&}MDD), IMPEX/FM{\&}MDD
                  2017, Xi'an, China, 16th November 2017},
  series       = {{EPTCS}},
  volume       = {271},
  pages        = {34--47},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.271.3},
  doi          = {10.4204/EPTCS.271.3},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-05514.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1805-05515,
  author       = {Sylvain Conchon and
                  David Declerck and
                  Fatiha Za{\"{\i}}di},
  editor       = {R{\'{e}}gine Laleau and
                  Dominique M{\'{e}}ry and
                  Shin Nakajima and
                  Elena Troubitsyna},
  title        = {Parameterized Model Checking Modulo Explicit Weak Memory Models},
  booktitle    = {Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge
                  in formal system development {(IMPEX)} and Formal and Model-Driven
                  Techniques for Developing Trustworthy Systems (FM{\&}MDD), IMPEX/FM{\&}MDD
                  2017, Xi'an, China, 16th November 2017},
  series       = {{EPTCS}},
  volume       = {271},
  pages        = {48--63},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.271.4},
  doi          = {10.4204/EPTCS.271.4},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-05515.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1805-05516,
  author       = {Dines Bj{\o}rner},
  editor       = {R{\'{e}}gine Laleau and
                  Dominique M{\'{e}}ry and
                  Shin Nakajima and
                  Elena Troubitsyna},
  title        = {Domain Analysis {\&} Description - The Implicit and Explicit Semantics
                  Problem},
  booktitle    = {Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge
                  in formal system development {(IMPEX)} and Formal and Model-Driven
                  Techniques for Developing Trustworthy Systems (FM{\&}MDD), IMPEX/FM{\&}MDD
                  2017, Xi'an, China, 16th November 2017},
  series       = {{EPTCS}},
  volume       = {271},
  pages        = {1--23},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.271.1},
  doi          = {10.4204/EPTCS.271.1},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-05516.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1805-05517,
  author       = {J. Paul Gibson and
                  Dominique M{\'{e}}ry},
  editor       = {R{\'{e}}gine Laleau and
                  Dominique M{\'{e}}ry and
                  Shin Nakajima and
                  Elena Troubitsyna},
  title        = {Explicit Modelling of Physical Measures: From Event-B to Java},
  booktitle    = {Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge
                  in formal system development {(IMPEX)} and Formal and Model-Driven
                  Techniques for Developing Trustworthy Systems (FM{\&}MDD), IMPEX/FM{\&}MDD
                  2017, Xi'an, China, 16th November 2017},
  series       = {{EPTCS}},
  volume       = {271},
  pages        = {64--79},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.271.5},
  doi          = {10.4204/EPTCS.271.5},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-05517.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1805-05518,
  author       = {Yamine A{\"{\i}}t Ameur and
                  Idir A{\"{\i}}t{-}Sadoune and
                  Kahina Hacid and
                  Linda Mohand{-}Oussa{\"{\i}}d},
  editor       = {R{\'{e}}gine Laleau and
                  Dominique M{\'{e}}ry and
                  Shin Nakajima and
                  Elena Troubitsyna},
  title        = {Formal Modelling of Ontologies : An Event-B based Approach Using the
                  Rodin Platform},
  booktitle    = {Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge
                  in formal system development {(IMPEX)} and Formal and Model-Driven
                  Techniques for Developing Trustworthy Systems (FM{\&}MDD), IMPEX/FM{\&}MDD
                  2017, Xi'an, China, 16th November 2017},
  series       = {{EPTCS}},
  volume       = {271},
  pages        = {24--33},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.271.2},
  doi          = {10.4204/EPTCS.271.2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-05518.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1805-05519,
  author       = {Irum Rauf and
                  Elena Troubitsyna},
  editor       = {R{\'{e}}gine Laleau and
                  Dominique M{\'{e}}ry and
                  Shin Nakajima and
                  Elena Troubitsyna},
  title        = {Securing Open Source Clouds Using Models},
  booktitle    = {Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge
                  in formal system development {(IMPEX)} and Formal and Model-Driven
                  Techniques for Developing Trustworthy Systems (FM{\&}MDD), IMPEX/FM{\&}MDD
                  2017, Xi'an, China, 16th November 2017},
  series       = {{EPTCS}},
  volume       = {271},
  pages        = {80--94},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.271.6},
  doi          = {10.4204/EPTCS.271.6},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-05519.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1805-05520,
  author       = {Eduardo dos Santos and
                  Andrew Simpson and
                  Dominik Schoop},
  editor       = {R{\'{e}}gine Laleau and
                  Dominique M{\'{e}}ry and
                  Shin Nakajima and
                  Elena Troubitsyna},
  title        = {A Formal Model to Facilitate Security Testing in Modern Automotive
                  Systems},
  booktitle    = {Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge
                  in formal system development {(IMPEX)} and Formal and Model-Driven
                  Techniques for Developing Trustworthy Systems (FM{\&}MDD), IMPEX/FM{\&}MDD
                  2017, Xi'an, China, 16th November 2017},
  series       = {{EPTCS}},
  volume       = {271},
  pages        = {95--104},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.271.7},
  doi          = {10.4204/EPTCS.271.7},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-05520.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1805-05521,
  author       = {Inna Vistbakka and
                  Elena Troubitsyna},
  editor       = {R{\'{e}}gine Laleau and
                  Dominique M{\'{e}}ry and
                  Shin Nakajima and
                  Elena Troubitsyna},
  title        = {Towards Integrated Modelling of Dynamic Access Control with {UML}
                  and Event-B},
  booktitle    = {Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge
                  in formal system development {(IMPEX)} and Formal and Model-Driven
                  Techniques for Developing Trustworthy Systems (FM{\&}MDD), IMPEX/FM{\&}MDD
                  2017, Xi'an, China, 16th November 2017},
  series       = {{EPTCS}},
  volume       = {271},
  pages        = {105--116},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.271.8},
  doi          = {10.4204/EPTCS.271.8},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-05521.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.