Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Dima Schukin
Hao Mao
Peter Malec
Wenceslao Palma
Giovanni Venturelli
Chen Ma
Entezari-Maleki, R.
Radu Timofte
Kuanrui Yin
Home
/
Author
/
SERGIO FEO-ARENIS
Author Info
Open Visualization
Name
Affiliation
Papers
SERGIO FEO-ARENIS
Albert-Ludwigs-Universität Freiburg, Freiburg, Germany
10
Collaborators
Citations
PageRank
15
21
4.00
Referers
Referees
References
48
265
143
Search Limit
100
265
Publications (10 rows)
Collaborators (15 rows)
Referers (48 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
On Implementable Timed Automata.
1
0.35
2020
Ready for testing: ensuring conformance to industrial standards through formal verification.
2
0.49
2016
System Testing and Program Verification.
1
0.35
2015
The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification.
4
0.48
2014
Verification of GUI Applications: A Black-Box Approach
3
0.43
2014
Formal Verification of a Parameterized Data Aggregation Protocol.
1
0.36
2013
Parameterized Verification of Track Topology Aggregation Protocols.
0
0.34
2013
Reducing quasi-equal clocks in networks of timed automata
9
0.52
2012
Black-Box Verification for GUI Applications
0
0.34
2012
Towards successful subcontracting for software in small to medium-sized enterprises
0
0.34
2012
1