SPIN 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (70)

A Nicolas AmatAmat, Nicolas LAAS-CNRSFrance Accelerating the Computation of Dead and Concurrent Places using Reductions
B Jiri BarnatBarnat, Jiri Masaryk University Masaryk University in Programming Committee within the SPIN-track
Maurice H. ter BeekBeek, Maurice H. ter ISTI-CNRItaly ISTI-CNR in Programming Committee within the SPIN-track
Dragan BosnackiBosnacki, Dragan Eindhoven University of Technology, The NetherlandsNetherlands Session Chair of Invited talk 1 (part of SPIN)
C Xiang ChenChen, Xiang University of WaterlooCanada Probabilistic Model Checking of Randomized Java Code
Antoine ChenoyChenoy, Antoine Université catholique de LouvainBelgium C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
Vincenzo CianciaCiancia, Vincenzo Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALYItaly Spatial Model Checking and its applications to Medical Image Analysis
David CockCock, David ETH ZurichSwitzerland A model-checked I2C specification
D Silvano DAL ZILIODAL ZILIO, Silvano LAAS-CNRSFrance Accelerating the Computation of Dead and Concurrent Places using Reductions
Yash DhamijaDhamija, Yash York UniversityCanada Probabilistic Model Checking of Randomized Java Code
Fabien DucheneDuchene, Fabien ICTEAM, UCLouvainBelgium C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
Vedran DunjkoDunjko, Vedran Leiden University Leiden University in Programming Committee within the SPIN-track
E Stefan EdelkampEdelkamp, Stefan University of KoblenzGermany University of Koblenz in Programming Committee within the SPIN-track
F Syyeda Zainab FatmiFatmi, Syyeda Zainab York UniversityCanada Probabilistic Model Checking of Randomized Java Code
Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Florida State University in Programming Committee within the SPIN-track
G Michael GiardinoGiardino, Michael ETH ZurichSwitzerland A model-checked I2C specification
Thomas Given-WilsonGiven-Wilson, Thomas Université catholique de LouvainBelgium C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
Patrice GodefroidGodefroid, Patrice Microsoft Research, USAUnited States Committee Member in Programming Committee within the SPIN-track
Stefan GrunerGruner, Stefan University of PretoriaSouth Africa Spotlight Abstraction in Model Checking Real-Time Task Schedulability
H Henri HansenHansen, Henri Tampere UniversityFinland Tampere University in Programming Committee within the SPIN-track
Arnd HartmannsHartmanns, Arnd University of TwenteNetherlands University of Twente in Programming Committee within the SPIN-track
Gerard HolzmannHolzmann, Gerard NASA/Caltech Jet Propulsion LaboratoryUnited States NASA/Caltech Jet Propulsion Laboratory in Programming Committee within the SPIN-track
Nora HossleHossle, Nora ETH ZurichSwitzerland A model-checked I2C specification
Lukas HumbelHumbel, Lukas ETH ZurichSwitzerland A model-checked I2C specification
Antti HyvärinenHyvärinen, Antti Università della Svizzera ItalianaSwitzerland Università della Svizzera Italiana in Programming Committee within the SPIN-track
Roni HäckiHäcki, Roni ETH ZurichSwitzerland A model-checked I2C specification
J Jeroen J.A. KeirenJ.A. Keiren, Jeroen Eindhoven University of Technology Eindhoven University of Technology in Programming Committee within the SPIN-track
Marie-Christine JakobsJakobs, Marie-Christine TU Darmstadt, GermanyGermany PatEC: Pattern-based Equivalence Checking Verifying Pipeline Implementations in OpenMP
Nils JansenJansen, Nils Radboud University NijmegenNetherlands Radboud University Nijmegen in Programming Committee within the SPIN-track
Peter Gjøl JensenJensen, Peter Gjøl Aalborg University, DenmarkDenmark Aalborg University, Denmark in Programming Committee within the SPIN-track
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands; CWINetherlands Open University of the Netherlands in Programming Committee within the SPIN-track
K Alexandre KirszenbergKirszenberg, Alexandre LRDEFrance Go2Pins: a framework for the LTL verification of Go programs
Igor KonnovKonnov, Igor Informal Systems IncAustria Informal Systems Inc in Programming Committee within the SPIN-track
L Alfons LaarmanLaarman, Alfons Leiden UniversityNetherlands Session Chair of Opening (part of SPIN) Session Chair of Closing statement (part of SPIN) Chair in Organizing Committee within the SPIN-track
Didier Le BotlanLe Botlan, Didier LAAS-CNRSFrance Accelerating the Computation of Dead and Concurrent Places using Reductions
Axel LegayLegay, Axel Université Catholique de Louvain, Belgium C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
Stefan LeueLeue, Stefan Germany Session Chair of Invited talk 3 (part of SPIN)
Melissa LicciardelloLicciardello, Melissa ETH ZurichSwitzerland A model-checked I2C specification
Alberto Lluch LafuenteLluch Lafuente, Alberto Technical University of DenmarkDenmark Technical University of Denmark in Programming Committee within the SPIN-track
M Antoine MartinMartin, Antoine EPITA, LRDEFrance Go2Pins: a framework for the LTL verification of Go programs
Kuldeep S. MeelMeel, Kuldeep S. National University of Singapore National University of Singapore, Singapore in Programming Committee within the SPIN-track
Alice MillerMiller, Alice University of GlasgowUnited Kingdom Committee Member in Programming Committee within the SPIN-track
Hugo MoreauMoreau, Hugo LRDEFrance Go2Pins: a framework for the LTL verification of Go programs
Sergio MoverMover, Sergio Ecole Polytechnique Session Chair of Session 2 (part of SPIN) Ecole Polytechnique in Programming Committee within the SPIN-track
N Rajagopal NagarajanNagarajan, Rajagopal Middlesex University Committee Member in Programming Committee within the SPIN-track
Madoda NxumaloNxumalo, Madoda University of PretoriaSouth Africa Spotlight Abstraction in Model Checking Real-Time Task Schedulability
P Doron PeledPeled, Doron Bar Ilan UniversityIsrael Bar Ilan University in Programming Committee within the SPIN-track
Tatjana PetrovPetrov, Tatjana Universität KonstanzGermany Session Chair of Session 3 (part of SPIN) Universität Konstanz in Programming Committee within the SPIN-track
R Etienne RenaultRenault, Etienne LRDEFrance Go2Pins: a framework for the LTL verification of Go programs
Timothy RoscoeRoscoe, Timothy ETH ZurichSwitzerland A model-checked I2C specification
S Daniel SchwynSchwyn, Daniel ETH ZurichSwitzerland A model-checked I2C specification
Jan SchärSchär, Jan ETH ZurichSwitzerland A model-checked I2C specification
Stephen F. SiegelSiegel, Stephen F. University of DelawareUnited States University of Delaware in Programming Committee within the SPIN-track
Carsten SinzSinz, Carsten Karlsruhe Institute of Technology Karlsruhe Institute of Technology in Programming Committee within the SPIN-track
Ana SokolovaSokolova, Ana University of SalzburgAustria Session Chair of Invited talk 2 (part of SPIN) Co-chair in Organizing Committee within the SPIN-track
Jiri SrbaSrba, Jiri Aalborg University Aalborg University in Programming Committee within the SPIN-track
Marielle StoelingaStoelinga, Marielle University of Twente and Radboud University, NijmegenNetherlands Safety versus security: why have they not married yet?
T Qiyi TangTang, Qiyi University of OxfordUnited Kingdom Probabilistic Model Checking of Randomized Java Code
Michael TautschnigTautschnig, Michael Amazon Web Services Amazon Web Services in Programming Committee within the SPIN-track
Yann Thierry-MiegThierry-Mieg, Yann Sorbonne Université — LIP6France Committee Member in Programming Committee within the SPIN-track
Nils TimmTimm, Nils University of PretoriaSouth Africa Spotlight Abstraction in Model Checking Real-Time Task Schedulability
V Franck van Breugelvan Breugel, Franck York University, CanadaCanada Probabilistic Model Checking of Randomized Java Code
Jaco van de Polvan de Pol, Jaco Aarhus UniversityDenmark Aarhus University in Programming Committee within the SPIN-track
Tom van Dijkvan Dijk, Tom University of TwenteNetherlands University of Twente in Programming Committee within the SPIN-track
Moshe VardiVardi, Moshe The Rise and Fall of Linear Temporal Logic
Yakir VizelVizel, Yakir Technion—Israel Institute of TechnologyIsrael Technion—Israel Institute of Technology in Programming Committee within the SPIN-track
W Georg WeissenbacherWeissenbacher, Georg TU WienAustria TU Wien in Programming Committee within the SPIN-track
Maik WiesnerWiesner, Maik TU DarmstadtGermany Verifying Pipeline Implementations in OpenMP
Anton WijsWijs, Anton Eindhoven University of TechnologyNetherlands Session Chair of Session 1 (part of SPIN) Eindhoven University of Technology in Programming Committee within the SPIN-track
Maeve WildesWildes, Maeve McGill UniversityCanada Probabilistic Model Checking of Randomized Java Code