Abstract State Machines - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 258

2021

Event-B Formalization of Event-B ContextsJean-Paul Bodeveix, Mamoun Filali. asm 2021: 66-80 [doi]

Extending ASMETA with Time FeaturesAndrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene. asm 2021: 105-111 [doi]

Towards ASM-Based Automated Formal Verification of Security ProtocolsChiara Braghin, Mario Lilli, Elvinia Riccobene. asm 2021: 17-33 [doi]

Proving the Safety of a Sliding Window Protocol with Event-BSophie Coudert. asm 2021: 50-65 [doi]

Verifying System-Level Security of a Smart Ballot BoxDana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone. asm 2021: 34-49 [doi]

Sterling: A Web-Based Visualizer for Relational Modeling LanguagesTristan Dyer, John W. Baugh Jr.. asm 2021: 99-104 [doi]

Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-BRobert Eschbach. asm 2021: 137-142 [doi]

Extensible Record Structures in Event-BAsieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler. asm 2021: 130-136 [doi]

The CamilleX Framework for the Rodin PlatformThai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler. asm 2021: 124-129 [doi]

Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and ReflectionFengqing Jiang, Neng Xiong, Xinyu Lian, Senén González, Klaus-Dieter Schewe. asm 2021: 118-123 [doi]

Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on StreamsZilinghan Li, Shilan He, Yiqing Du, Senén González, Klaus-Dieter Schewe. asm 2021: 3-16 [doi]

A Modeling and Verification Framework for Security ProtocolsMario Lilli. asm 2021: 158-161 [doi]

About the Concolic Execution and Symbolic ASM Function Promotion in CASMPhilipp Paulweber, Jakob Moosbrugger, Uwe Zdun. asm 2021: 112-117 [doi]

Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, ProceedingsAlexander Raschke, Dominique Méry, editors, Volume 12709 of Lecture Notes in Computer Science, Springer, 2021. [doi]

Formalizing the Institution for Event-B in the Coq Proof AssistantConor Reynolds. asm 2021: 162-166 [doi]

Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB FrameworkPeter Riviere. asm 2021: 153-157 [doi]

Automatic Transformation of SysML Model to Event-B Model for Railway CCS ApplicationShubhangi Salunkhe, Randolf Berglehner, Abdul Rasheeq. asm 2021: 143-149 [doi]

Validation of Formal Models by Timed Probabilistic SimulationFabian Vu, Michael Leuschel, Atif Mashkoor. asm 2021: 81-96 [doi]

2020

A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-BMeryem Afendi. asm 2020: 401-404 [doi]

Modelling Hybrid Programs with Event-BMeryem Afendi, Régine Laleau, Amel Mammar. asm 2020: 139-154 [doi]

Account and Transaction Protocol of the Open Banking StandardAbdulaziz Almehrej, Leo Freitas, Paolo Modesti. asm 2020: 230-236 [doi]

Improving Trustworthiness of Self-driving SystemsFahad Alotaibi. asm 2020: 405-408 [doi]

Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETAPaolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra. asm 2020: 302-317 [doi]

Existence Proof Obligations for Constraints, Properties and Invariants in Atelier BHéctor Ruíz Barradas, Lilian Burdy, David Déharbe. asm 2020: 255-259 [doi]

Event-B-Supported Choreography-Defined Communicating Systems - Correctness and CompletenessSarah Benyagoub, Yamine Aït Ameur, Klaus-Dieter Schewe. asm 2020: 155-168 [doi]

A Formal Approach for the Modeling of High-Level Architectures Aligned with System RequirementsRacem Bougacha. asm 2020: 409-413 [doi]

A Characterization of Distributed ASMs with Partial-Order RunsEgon Börger, Klaus-Dieter Schewe. asm 2020: 78-92 [doi]

Modelling and Verification of Robotic Platforms for Simulation Using RoboStar TechnologyAna Cavalcanti. asm 2020: 3-5 [doi]

Diverse Scenario Exploration in Model Finders Using Graph Kernels and ClusteringRobert Clarisó, Jordi Cabot. asm 2020: 27-43 [doi]

Validating Multiple Variants of an Automotive Light System with ElectrumAlcino Cunha, Nuno Macedo, Chong Liu. asm 2020: 318-334 [doi]

Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3Diego de Azevedo Oliveira, Marc Frappier. asm 2020: 223-229 [doi]

Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out!Jannik Dunkelau, Joshua Schmidt, Michael Leuschel. asm 2020: 107-123 [doi]

Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-BGuillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh. asm 2020: 169-185 [doi]

ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal MethodsDavid Geleßus, Michael Leuschel. asm 2020: 248-254 [doi]

