TINI, SIMONE
TINI, SIMONE
DIPARTIMENTO DI SCIENZE UMANE E DELL’INNOVAZIONE PER IL TERRITORIO
A Causal Semantics for Timed Concurrent Constraint Programming
2000-01-01 MAGGIOLO SCHETTINI, A.; Tini, Simone
A Comparison of Statecharts Step Semantics
2003-01-01 MAGGIOLO SCHETTINI, A.; Peron, A.; Tini, Simone
A Compositional Semantics of Reaction Systems with Restriction
2013-01-01 Pardini, G.; Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
A FRAMEWORK TO MEASURE THE ROBUSTNESS OF PROGRAMS IN THE UNPREDICTABLE ENVIRONMENT
2023-01-01 Castiglioni, V; Loreti, M; Tini, S
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics
2016-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A function elimination method for checking satisfiability of arithmetical logics
2014-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A P Systems Flat Form Preserving Step-by-step Behaviour
2008-01-01 R., Barbuti; A., Maggiolo Schettini; P., Milazzo; Tini, Simone
A Probabilistic Calculus of Cyber-Physical Systems
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
A Rule Format for Rooted Branching Bisimulation
2013-01-01 V., Castiglioni; Lanotte, Ruggero; Tini, Simone
A specification format for rooted branching bisimulation
2014-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming
1999-01-01 MAGGIOLO SCHETTINI, A.; Tini, Simone
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
2021-01-01 Lanotte, R.; Tini, S.
An Axiomatic Semantics for Esterel
2001-01-01 Tini, Simone
An Axiomatic Semantics for the Synchronous Language Gentzen
2003-01-01 Tini, Simone
An Axiomatic Semantics for the Synchronous Language Gentzen
2001-01-01 Tini, Simone
An Overview on Operational Semantics in Membrane Computing
2011-01-01 Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
Applying Techniques of Asynchronous Concurrency to Synchronous Languages
1999-01-01 MAGGIOLO SCHETTINI, A.; Tini, Simone
Aspects of multiscale modelling in a process algebra for biological systems
2010-01-01 Barbuti, R.; Caravagna, G.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
Automated Analysis of Timed Security: A Case Study on Web Privacy
2004-01-01 Gorrieri, R.; Lanotte, Ruggero; Martinelli, F.; MAGGIOLO SCHETTINI, A.; Tini, Simone; Tronci, E.
Automatic Analysis of the NRL Pump
2004-01-01 Lanotte, Ruggero; Maggiolo Schettini, A.; Tini, Simone; Troina, A.; Tronci, E.