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
