Sara Gradara - Citegraph

Author Info

Name	Affiliation	Papers
SARA GRADARA	RCOST--Research Centre on Software Technology, University of Sannio, Palazzo Ex Poste, Benevento, Italy	7
Collaborators	Citations	PageRank
9	100	6.61
Referers	Referees	References
248	200	181

Search Limit

100248

Publications (7 rows)

Collaborators (9 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Modular formal verification of specifications of concurrent systems	0	0.34	2008
Formal Verification of Concurrent Systems via Directed Model Checking	4	0.40	2007
DELFIN+: An efficient deadlock detection tool for CCS processes	13	0.60	2006
Using heuristic search for finding deadlocks in concurrent systems	11	0.56	2005
Model Checking Multithreaded Programs by Means of Reduced Models	6	0.44	2004
Methodological issues in a CMM Level 4 implementation	5	0.45	2004
An Approach to Classify Software Maintenance Requests	61	3.82	2002

1