Difference between revisions of "Recent publications"

From Numerical Transition Systems
Jump to: navigation, search
Line 4: Line 4:
  
 
* R. Iosif and F. Zuleger. On the Expressiveness of a Logic of Separated Relations. [https://arxiv.org/abs/2208.01520 arXiv:2208.01520]
 
* R. Iosif and F. Zuleger. On the Expressiveness of a Logic of Separated Relations. [https://arxiv.org/abs/2208.01520 arXiv:2208.01520]
* M. Bozga, R. Iosif, J. Sifakis. Verification of Component-based Systems with Recursive Architectures. [https://arxiv.org/abs/2112.08292 arXiv:2112.08292]
 
 
* M. Bozga, R. Iosif and J. Sifakis. Local Reasoning about Parametric and Reconfigurable Component-based Systems. [https://arxiv.org/abs/1908.11345 arXiv:1908.11345]
 
* M. Bozga, R. Iosif and J. Sifakis. Local Reasoning about Parametric and Reconfigurable Component-based Systems. [https://arxiv.org/abs/1908.11345 arXiv:1908.11345]
 
* M. Bozga, R. Iosif and F. Konecny. The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops [http://arxiv.org/abs/1307.5321 arXiv:1307.5321]
 
* M. Bozga, R. Iosif and F. Konecny. The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops [http://arxiv.org/abs/1307.5321 arXiv:1307.5321]

Revision as of 19:17, 1 November 2022

Newspapers-stacked.jpg

Pending

  • R. Iosif and F. Zuleger. On the Expressiveness of a Logic of Separated Relations. arXiv:2208.01520
  • M. Bozga, R. Iosif and J. Sifakis. Local Reasoning about Parametric and Reconfigurable Component-based Systems. arXiv:1908.11345
  • M. Bozga, R. Iosif and F. Konecny. The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops arXiv:1307.5321

Journals

Conferences