Toward Formal Verification of 802.11 MAC Protocols: a Case Study of Applying Petri-nets to Modeling the 802.11 PCF

2006 IEEE 63rd Vehicular Technology Conference ◽

10.1109/vetecs.2006.1683019 ◽

2006 ◽

Cited By ~ 5

Author(s):

R. Haines ◽

A. Munro ◽

G. Clemo

Keyword(s):

Petri Nets ◽

Formal Verification ◽

Mac Protocols ◽

802.11 Mac

Download Full-text

Toward Formal Verification of 802.11 MAC Protocols: Verifying a Petri-Net Model of 802.11 PCF

IEEE Vehicular Technology Conference ◽

10.1109/vtcf.2006.462 ◽

2006 ◽

Cited By ~ 2

Author(s):

Russell Haines ◽

Gary Clemo ◽

Alistair Munro

Keyword(s):

Formal Verification ◽

Petri Net ◽

Mac Protocols ◽

802.11 Mac

Download Full-text

Petri-nets for formal verification of MAC protocols

IET Software ◽

10.1049/iet-sen:20060057 ◽

2007 ◽

Vol 1 (2) ◽

pp. 39-47 ◽

Cited By ~ 3

Author(s):

R.J. Haines ◽

A.T.D. Munro ◽

G.R. Clemo

Keyword(s):

Petri Nets ◽

Formal Verification ◽

Mac Protocols

Download Full-text

A Comparative Case Study of Business Process Model with Petri Nets and Process Activity Diagram

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v6i11.565570 ◽

2018 ◽

Vol 6 (11) ◽

pp. 565-570

Author(s):

Aruna Devi .T ◽

Kumudavalli M.V ◽

Sudhamani .

Keyword(s):

Petri Nets ◽

Business Process ◽

Process Model ◽

Comparative Case Study ◽

Business Process Model ◽

Activity Diagram

Download Full-text

A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19 ◽

10.1145/3297280.3297460 ◽

2019 ◽

Cited By ~ 1

Author(s):

Christoph Luckeneder ◽

Hermann Kaindl

Keyword(s):

Formal Verification ◽

Physical Models ◽

Top Down

Download Full-text

Integrating object-oriented design with Petri nets-case study of ATM system

SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483) ◽

10.1109/icsmc.2003.1244624 ◽

2004 ◽

Author(s):

B. Mikolajczak ◽

C. Sefranek

Keyword(s):

Petri Nets ◽

Object Oriented ◽

Object Oriented Design

Download Full-text

Formal Verification of Health Assessment Tools: a Case Study

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2016.09.005 ◽

2016 ◽

Vol 324 ◽

pp. 31-50 ◽

Cited By ~ 2

Author(s):

Jonas Santos Bezerra ◽

Andrei Costa ◽

Leila Ribeiro ◽

Érika Cota

Keyword(s):

Formal Verification ◽

Health Assessment ◽

Assessment Tools

Download Full-text

Formal Verification of System Level Designs: A GSM Vocoder Case Study

2007 Canadian Conference on Electrical and Computer Engineering ◽

10.1109/ccece.2007.355 ◽

2007 ◽

Author(s):

Ghiath Al Sammane ◽

Otmane Ait Mohamed

Keyword(s):

Formal Verification ◽

System Level

Download Full-text

Formal Verification With Frama-C: A Case Study in the Space Software Domain

IEEE Transactions on Reliability ◽

10.1109/tr.2015.2508559 ◽

2016 ◽

Vol 65 (3) ◽

pp. 1163-1179 ◽

Cited By ~ 2

Author(s):

Rovedy Aparecida Busquim e Silva ◽

Nanci Naomi Arai ◽

Luciana Akemi Burgareli ◽

Jose Maria Parente de Oliveira ◽

Jorge Sousa Pinto

Keyword(s):

Formal Verification

Download Full-text

Building insightful simulation models using formal approaches — A case study on Petri Nets

Proceedings of the 2009 Winter Simulation Conference (WSC) ◽

10.1109/wsc.2009.5429717 ◽

2009 ◽

Cited By ~ 3

Author(s):

Durk-Jouke van der Zee

Keyword(s):

Petri Nets ◽

Simulation Models

Download Full-text

Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.272.5 ◽

2018 ◽

Vol 272 ◽

pp. 52-64 ◽

Cited By ~ 2

Author(s):

Antonios Gouglidis ◽

Christos Grompanopoulos ◽

Anastasia Mavridou

Keyword(s):

Formal Verification ◽

Usage Control ◽

Control Models

Download Full-text