Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Giorgio P. Faconti

Specification and Verification of Media Constraints Using UPPAAL

Design, Specification and Verification of Interactive Systems ’98
1998English

Related publications

CAN Database Verification Framework Using UPPAAL

International Journal of Computer Theory and Engineering
2017English

Formal Verification of AADL Models Using UPPAAL

2017English

Specification and Verification of Real-Time Constraints in Coarse-Grain Dataflow

1991English

Formal Specification and Verification

2019English

Specification and Validation of Authorisation Constraints Using UML and OCL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Formal Specification and Verification of CRDTs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Formal Specification and Verification of Real-Time Systems Using Graph Grammars

Journal of the Brazilian Computer Society
Computer Science
2007English

Formal Specification and Verification of Real-Time Systems Using Graph Grammars

Journal of the Brazilian Computer Society
Computer Science
2007English

Formal Specification and Verification of Dynamic Parametrized Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy