refinement checking Latest Research Papers

An optimal cut-off algorithm for parameterised refinement checking

Science of Computer Programming ◽

10.1016/j.scico.2020.102517 ◽

2020 ◽

Vol 198 ◽

pp. 102517

Author(s):

Antti Siirtola ◽

Keijo Heljanko

Keyword(s):

Refinement Checking

Download Full-text

A refinement checking based strategy for component-based systems evolution

Journal of Systems and Software ◽

10.1016/j.jss.2020.110598 ◽

2020 ◽

Vol 167 ◽

pp. 110598

Author(s):

José Dihego ◽

Augusto Sampaio ◽

Marcel Oliveira

Keyword(s):

Refinement Checking

Download Full-text

Randomized Refinement Checking of Timed I/O Automata

Dependable Software Engineering. Theories, Tools, and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-030-62822-2_5 ◽

2020 ◽

pp. 70-88

Author(s):

Andrej Kiviriga ◽

Kim Guldstrand Larsen ◽

Ulrik Nyman

Keyword(s):

Refinement Checking

Download Full-text

Correct and Efficient Antichain Algorithms for Refinement Checking

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21759-4_11 ◽

2019 ◽

pp. 185-203 ◽

Cited By ~ 3

Author(s):

Maurice Laveaux ◽

Jan Friso Groote ◽

Tim A. C. Willemse

Keyword(s):

Refinement Checking

Download Full-text

Dynamic Cut-Off Algorithm for Parameterised Refinement Checking

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02146-7_13 ◽

2018 ◽

pp. 256-276 ◽

Cited By ~ 1

Author(s):

Antti Siirtola ◽

Keijo Heljanko

Keyword(s):

Refinement Checking

Download Full-text

Anti-chain based algorithms for timed/probabilistic refinement checking

Science China Information Sciences ◽

10.1007/s11432-017-9133-4 ◽

2017 ◽

Vol 61 (5) ◽

Author(s):

Ting Wang ◽

Tieming Chen ◽

Yang Liu ◽

Ye Wang

Keyword(s):

Refinement Checking

Download Full-text

Refinement Checking Parameterised Quorum Systems

2017 17th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2017.15 ◽

2017 ◽

Cited By ~ 1

Author(s):

Antti Siirtola

Keyword(s):

Quorum Systems ◽

Refinement Checking

Download Full-text

Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique

System Level Design from HW/SW to Memory for Embedded Systems - IFIP Advances in Information and Communication Technology ◽

10.1007/978-3-319-90023-0_8 ◽

2017 ◽

pp. 88-99

Author(s):

Tayfun Gezgin ◽

Björn Koopmann ◽

Achim Rettberg

Keyword(s):

Timing Analysis ◽

Refinement Checking

Download Full-text

Engineering Refinement Checking Algorithm Based on Simulation Relations

Revista Tecnica De La Facultad De Ingenieria Universidad Del Zulia ◽

10.21311/001.39.4.15 ◽

2016 ◽

Keyword(s):

Refinement Checking ◽

Simulation Relations

Download Full-text

Automatic Refinement Checking for Formal System Models

Lecture Notes in Electrical Engineering - Languages, Design Methods, and Tools for Electronic System Design ◽

10.1007/978-3-319-24457-0_1 ◽

2015 ◽

pp. 3-22

Author(s):

Julia Seiter ◽

Robert Wille ◽

Ulrich Kühne ◽

Rolf Drechsler

Keyword(s):

Formal System ◽

System Models ◽

Refinement Checking

Download Full-text

refinement checking
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

An optimal cut-off algorithm for parameterised refinement checking

A refinement checking based strategy for component-based systems evolution

Randomized Refinement Checking of Timed I/O Automata

Correct and Efficient Antichain Algorithms for Refinement Checking

Dynamic Cut-Off Algorithm for Parameterised Refinement Checking

Anti-chain based algorithms for timed/probabilistic refinement checking

Refinement Checking Parameterised Quorum Systems

Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique

Engineering Refinement Checking Algorithm Based on Simulation Relations

Automatic Refinement Checking for Formal System Models

Export Citation Format

refinement checkingRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

An optimal cut-off algorithm for parameterised refinement checking

A refinement checking based strategy for component-based systems evolution

Randomized Refinement Checking of Timed I/O Automata

Correct and Efficient Antichain Algorithms for Refinement Checking

Dynamic Cut-Off Algorithm for Parameterised Refinement Checking

Anti-chain based algorithms for timed/probabilistic refinement checking

Refinement Checking Parameterised Quorum Systems

Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique

Engineering Refinement Checking Algorithm Based on Simulation Relations

Automatic Refinement Checking for Formal System Models

refinement checking
Recently Published Documents