Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Kumaradevan Punithakumar
Claudia Calabrese
Lashan Peiris
Hao Mao
Peter Malec
Yuji Nojiri
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
YAROSLAV S. USENKO
Author Info
Open Visualization
Name
Affiliation
Papers
YAROSLAV S. USENKO
Centrum Wiskunde & Informatica Science Park 123, 1098 XG, Amsterdam, The Netherlands
17
Collaborators
Citations
PageRank
29
125
10.75
Referers
Referees
References
288
336
211
Search Limit
100
336
Publications (17 rows)
Collaborators (29 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Synthesis and stochastic assessment of cost-optimal schedules
5
0.52
2010
Behavioural Analysis of an I2C Linux Driver
2
0.38
2009
Automated translation and analysis of a ToolBus script for auctions
0
0.34
2009
Towards Formal Verification of ToolBusScripts
0
0.34
2008
Analysis of a Session-Layer Protocol in mCRL2
2
0.48
2007
Transformation of BPMN Models for Behaviour Analysis
34
1.41
2007
From µCRL to mCRL2: Motivation and Outline
17
1.19
2006
The Formal Specification Language mCRL2
20
0.84
2006
Time abstraction in timed /spl mu/CRL a la regions
0
0.34
2006
Discretization of Timed Automata in Timed mu
0
0.34
2006
Analysis of Timed Processes with Data Using Algebraic Transformations
4
0.47
2005
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
17
1.24
2005
An industrial-strength formal method -- A Modest survey.
0
0.34
2004
Refinement and Verification Applied to an In-Flight Data Acquisition Unit
3
0.41
2002
State space generation for the HAVi leader election protocol
3
0.66
2002
Equivalence of recursive specifications in process algebra
1
0.36
2001
Linearization in parallel pCRL
17
1.11
2001
1