Automatic Generation of DistAlgo Programs from Event-B ModelsAlexis Grall. asm 2020: 414-417 [doi]

Adaptive Exterior Light and Speed Control SystemFrank Houdek, Alexander Raschke. asm 2020: 281-301 [doi]

Formal Verification of Interoperability Between Future Network Architectures Using AlloyMohammad Jahanian, Jiachen Chen, K. K. Ramakrishnan. asm 2020: 44-60 [doi]

Event-B: From Systems to Sub-systems ModelingKenza Kraibi. asm 2020: 418-422 [doi]

A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control SystemSebastian Krings, Philipp Körner, Jannik Dunkelau, Chris Rutenkolk. asm 2020: 382-397 [doi]

Towards a Shared Specification RepositoryPhilipp Körner, Michael Leuschel, Jannik Dunkelau. asm 2020: 266-271 [doi]

Programming the CLEARSY Safety Platform with BThierry Lecomte. asm 2020: 124-138 [doi]

Modelling and Validating an Automotive System in Classical B and Event-BMichael Leuschel, Mareike Mutz, Michelle Werth. asm 2020: 335-350 [doi]

Experiences on Teaching Alloy with an Automated Assessment PlatformNuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva. asm 2020: 61-77 [doi]

An Event-B Model of an Automotive Adaptive Exterior Light SystemAmel Mammar, Marc Frappier, Régine Laleau. asm 2020: 351-366 [doi]

Modeling of a Speed Control System Using Event-BAmel Mammar, Marc Frappier. asm 2020: 367-381 [doi]

A Framework for Critical Interactive System Formal Modelling and AnalysisIsmaïl Mendil. asm 2020: 423-426 [doi]

Refinement and Verification of Responsive Control SystemsKarla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert Armstrong, Michael J. Butler. asm 2020: 272-277 [doi]

Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine LanguagesPhilipp Paulweber, Emmanuel Pescosta, Uwe Zdun. asm 2020: 237-243 [doi]

Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, ProceedingsAlexander Raschke, Dominique Méry, Frank Houdek, editors, Volume 12071 of Lecture Notes in Computer Science, Springer, 2020. [doi]

Exploring the Concept of Abstract State Machines for System Runtime EnforcementElvinia Riccobene, Patrizia Scandurra. asm 2020: 244-247 [doi]

Adding Concurrency to a Sequential Refinement TowerGerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler, Wolfgang Reif. asm 2020: 6-23 [doi]

A Logic for Reflective ASMsKlaus-Dieter Schewe, Flavio Ferrarotti. asm 2020: 93-106 [doi]

Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent ProcessesFatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén. asm 2020: 186-202 [doi]

Formal Distributed Protocol Development for Reservation of Railway SectionsPaulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky. asm 2020: 203-219 [doi]

VisB: A Lightweight Tool to Visualize Formal Models with SVG GraphicsMichelle Werth, Michael Leuschel. asm 2020: 260-265 [doi]

2018

The ABZ-2018 Case Study with Event-BJean-Raymond Abrial. asm 2018: 322-337 [doi]

On B and Event-B: Principles, Success and ChallengesJean-Raymond Abrial. asm 2018: 31-35 [doi]

Clarification of Ambiguity for the Simple Authentication and Security LayerFarah Al-Shareefi, Alexei Lisitsa, Clare Dixon. asm 2018: 189-203 [doi]

On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-BYamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, K. Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, Laurent Voisin. asm 2018: 425-430 [doi]

Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in SpinPaolo Arcaini, Pavel Jezek, Jan Kofron. asm 2018: 277-291 [doi]

Modelling Dynamic Data Structures with the B MethodFrédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer. asm 2018: 420-424 [doi]

Issues in Automated Urban Train Control: 'Tackling' the Rugby Club ProblemRichard Banach. asm 2018: 171-186 [doi]

ABZ Languages and Tools in Industrial-Scale ApplicationJanet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson. asm 2018: 3-15 [doi]

State-Based Formal Methods in Scientific ComputationJohn Baugh, Tristan Dyer. asm 2018: 392-396 [doi]

Abstract State Machines with Exact Real ArithmeticChristoph Beierle, Klaus-Dieter Schewe. asm 2018: 139-154 [doi]

AsmetaA: Animator for Abstract State MachinesSilvia Bonfanti, Angelo Gargantini, Atif Mashkoor. asm 2018: 369-373 [doi]

