Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms-Reference-Cited by-同舟云学术

Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms

Published:2012 Issue: Volume: Page:279-294
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bruttomesso Roberto,Carioni Alessandro,Ghilardi Silvio,Ranise Silvio

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-28891-3_28.pdf

Reference23 articles.

1. Lecture Notes in Computer Science;P.A. Abdulla,2007

2. Lecture Notes in Computer Science;P.A. Abdulla,2007

3. Abdulla, P.A., Jonsson, B.: Model checking of systems with many identical timed processes. Theoretical Computer Science, pp. 241–264 (2003)

4. Alberti, F., Ghilardi, S., Pagani, E., Ranise, S., Rossi, G.P.: Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories. JSAT 8, 29–61 (2012), http://jsat.ewi.tudelft.nl/content/volume8/JSAT8_2_Alberti.pdf

5. Lecture Notes in Computer Science;G.M. Brown,2006

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Petri net-based object-centric processes with read-only data;Information Systems;2022-07

2. SMT-based verification of data-aware processes: a model-theoretic approach;Mathematical Structures in Computer Science;2020-03

3. From Model Completeness to Verification of Data Aware Processes;Lecture Notes in Computer Science;2019

4. Incremental Inductive Verification of Parameterized Timed Systems;ACM Transactions on Embedded Computing Systems;2017-04-14

5. Compositional Parameter Synthesis;FM 2016: Formal Methods;2016