Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
David L Blazes
Angel Saldivia
Daniel P. Kennedy
Farrukh Saleem
Dan Graur
Barbara Aquilani
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
F. SPEGNI
Author Info
Open Visualization
Name
Affiliation
Papers
F. SPEGNI
Università Politecnica delle Marche–Ancona, Italy
17
Collaborators
Citations
PageRank
21
18
6.01
Referers
Referees
References
41
373
193
Search Limit
100
373
Publications (17 rows)
Collaborators (21 rows)
Referers (41 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Automatic Repair of Timestamp Comparisons
1
0.34
2021
Parameterized model checking of networks of timed automata with Boolean guards
0
0.34
2020
Verifying temporal specifications of Java programs
0
0.34
2020
High-Performance Computing for Formal Security Assessment.
0
0.34
2019
Verification-as-a-Service for Parameter Assessment.
0
0.34
2019
Modeling time in Java programs for automatic error detection.
0
0.34
2018
Towards Model Checking Security of Real Time Java Software.
0
0.34
2018
A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage.
0
0.34
2017
On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks.
0
0.34
2017
Accuracy Of Message Counting Abstraction In Fault-Tolerant Distributed Algorithms
1
0.36
2017
Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version).
0
0.34
2016
Liveness of Parameterized Timed Networks
4
0.39
2015
Parameterized Model-Checking of Timed Systems with Conjunctive Guards.
0
0.34
2014
Parameterized Model Checking of Rendezvous Systems.
6
0.44
2014
Model checking grid security
3
0.38
2013
A modular environment for software development and re-engineering
1
0.35
2012
XAL: A Web Oriented Programming Language Based on Timed-Automata
2
0.36
2008
1