UB
64
Publications
1,990
Citations
17
h-index
27
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (59)
- Book Chapter (4)
- Other (1)
Filter by Open Access Type
- Open Access (12)
- Closed Access (52)
Filter by Authors
- Ugo Buy (64)
- Houshang Darabi (8)
- Robert H. Sloan (7)
- Sol M. Shatz (5)
- Jalal S. Alowibdi (5)
Filter by Topics
- Formal Methods in Verification (27)
- Petri Nets in System Modeling (22)
- Real-Time Systems Scheduling (21)
- Software Testing and Debugging Techniques (8)
- Software Engineering Research (7)