default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs271.bht:"
@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 = {Thu, 20 Jun 2024 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} }
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.