default search action
Search dblp for Publications
export results for "toc:db/conf/asm/abz2018.bht:"
@inproceedings{DBLP:conf/asm/Abrial18, author = {Jean{-}Raymond Abrial}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {On {B} and Event-B: Principles, Success and Challenges}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {31--35}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_3}, doi = {10.1007/978-3-319-91271-4\_3}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/asm/Abrial18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/Abrial18a, author = {Jean{-}Raymond Abrial}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {The {ABZ-2018} Case Study with Event-B}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {322--337}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_22}, doi = {10.1007/978-3-319-91271-4\_22}, timestamp = {Mon, 14 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/Abrial18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/Al-ShareefiLD18, author = {Farah Al{-}Shareefi and Alexei Lisitsa and Clare Dixon}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Clarification of Ambiguity for the Simple Authentication and Security Layer}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {189--203}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_13}, doi = {10.1007/978-3-319-91271-4\_13}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/Al-ShareefiLD18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/AmeurACGHKMMSV18, author = {Yamine A{\"{\i}}t Ameur and Idir A{\"{\i}}t{-}Sadoune and P. Casteran and J. Paul Gibson and Kahina Hacid and Souad Kherroubi and Dominique M{\'{e}}ry and Linda Mohand{-}Oussa{\"{\i}}d and Neeraj Kumar Singh and Laurent Voisin}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {425--430}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_35}, doi = {10.1007/978-3-319-91271-4\_35}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/AmeurACGHKMMSV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/ArcainiJK18, author = {Paolo Arcaini and Pavel Jezek and Jan Kofron}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Modelling the Hybrid {ERTMS/ETCS} Level 3 Case Study in Spin}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {277--291}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_19}, doi = {10.1007/978-3-319-91271-4\_19}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/ArcainiJK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/BadeauLMVM18, author = {Fr{\'{e}}d{\'{e}}ric Badeau and Vincent Lacroix and Vincent Monfort and Laurent Voisin and Christophe M{\'{e}}tayer}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Modelling Dynamic Data Structures with the {B} Method}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {420--424}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_34}, doi = {10.1007/978-3-319-91271-4\_34}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asm/BadeauLMVM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/Banach18, author = {Richard Banach}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Issues in Automated Urban Train Control: 'Tackling' the Rugby Club Problem}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {171--186}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_12}, doi = {10.1007/978-3-319-91271-4\_12}, timestamp = {Mon, 14 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/Banach18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/BarnesHWW18, author = {Janet Barnes and Jonathan Hammond and Angela Wallenburg and Thomas Wilson}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {{ABZ} Languages and Tools in Industrial-Scale Application}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {3--15}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_1}, doi = {10.1007/978-3-319-91271-4\_1}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/BarnesHWW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/BaughD18, author = {John W. Baugh Jr. and Tristan Dyer}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {State-Based Formal Methods in Scientific Computation}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {392--396}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_29}, doi = {10.1007/978-3-319-91271-4\_29}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/BaughD18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/BeierleS18, author = {Christoph Beierle and Klaus{-}Dieter Schewe}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Abstract State Machines with Exact Real Arithmetic}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {139--154}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_10}, doi = {10.1007/978-3-319-91271-4\_10}, timestamp = {Mon, 14 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/BeierleS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/BonfantiGM18, author = {Silvia Bonfanti and Angelo Gargantini and Atif Mashkoor}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {AsmetaA: Animator for Abstract State Machines}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {369--373}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_25}, doi = {10.1007/978-3-319-91271-4\_25}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/BonfantiGM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/BrunelCCHMT18, author = {Julien Brunel and David Chemouil and Alcino Cunha and Thomas Hujsa and Nuno Macedo and Jeanne Tawa}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Proposition of an Action Layer for Electrum}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {397--402}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_30}, doi = {10.1007/978-3-319-91271-4\_30}, timestamp = {Tue, 25 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/BrunelCCHMT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/BurdyD18, author = {Lilian Burdy and David D{\'{e}}harbe}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier {B}}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {415--419}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_33}, doi = {10.1007/978-3-319-91271-4\_33}, timestamp = {Mon, 14 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/BurdyD18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/BuryCDE18, author = {Guillaume Bury and Simon Cruanes and David Delahaye and Pierre{-}Louis Euvrard}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {An Automation-Friendly Set Theory for the {B} Method}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {409--414}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_32}, doi = {10.1007/978-3-319-91271-4\_32}, timestamp = {Mon, 14 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/BuryCDE18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/CunhaM18, author = {Alcino Cunha and Nuno Macedo}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Validating the Hybrid {ERTMS/ETCS} Level 3 Concept with Electrum}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {307--321}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_21}, doi = {10.1007/978-3-319-91271-4\_21}, timestamp = {Tue, 25 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/CunhaM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/DalvandiBRF18, author = {Mohammadsadegh Dalvandi and Michael J. Butler and Abdolbaghi Rezazadeh and Asieh Salehi Fathabadi}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Verifiable Code Generation from Scheduled Event-B Models}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {234--248}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_16}, doi = {10.1007/978-3-319-91271-4\_16}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/DalvandiBRF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/DghaymPS18, author = {Dana Dghaym and Michael Poppleton and Colin F. Snook}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Diagram-Led Formal Modelling Using iUML-B for Hybrid {ERTMS} Level 3}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {338--352}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_23}, doi = {10.1007/978-3-319-91271-4\_23}, timestamp = {Wed, 16 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/DghaymPS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/DupontAPS18, author = {Guillaume Dupont and Yamine A{\"{\i}}t Ameur and Marc Pantel and Neeraj Kumar Singh}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {155--170}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_11}, doi = {10.1007/978-3-319-91271-4\_11}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asm/DupontAPS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/FerrarottiGST18, author = {Flavio Ferrarotti and Sen{\'{e}}n Gonz{\'{a}}lez and Klaus{-}Dieter Schewe and Jos{\'{e}} Maria Turull Torres}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Systematic Refinement of Abstract State Machines with Higher-Order Logic}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {204--218}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_14}, doi = {10.1007/978-3-319-91271-4\_14}, timestamp = {Mon, 14 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/FerrarottiGST18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/FotsoFLM18, author = {Steve Jeffrey Tueno Fotso and Marc Frappier and R{\'{e}}gine Laleau and Amel Mammar}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Modeling the Hybrid {ERTMS/ETCS} Level 3 Standard Using a Formal Requirements Engineering Approach}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {262--276}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_18}, doi = {10.1007/978-3-319-91271-4\_18}, timestamp = {Mon, 14 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/FotsoFLM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/FotsoMLF18, author = {Steve Jeffrey Tueno Fotso and Amel Mammar and R{\'{e}}gine Laleau and Marc Frappier}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and {B} System Specifications}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {55--70}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_5}, doi = {10.1007/978-3-319-91271-4\_5}, timestamp = {Mon, 14 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/FotsoMLF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/HansenL0KKNNS18, author = {Dominik Hansen and Michael Leuschel and David Schneider and Sebastian Krings and Philipp K{\"{o}}rner and Thomas Naulin and Nader Nayeri and Frank Skowron}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Using a Formal {B} Model at Runtime in a Demonstration of the {ETCS} Hybrid Level 3 Concept with Real Trains}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {292--306}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_20}, doi = {10.1007/978-3-319-91271-4\_20}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/HansenL0KKNNS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/HoangBR18, author = {Thai Son Hoang and Michael J. Butler and Klaus Reichl}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {The Hybrid {ERTMS/ETCS} Level 3 Case Study}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {251--261}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_17}, doi = {10.1007/978-3-319-91271-4\_17}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asm/HoangBR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/KringsSBFL18, author = {Sebastian Krings and Joshua Schmidt and Carola Brings and Marc Frappier and Michael Leuschel}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {A Translation from Alloy to {B}}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {71--86}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_6}, doi = {10.1007/978-3-319-91271-4\_6}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/KringsSBFL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/KukovecTK18, author = {Jure Kukovec and Thanh{-}Hai Tran and Igor Konnov}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Extracting Symbolic Transitions from TLA\({}^{\mbox{+}}\) Specifications}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {89--104}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_7}, doi = {10.1007/978-3-319-91271-4\_7}, timestamp = {Thu, 18 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/asm/KukovecTK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/LeitzR18, author = {Markus Leitz and Alexander Raschke}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Formal Specification of the Semantics of Control State Diagrams}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {374--379}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_26}, doi = {10.1007/978-3-319-91271-4\_26}, timestamp = {Mon, 14 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/LeitzR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/MammarFFL18, author = {Amel Mammar and Marc Frappier and Steve Jeffrey Tueno Fotso and R{\'{e}}gine Laleau}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {An Event-B Model of the Hybrid {ERTMS/ETCS} Level 3 Standard}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {353--366}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_24}, doi = {10.1007/978-3-319-91271-4\_24}, timestamp = {Mon, 14 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/MammarFFL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/PaulweberPZ18, author = {Philipp Paulweber and Emmanuel Pescosta and Uwe Zdun}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {{CASM-IR:} Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {39--54}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_4}, doi = {10.1007/978-3-319-91271-4\_4}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/PaulweberPZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/ScheweFTW18, author = {Klaus{-}Dieter Schewe and Flavio Ferrarotti and Loredana Tec and Qing Wang}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Distributed Adaptive Systems - Theory, Specification, Reasoning}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {16--30}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_2}, doi = {10.1007/978-3-319-91271-4\_2}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/ScheweFTW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/ScheweTW18, author = {Klaus{-}Dieter Schewe and Loredana Tec and Qing Wang}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Capturing Membrane Computing by ASMs}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {380--385}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_27}, doi = {10.1007/978-3-319-91271-4\_27}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/ScheweTW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/SuCK18, author = {Wen Su and Jinxin Chen and Shehroz Khan}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {403--408}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_31}, doi = {10.1007/978-3-319-91271-4\_31}, timestamp = {Thu, 18 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/SuCK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/VistbakkaBT18, author = {Inna Vistbakka and Mikhail Barash and Elena Troubitsyna}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Towards Creating a {DSL} Facilitating Modelling of Dynamic Access Control in Event-B}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {386--391}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_28}, doi = {10.1007/978-3-319-91271-4\_28}, timestamp = {Mon, 14 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/VistbakkaBT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/WangSKMK18, author = {Kaiyuan Wang and Allison Sullivan and Manos Koukoutos and Darko Marinov and Sarfraz Khurshid}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Systematic Generation of Non-equivalent Expressions for Relational Algebra}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {105--120}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_8}, doi = {10.1007/978-3-319-91271-4\_8}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/WangSKMK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/WangSMK18, author = {Kaiyuan Wang and Allison Sullivan and Darko Marinov and Sarfraz Khurshid}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Solver-Based Sketching of Alloy Models Using Test Valuations}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {121--136}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_9}, doi = {10.1007/978-3-319-91271-4\_9}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/WangSMK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/ZhuBC18, author = {Chenyang Zhu and Michael J. Butler and Corina C{\^{\i}}rstea}, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Refinement of Timing Constraints for Concurrent Tasks with Scheduling}, booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, pages = {219--233}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4\_15}, doi = {10.1007/978-3-319-91271-4\_15}, timestamp = {Wed, 14 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/ZhuBC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/asm/2018, editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl}, title = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10817}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91271-4}, doi = {10.1007/978-3-319-91271-4}, isbn = {978-3-319-91270-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asm/2018.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.