CAV01 Participant list (269
participants)
Here is the list of participants that registred through CAV01 web site.
- ABDEDDAIM, YASMINA -- VERIMAG
- ADJETEY, SAMUEL -- STREET LIFE B. CENTER
- AGUILAR CORNEJO, Manuel -- VERIMAG
- Ahmed Ali, Mohammed -- Power Tech
- ahmed, syed -- intergulf
- AINA, ABIOLA BIDEMI -- UNIVERSITY PRESS PLC
- Akhavan, Anahita -- Verimag
- AKPAH, MARTIN ESINAM -- GLADYMANUEL TRADING ENTERPRISE
- Alur, Rajeev -- University of Pennsylvania
- Amar, Bouali -- Esterel Technologies
- Amla, Nina -- Cadence Design Systems
- ANKRAH, KWEKU -- ASTI AGENCIES LTD.
- Aoshima, Takenobu -- Graduate School of Information Science and Engineering, Department of Computer Science,Tokyo Institute of Technology
- Appiah kubi, Eric -- Ericus computer Training
- Argon, Pablo -- Cadence Berkeley Labs
- Arons, Tamarah -- Weizmann Institute of Science
- Artho, Cyrille -- ETH Zurich, http://www.ethz.ch/
- ASABERE, OBENG ADU ASABERE -- PAD CONPUTER TRAINING SCHOOL
- Ashar, Pranav -- CCRL NEC USA
- Asteroth, Alexander -- Universität Bonn
- Ataru, Nakagawa -- SRA/KTL
- AYUK, AGBORYEM -- LABTECH
- Baier, Christel -- Universitaet Bonn
- Bailly, Arnaud -- ENST
- Balbiani, Philippe -- Institut de recherche en informatique de Toulouse
- Basin, David -- Albert-Ludwigs-Universitaet
- Baukus, Kai -- University of Kiel
- Berry, Gérard -- Esterel Technologies
- Bertot, Yves -- INRIA Sophia Antipolis
- Bidiuc, Mihai -- SA "Agrofortus"
- BIDOIT, Michel -- LSV - CNRS & ENS de Cachan
- Bienmueller, Tom -- OFFIS e.V.
- Biere, Armin -- ETH Zuerich
- Bjesse, Per -- Prover Technology
- Blom, Stefan -- CWI
- BOADU COLLINS, ADJEI -- I.P.S
- BOISSEAU, Alexandre -- LSV - ENS Cachan
- Borrione, Dominique -- Université Joseph Fourier
- BOUAJJANI, AHMED -- LIAFA
- Bournez, Olivier -- LORIA/INRIA
- Bouyer, Patricia -- LSV - ENS de Cachan
- Bozga, Dorel Marius -- VERIMAG
- BOZGA, Liana -- Verimag
- Brayton, Robert -- UC Berkeley
- BRES, Yannis -- CMA-EMP/INRIA
- Brinkmann, Raik -- Siemens AG
- Bultan, Tevfik -- University of California, Santa Barbara
- Burch, Jerry -- Cadence Berkeley Labs
- Bustan, Doron -- The Technion Haifa
- Cabodi, Gianpiero -- Politecnico di Torino
- Caillaud, Benoît -- IRISA / INRIA Rennes
- Canet, Géraud -- LSV, ENS Cachan
- Cassez, Franck -- CNRS/IRCCyN
- Cave, Rémy -- FT R&D - LSR IMAG
- Chen, Yijia -- France Telecom R&D
- Chockler, Hana -- Hebrew university of Jerusalem, Israel
- Chou, Ching-Tsun -- Intel Corporation
- Christensen, Anders Bo -- Aalborg University, Denmark
- Ciardo, Gianfranco -- William and Mary
- Ciesinski, Frank -- University of Bonn
- Clarke, Edmund -- Carnegie Mellon University
- Collomb-Annichini, Aurore -- Verimag, Grenoble
- Comon, Hubert -- LSV, Cachan
- Contant, Olivier -- University of Michigan
- Cook, Byron -- Prover Technology
- Cortier, Veronique -- LSV, ENS de Cachan, CNRS
- COTTIN, Jean-Marie -- University of Tokyo
- COUPET-GRIMAL, Solange -- Universite de Provence
- COUSOT, Patrick -- École normale supérieure
- Currie, David -- Mentor Graphics
- Dall'Olio, Emmanuel -- Universite Libre de Bruxelles
- Dams, Dennis -- Bell Labs, Lucent Technologies
- Dang, Zhe -- School of EECS, Washington State University
- DANTHONY, Laure -- LSV
- Dapaah, Shadrach -- Road Runners Computer Training
- de Alfaro, Luca -- UC Santa Cruz
- de Roever, Willem-Paul -- Christian-Albrechts-University at Kiel
- de Simone, Robert -- INRIA
- Delzanno, Giorgio -- D.I.S.I. University of Genova
- DEMRI, Stephane -- LSV - ENS de Cachan
- Depasse, Christophe -- Université Catholique de Louvain
- Dietrich, Petra -- University of Kaiserslautern
- Dima, Catalin -- Verimag
- Dovier, Agostino -- Dip. di Informatica, Univ. di Verona
- Dubrova, Elena -- Royal Institute of Technology
- Duflot, Marie -- LSV
- Eisner, Cindy -- IBM
- Etessami, Kousha -- Lucent Technologies, Bell Laboratories
- Eveking, Hans -- Darmstadt Univ. of Technology
- Fanchon, Jean -- LAAS-CNRS
- FANTECHI, Alessandro -- DSI - Univ. di Firenze
- Fedeli, Andrea -- STMicroelectronics
- Feret, Jérôme -- École Normale Supérieure
- Filliâtre, Jean-Christophe -- LRI, Université Paris Sud
- Fink, David -- University of Texas at Austin
- Finkbeiner, Bernd -- Stanford University
- Finkel, Alain -- LSV
- Fisman, Dana -- The Weizmann Institute of Science
- Fleury, Emmanuel -- Departement of Computer Science of Aalborg University
- Frenkel, Sergey -- The Institute of Informatics Problems Russian Academy of Sciences
- Fribourg, Laurent -- LSV
- GASTIN, PAUL -- LIAFA, UNIVERSITÉ PARIS 7
- Geada, Joao -- Synopsys, Incorporated
- Geilen, Marc -- Eindhoven University of Technology
- Gerth, Rob -- Intel corp
- Godskesen, Jens Chr. -- IT University of Copenhagen
- Gopalakrishnan, Ganesh -- University of Utah
- Gopinath, K -- Indian Inst of Science, Bangalore
- Gottely, Laurent -- France Télécom R&D
- Goubault-Larrecq, Jean -- ENS Cachan
- GRAF, Susanne -- VERIMAG
- Groce, Alex -- Carnegie Mellon University
- Groz, Roland -- France Télécom R&D
- Grumberg, Orna -- Technion, Haifa
- Habermehl, Peter -- LIAFA University Paris 7
- Havelund, Klaus -- Kestrel Technology/NASA Ames Research Center
- Heljanko, Keijo -- Helsinki Univ. of Technology
- Helke, Steffen -- Technical University of Berlin
- Herbreteau, Frederic -- IRCCyN
- Heyman, Tamir -- Technion
- Hoenicke, Jochen -- University of Oldenburg
- Hu, Alan -- University of British Columbia
- Huuck, Ralf -- University of Kiel
- ilesanmi, omotoso -- Joteco systems limited
- ITA, KINGSLEY -- LABTECH COMPUTER SYSTEMS
- Jackson, Paul -- University of Edinburgh
- JAMIU, ABIODUN -- GONEM
- Jean-Francois, Raskin -- Université libre de Bruxelles
- Jeannet, Bertrand -- BRICS, Aalborg University
- Jhala, Ranjit -- UC Berkeley
- Jin Hyun, Kim -- Korea University
- Johannsen, Peer -- Siemens Corporation
- Jones, Robert -- Intel Corp.
- Jonsson, Bengt -- Uppsala University
- JURSKI, Yann -- LIAFA - UNIVERSITE P7- CNRS
- Kamhi, Gila -- Intel Corp
- Kamsties, Erik -- Fraunhofer IESE
- Kervinen, Antti -- Tampere University of Technology
- Kesten, Yonit -- Ben-Gurion University
- Khurshid, Sarfraz -- Massachusetts Institute of Technology
- Khuu, Minh Thang -- France Telecom R&D
- Klose, Jochen -- University of Oldenburg, Comp. Science Dept.
- KODAMBALLI, Shashidhar -- IMEC
- Krenz, Rene -- IMIT-KTH Stockholm
- Kuehlmann, Andreas -- Cadence Berkeley Labs
- KURSHAN, Robert -- Bell Labs
- Kwiatkowska, Marta -- University of Birmingham
- Kyas, Marcel -- Christian-Albrechts Universitaet zu Kiel
- LAFORTUNE, Stéphane -- UNIVERSITY OF MICHIGAN
- Lakhnech, Yassine -- Verimag
- Landver, Avner -- Intel
- Laroussinie, Francois -- LSV
- Larsen, Kim -- BRICS, Aalborg University
- Larsen, Ulrik -- Aalborg University, Denmark
- LASSAIGNE, Richard -- Equipe de Logique University Paris 7
- Laurent, Van Begin -- Université libre de Bruxelles
- Lawford, Mark -- McMaster University
- Leonard, Tim -- Compaq Computer Corporation
- Lerman, Benjamin -- LIAFA
- Leroux, Jerome -- LSV
- Leroy, Xavier -- INRIA Rocquencourt
- Leucker, Martin -- RWTH Aachen
- Levi, Yossef -- Intel
- Levin, Alexander -- Intel
- Levin, Vladimir -- Lucent Technologies
- Lisser, Bert -- CWI
- Luukkainen, Matti -- University of Helsinki
- Maggiore, Adriana -- Transeda
- Majster-Cederbaum, Mila -- Universität Mannheim
- Marschner, Erich -- Cadence Design Systems
- Massacci, Fabio -- Universita' di Siena
- Mavaddat, Farhad -- University of Waterloo
- McMillan, Kenneth -- Cadence Berkeley Labs
- Miller, Hillel -- Motorola
- Mine, Antoine -- Ecole Normale Superieure, Paris, FRANCE
- Monniaux, David -- Ecole Normale Superieure
- Moore, J Strother -- University of Texas
- Morioka, Sumio -- IBM Tokyo Research Laboratory
- Morley, Matthew -- Verisity
- murano, aniello -- University of Salerno
- Muscholl, Anca -- LIAFA, Univ. Paris 7
- MUSSET, Julien -- LORIA,Nancy
- Myers, Chris -- University of Utah
- Möller, Michael -- University of Oldenburg
- Najm, Elie -- ENST
- Namjoshi, Kedar -- Bell Labs
- Nassor, Eric -- Canon CRF
- Naumann, David -- Stevens Institute of Technology
- NGUYEN, Thi Viet Nga -- Centre de Recherche en Informatique - Ecole des Mines de Paris
- Norman, Gethin -- University of Birmingham
- Nowak, David -- Oxford University Computing Laboratory
- ODDOUX, Denis -- LIAFA - UNIVERSITE P7- CNRS
- OEHL, Frédéric -- Dublin City University
- Oleinic, Alexandru -- SA "Agrofortus"
- Pace, Gordon -- Verimag
- pagetti, claire -- irccyn
- Parashkevov, Atanas -- Motorola Inc
- Parnas, David -- McMaster University
- PAULIN-MOHRING, CHRISTINE -- LRI Universite Paris Sud
- Peled, Doron -- Lucent Technologies, Bell Labs
- Petrucci, Laure -- LSV
- Piazza, Carla -- University of Udine
- Picaronny, Claudine -- ENS de Cachan
- Picquendar, Marc -- Avanti Corporation
- Pnueli, Amir -- Weizmann Institute of Science
- POTOP-BUTUCARU, Dumitru -- ENSMP/CMA
- Povlsen, Daniel -- Aalborg University, Denmark
- Rajamani, Sriram -- Microsoft Research
- Ravi, Kavita -- Cadence Design Systems
- Rehof, Jakob -- Microsoft Research
- Reps, Thomas -- Comp. Sci. Dept., Univ. of Wisconsin
- Ressouche, Annie -- Inria
- Roach, Steve -- University of Texas at El Paso
- Rodeh, Yoav -- Weizmann Institute of Science Rehovot
- roger, muriel -- LSV
- Romaniuc , Vasile -- SA "Agrofortus"
- Rosu, Grigore -- NASA Ames Research Center - RIACS
- Roux, Olivier -- IRCCyN
- Roychoudhury, Abhik -- National University of Singapore
- Rozoy, Brigitte -- Université Paris Sud
- Schmidt, David -- Kansas State University
- Schnoebelen, Philippe -- LSV (Lab. Specification & Verification)
- Schuppan, Viktor -- Computer Systems Institute, ETH Zürich
- Schwoon, Stefan -- Technische Universität München
- Segala, Roberto -- University of Bologna
- Sentovich, Ellen -- Cadence Berkeley Laboratories
- Shanbhag, Vivek K. -- Indian Institute of Science
- Shankar, Natarajan -- SRI International
- Sharygina, Natasha -- The University of Texas at Austin/Bell Labs Lucent Technologies
- shtrichman, ofer -- weizmann institute of science
- Siegel, Michael -- Siemens AG
- SIFAKIS, Joseph -- LABORATOIRE VERIMAG - UMR 5104
- SIGHIREANU, Mihaela -- LIAFA - University of Paris 7
- Sinclair, David -- Dublin City University
- Singh, Dawinder -- ASK INTERNATIONAL
- Singh, Gurmail -- ASK INTERNATIONAL
- SISTLA, A. PRASAD -- University of Illinois at Chicago
- Sokolsky, Oleg -- University of Pennsylvania
- Somenzi, Fabio -- University of Colorado at Boulder
- Song, Dawn Xiaodong -- UC Berkeley
- SOSI, DAVID -- P.C.T.S
- St-Denis, Richard -- Universite de Sherbrooke
- Steffen, Martin -- Christian-Albrechts Universität zu Kiel
- Stoller, Scott -- State University of New York at Stony Brook
- Tacchella, Armando -- Rice University
- Taralunga , Sergiu -- SA "Agrofortus"
- Thierry, Massart -- Université libre de Bruxelles
- THIRIOUX, XAVIER -- INRIA Sophia Antipolis
- Touili, Tayssir -- LIAFA
- TRIPAKIS, Stavros -- VERIMAG
- Tu, Shengru -- University of New Orleans
- Van Campenhout, David -- Verisity Design
- Van Hentenryck, Pascal -- Brown University
- Vardi, Moshe -- Rice University
- Velev, Miroslav -- Carnegie Mellon University
- Verma, Kumar Neeraj -- LSV
- Visser, Willem -- RIACS/NASA Ames
- Vuillemin, Jean -- Ecole Normale Superieure - Paris
- Wang, Bow-Yaw -- University of Pennsylvania
- Weil, Daniel -- France Telecom R&D
- Williams, Alan -- University of Manchester
- Winter, Kirsten -- Software Verification Research Centre
- Wolper, Pierre -- Université de Liège
- Yoneda, Tomohiro -- Tokyo Institute of Technology
- Yonezaki, Naoki -- Tokyo Institute of Technology
- Yorav, Karen -- Galileo Technology Ltd.
- Yovine, Sergio -- VERIMAG
- Zinovieva, Elena -- IRISA / INRIA Rennes
- Zuhovitzky, Sharon -- The Hebrew University of Jerusalem
269 participants at Tue Jul 31 7:9:3