Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker

No abstract is available for this paper.

• Publication year

  2008

• Venue

  International Conference on Computer Science and Software Engineering

• Publication date

  2008-12-09

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/CSSE.2008.976
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model checking

  2009cited by this paper
• Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach

  2007cited by this paper
• A UML Profile for Communicating Systems

  2006cited by this paper
• Copyright

  2005cited by this paper
• Symbolic model checking of UML statechart diagrams with an integrated approach

  2004cited by this paper
• Γ and B

  2004cited by this paper
• MDA explained - the Model Driven Architecture: practice and promise

  2003cited by this paper
• A toolset for supporting UML static and dynamic model checking

  2002cited by this paper
• Automated translation of UML models of architectures for verification and simulation using SPIN

  1999cited by this paper
• Holzmann의 ˝The Model Checker SPIN˝에 대하여

  1998cited by this paper
• The Model Checker SPIN

  1997cited by this paper
• UML Profile for Communicating Systems

  year unknowncited by this paper

• Towards Automated and Accurate Understanding of ARINC Standard in Heterogeneous Data Formats

  2025cites this paper
• New Continual Federated Learning System for Intrusion Detection in SDN‐Based Edge Computing

  2024cites this paper
• New Hybrid Approach Multi-agents System and Case Based Reasoning for Management of Common Renewable Resources

  2020cites this paper
• New approach for modeling and developing multi-agent systems based on case based reasoning

  2019cites this paper
• Protocol Syntax Development Using Domain Specific Modeling Languages

  2019cites this paper
• Designing and Developing Multi-agent Systems for Management of Common Renewable Resources

  2018cites this paper
• New Approach of Designing and Developing Multi-Agent Systems

  2018cites this paper
• On the Probabilistic Verification of Time Constrained SysML State Machines

  2015cites this paper
• Model driven security framework for software design and verification

  2015cites this paper
• A probabilistic and timed verification approach of SysML state machine diagram

  2015cites this paper
• A quantitative verification framework of SysML activity diagrams under time constraints

  2015cites this paper
• A formal verification framework for SysML activity diagrams

  2014cites this paper
• An Extended UML Method for the Verification of Security Protocols

  2014cites this paper
• PRELIMINARY REPORT: A Proposed Model Based Systems Engineering Approach to a Virtual Vehicle Architecture Model (V2AM) for Live-Virtual Testing and Prototyping

  2014cites this paper
• Service Innovation Discovery for Enterprise Business Intelligence Applications (SIDE-BIA)

  2014cites this paper
• Verification of multi decisional reactive agent using SMV model checker

  2013cites this paper
• A Security Verification Framework for SysML Activity Diagrams. (Un cadre de vérification de la sécurité pour les diagrammes d'activité SysML)

  2013cites this paper
• Synthesizing Distributed Protocol Specifications from a UML State Machine Modeled Service Specification

  2012cites this paper
• Automatic generation of PROMELA code from sequence diagram with imbricate combined fragments

  2012cites this paper
• Verification of Privacy Preserving Authentication Protocol for VANETs

  2010cites this paper
• Verification, Validation, and Accreditation

  2010cites this paper
• Model checking agent using formal method for SMS verfication

  2009cites this paper