Get my own profile
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
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Dorel LucanuProfessor of Computer Science, Alexandru Ioan Cuza University, Iasi, ROVerified email at info.uaic.ro
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
Mark HillsAssociate Professor, East Carolina UniversityVerified email at ecu.edu
Philip DaianPhD Student, Cornell UniversityVerified email at cs.cornell.edu
Gul AghaProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Stefan CiobacaAlexandru Ioan Cuza UniversityVerified email at info.uaic.ro
Daejun ParkRuntime Verification, Inc.Verified email at runtimeverification.com
Marcelo d'AmorimFederal University of PernambucoVerified email at cin.ufpe.br
Qingzhou LuoUniversity of Illinois Urbana ChampaignVerified email at illinois.edu
Jeff HuangAssociate Professor, Computer Science and Engineering, Texas A&M UniversityVerified 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
Andrei ArusoaieAssociate Professor at Faculty of Computer Science, Alexandru Ioan Cuza UniversityVerified email at uaic.ro
Darko MarinovUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Vlad RusuInriaVerified email at inria.fr
Grigore Rosu
Verified email at illinois.edu - Homepage