Scholar
Partha Roop
Google Scholar ID: 4OrohVMAAAAJ
Professor, Electrical, Computer and Software Engineering, The University of Auckland
Industrial Informatics
Synchronous Languages
Intelligent Transportation Systems
Embedded Systems
Real-Time Systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,063
H-index
16
i10-index
33
Publications
20
Co-authors
34
list available
Publications
3 items
Synchronous Observers Revisited for Runtime Verification of Lustre Using STL
2026
Cited
0
Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
2026
Cited
0
Timetide: A programming model for logically synchronous distributed systems
2025
Cited
0
Co-authors
9 total
Avinash Malik
University of Auckland
Roopak Sinha
Deakin University
Nathan Allen
Auckland University of Technology
Ramesh S.
formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&D
Valeriy Vyatkin
Aalto University; Luleå University of Technology
Stavros Tripakis
Associate Professor, Northeastern University
Bruce MacDonald
Auckland OR Calgary OR Canterbury
Akka ZEMMARI
Professor of Computer Science, LaBRI - Univ. Bordeaux, FRANCE
