Get my own profile
Public access
View all24 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Traian Florin ȘerbănuțăUniversity of BucharestVerified email at unibuc.ro
Dorel LucanuProfessor of Computer Science, Alexandru Ioan Cuza University, Iasi, ROVerified email at info.uaic.ro
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Andrei StefanescuResearch Engineer, Galois IncVerified email at stefanescu.io
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Chucky EllisonPhD Graduate from University of IllinoisVerified email at illinois.edu
Daejun ParkRuntime Verification, Inc.Verified email at runtimeverification.com
Mark HillsAssociate Professor, East Carolina UniversityVerified email at ecu.edu
Philip DaianPhD Student, Cornell UniversityVerified email at cs.cornell.edu
Stefan CiobacaAlexandru Ioan Cuza UniversityVerified email at info.uaic.ro
Gul AghaProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Marcelo d'AmorimFederal University of PernambucoVerified email at cin.ufpe.br
Qingzhou LuoUniversity of Illinois Urbana ChampaignVerified email at illinois.edu
Jeff HuangLynn ’84 and Bill Crane ’83 Faculty Fellow, Associate Professor, Computer Science and EngineeringVerified email at cse.tamu.edu
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Darko MarinovUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Vlad RusuInriaVerified email at inria.fr
Wolfram SchultePrincipal researcher, Microsoft CorporationVerified email at microsoft.com