Adriano Peron

According to our database1, Adriano Peron
  • authored at least 59 papers between 1989 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Dynamic state machines for modelling railway control systems.
Sci. Comput. Program., 2017

Games, Automata, Logics and Formal Verification (GandALF 2014) - Preface.
Inf. Comput., 2017

2016
Ordered multi-stack visibly pushdown automata.
Theor. Comput. Sci., 2016

Timed recursive state machines: Expressiveness and complexity.
Theor. Comput. Sci., 2016

Constraining Cycle Alternations in Model Checking for Interval Temporal Logic.
Electr. Notes Theor. Comput. Sci., 2016

Complexity of ITL model checking: some well-behaved fragments of the interval logic HS.
CoRR, 2016

Checking Interval Properties of Computations.
CoRR, 2016

Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete.
Proceedings of the Seventh International Symposium on Games, 2016

Checking interval properties of computations.
Acta Inf., 2016

Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling.
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison.
Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015
Combining flux balance analysis and model checking for metabolic network validation and analysis.
Natural Computing, 2015

Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS.
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

Modeling Railway Control Systems in Promela.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

A Model Checking Procedure for Interval Temporal Logics based on Track Representatives.
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014
Checking Interval Properties of Computations.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

An Interoperable Testing Environment for ERTMS/ETCS Control Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Dynamic State Machines for Formalizing Railway Control System Specifications.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Test Specification Patterns for Automatic Generation of Test Sequences.
Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2013
Web and Wireless Geographic Information Systems.
J. Spatial Information Science, 2013

Timed protocol insecurity problem is NP-complete.
Future Generation Comp. Syst., 2013

Differential network analysis for the identification of condition-specific pathway activity and regulation.
Bioinformatics, 2013

2010
Pushdown module checking.
Formal Methods in System Design, 2010

Analysis of Timed Recursive State Machines.
Proceedings of the TIME 2010, 2010

Timed protocols insecurity problem is NP-complete.
Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

2009
TPMC: A Model Checker For Time-Sensitive Security Protocols.
JCP, 2009

2008
Verification of well-formed communicating recursive state machines.
Theor. Comput. Sci., 2008

2007
2-Visibly Pushdown Automata.
Proceedings of the Developments in Language Theory, 11th International Conference, 2007

2006
Definability and decidability of binary predicates for time granularity.
J. Applied Logic, 2006

On the relationships between theories of time granularity and the monadic second-order theory of one successor.
Journal of Applied Non-Classical Logics, 2006

Verification of Well-Formed Communicating Recursive State Machines.
Proceedings of the Verification, 2006

2005
Pushdown Module Checking.
Proceedings of the Logic for Programming, 2005

2004
Representing and Reasoning about Temporal Granularities.
J. Log. Comput., 2004

Specification and Verification of Protocols With Time Constraints.
Electr. Notes Theor. Comput. Sci., 2004

On the undecidability of logics with converse, nominals, recursion and counting.
Artif. Intell., 2004

Structural Model Checking for Communicating Hierarchical Machines.
Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

2003
A comparison of Statecharts step semantics.
Theor. Comput. Sci., 2003

Dynamic Hierarchical Machines.
Fundam. Inform., 2003

Verification of recursive parallel systems
CoRR, 2003

Definability and decidability of binary predicates for time granularity.
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

2002
Extending Kamp's Theorem to Model Time Granularity.
J. Log. Comput., 2002

A Logical Approach to Represent and Reason about Calendars.
Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002

2001
Transformations of Timed Cooperating Automata.
Fundam. Inform., 2001

Logical definability of Y-tree and trellis systolic omega-languages.
Acta Cybern., 2001

2000
Systolic tree omega-Languages: the operational and the logical view.
Theor. Comput. Sci., 2000

The Taming (Timing) of the States.
Logic Journal of the IGPL, 2000

Timed Cooperating Automata.
Fundam. Inform., 2000

1999
Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability.
Logic Journal of the IGPL, 1999

1998
A Logical Characterization of Systolic Languages.
Proceedings of the STACS 98, 1998

1996
Retiming Techniques for Statecharts.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Equivalences of Statecharts.
Proceedings of the CONCUR '96, 1996

1995
Statecharts, Transition Structures and Transformations.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Systolic Tree Omega-Languages.
STACS, 1995

1994
A Graph Rewriting Framework for Statecharts Semantics.
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

Transitions as Interrupts: A New Semantics for Timed Statecharts.
Proceedings of the Theoretical Aspects of Computer Software, 1994

1993
Semantics of Full Statecharts Based on Graph Rewriting.
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1989
Low-level processing techniques in geophysical image interpretation.
Pattern Recognition Letters, 1989


  Loading...