Proposition of an Action Layer for ElectrumJulien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa. asm 2018: 397-402 [doi]

Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier BLilian Burdy, David Déharbe. asm 2018: 415-419 [doi]

An Automation-Friendly Set Theory for the B MethodGuillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard. asm 2018: 409-414 [doi]

Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, ProceedingsMichael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl, editors, Volume 10817 of Lecture Notes in Computer Science, Springer, 2018. [doi]

Validating the Hybrid ERTMS/ETCS Level 3 Concept with ElectrumAlcino Cunha, Nuno Macedo. asm 2018: 307-321 [doi]

Verifiable Code Generation from Scheduled Event-B ModelsMohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi. asm 2018: 234-248 [doi]

Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3Dana Dghaym, Michael Poppleton, Colin F. Snook. asm 2018: 338-352 [doi]

Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-BGuillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh. asm 2018: 155-170 [doi]

Systematic Refinement of Abstract State Machines with Higher-Order LogicFlavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres. asm 2018: 204-218 [doi]

Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System SpecificationsSteve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier. asm 2018: 55-70 [doi]

Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering ApproachSteve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar. asm 2018: 262-276 [doi]

Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real TrainsDominik Hansen, Michael Leuschel, David Schneider 0001, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron. asm 2018: 292-306 [doi]

The Hybrid ERTMS/ETCS Level 3 Case StudyThai Son Hoang, Michael J. Butler, Klaus Reichl. asm 2018: 251-261 [doi]

A Translation from Alloy to BSebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel. asm 2018: 71-86 [doi]

Extracting Symbolic Transitions from TLA ^+ + SpecificationsJure Kukovec, Thanh-Hai Tran, Igor Konnov. asm 2018: 89-104 [doi]

Formal Specification of the Semantics of Control State DiagramsMarkus Leitz, Alexander Raschke. asm 2018: 374-379 [doi]

An Event-B Model of the Hybrid ERTMS/ETCS Level 3 StandardAmel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau. asm 2018: 353-366 [doi]

CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and TransformationPhilipp Paulweber, Emmanuel Pescosta, Uwe Zdun. asm 2018: 39-54 [doi]

Distributed Adaptive Systems - Theory, Specification, ReasoningKlaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang. asm 2018: 16-30 [doi]

Capturing Membrane Computing by ASMsKlaus-Dieter Schewe, Loredana Tec, Qing Wang. asm 2018: 380-385 [doi]

Insulin Pump: Modular Modeling of Hybrid Systems Using Event-BWen Su, Jinxin Chen, Shehroz Khan. asm 2018: 403-408 [doi]

Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-BInna Vistbakka, Mikhail Barash, Elena Troubitsyna. asm 2018: 386-391 [doi]

Systematic Generation of Non-equivalent Expressions for Relational AlgebraKaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid. asm 2018: 105-120 [doi]

Solver-Based Sketching of Alloy Models Using Test ValuationsKaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid. asm 2018: 121-136 [doi]

Refinement of Timing Constraints for Concurrent Tasks with SchedulingChenyang Zhu, Michael J. Butler, Corina Cîrstea. asm 2018: 219-233 [doi]

2016

Hemodialysis Machine in Hybrid Event-BRichard Banach. asm 2016: 376-393 [doi]

Modeling Distributed Algorithms by Abstract State Machines Compared to Petri NetsEgon Börger. asm 2016: 3-34 [doi]

Mechanized Refinement of Communication Models with TLA ^+ +Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec. asm 2016: 312-318 [doi]

A Graphical Tool for Event Refinement Structures in Event-BDana Dghaym, Matheus Garay Trindade, Michael J. Butler, Asieh Salehi Fathabadi. asm 2016: 269-274 [doi]

On Component-Based Reuse for Event-BAndrew Edmunds, Colin F. Snook, Marina A. Waldén. asm 2016: 151-166 [doi]

Modelling the Haemodialysis Machine with CircusArtur Oliveira Gomes, Andrew Butterfield. asm 2016: 409-424 [doi]

Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-SimulationThai Son Hoang, Colin F. Snook, Lukas Ladenberger, Michael J. Butler. asm 2016: 360-375 [doi]

SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysMLDavid Mentré. asm 2016: 308-311 [doi]

UC-B: Use Case Modelling with Event-BRajiv Murali, Andrew Ireland, Gudmund Grov. asm 2016: 297-302 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

Abstract State Machines (asm)

Viewing Publication 1 - 100 from 258

2021

2020

2018

2016

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

Abstract State Machines (asm)

Viewing Publication 1 - 100 from 258

2021

2020

2018

2016

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1