FormaliSE 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (74)

A Jonathan AldrichAldrich, Jonathan Carnegie Mellon University Integrating Usability into Language and Type System Design
Toshiaki AokiAoki, Toshiaki JAISTJapan Committee Member in Program Committee within the FormaliSE-track
Luca ArnaboldiArnaboldi, Luca The University of EdinburghUnited Kingdom Automating Cryptographic Protocol Language Generation from Structured Specifications
Ebru Aydin GolAydin Gol, Ebru Middle East Technical UniversityTurkey Committee Member in Program Committee within the FormaliSE-track
B Kyungmin BaeBae, Kyungmin Pohang University of Science and Technology (POSTECH)South Korea Committee Member in Program Committee within the FormaliSE-track
Levente BajcziBajczi, Levente C for Yourself: Comparison of Front-End Techniques for Formal Verification
Marcello M. BersaniBersani, Marcello M. Politecnico di Milano Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings
Simon BliudzeBliudze, Simon INRIA Lillle - Nord EuropeFrance Committee Member in Program Committee within the FormaliSE-track
Rabéa Ameur BoulifaBoulifa, Rabéa Ameur EURECOM Committee Member in Program Committee within the FormaliSE-track
Christiano BragaBraga, Christiano Universidade Federal FluminenseBrazil Committee Member in Program Committee within the FormaliSE-track
Einar Broch JohnsenBroch Johnsen, Einar University of Oslo Digital Twins: An Emerging Paradigm for Model-Centric Engineering
Richard BubelBubel, Richard Technische Universität DarmstadtGermany Automatic Loop Invariant Generation for Data Dependence Analysis
Carlos E. BuddeBudde, Carlos E. University of Trento, Italy Artifact Evaluation Chair in Program Chairs within the FormaliSE-track
C Marlon CalvoCalvo, Marlon Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts
Ana CavalcantiCavalcanti, Ana University of YorkUnited Kingdom Committee Member in Program Committee within the FormaliSE-track
David CokCok, David Safer Software Consulting, LLC Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts
D Nancy DayDay, Nancy University of Waterloo, CanadaCanada Committee Member in Program Committee within the FormaliSE-track
F Irman FaqrizalFaqrizal, Irman Counting Bugs in Behavioural Models using Counterexample Analysis
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland Committee Member in Program Committee within the FormaliSE-track
G Wided GhardallouGhardallou, Wided Computing Program Functions
Stefania GnesiGnesi, Stefania Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy Session Chair of Keynote 2 (part of FormaliSE) Organization Co-chair in General Chairs within the FormaliSE-track
Roberta GoriGori, Roberta University of PisaItaly Committee Member in Program Committee within the FormaliSE-track
H Sylvain HalléHallé, Sylvain Université du Québec à ChicoutimiCanada Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning
Arnd HartmannsHartmanns, Arnd University of TwenteNetherlands Program Co-Chair in Program Chairs within the FormaliSE-track Program Co-Chair in Program Committee within the FormaliSE-track
Mats HeimdahlHeimdahl, Mats University of Minnesota Counterexample-Guided Inductive Repair of Reactive Contracts
Asmae Heydari TabarHeydari Tabar, Asmae Technical University of DarmstadtGermany Automatic Loop Invariant Generation for Data Dependence Analysis
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers
Laura HumphreyHumphrey, Laura Air Force Research LaboratoryUnited States Committee Member in Program Committee within the FormaliSE-track
Soha HusseinHussein, Soha University of Minnesota, USA / Ain Shams University, Egypt Counterexample-Guided Inductive Repair of Reactive Contracts
Reiner HähnleHähnle, Reiner Technical University of DarmstadtGermany Session Chair of Session 3 (part of FormaliSE) Automatic Loop Invariant Generation for Data Dependence Analysis
Eyke HüllermeierHüllermeier, Eyke Property-Driven Testing of Black-Box Functions
J Marie-Christine JakobsJakobs, Marie-Christine TU Darmstadt, Germany Committee Member in Program Committee within the FormaliSE-track
Ana JovanovicJovanovic, Ana Towards Automated Input Generation for Sketching Alloy Models
Sebastian JungesJunges, Sebastian Committee Member in Program Committee within the FormaliSE-track
L Sophie LathouwersLathouwers, Sophie Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts
Livia LestingiLestingi, Livia DEIB, Politecnico di MilanoItaly Session Chair of Session 2 (part of FormaliSE) Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings Virtualisation Chair in General Chairs within the FormaliSE-track
Richard LingerLinger, Richard Computing Program Functions
Wanwei LiuLiu, Wanwei National University of Defense Technology Committee Member in Program Committee within the FormaliSE-track
Malte LochauLochau, Malte University of Siegen Committee Member in Program Committee within the FormaliSE-track
Antónia LopesLopes, Antónia University of LisbonPortugal Committee Member in Program Committee within the FormaliSE-track
M Mieke MassinkMassink, Mieke CNR-ISTI Pisa, Italy Session Chair of Session 1 (part of FormaliSE) Committee Member in Program Committee within the FormaliSE-track
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research Center Committee Member in Program Committee within the FormaliSE-track
Stephen McCamantMcCamant, Stephen University of Minnesota, USA Counterexample-Guided Inductive Repair of Reactive Contracts
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Committee Member in Program Committee within the FormaliSE-track
Vitalik MelnikovMelnikov, Vitalik Property-Driven Testing of Black-Box Functions
Claudio MenghiMenghi, Claudio McMaster University, CanadaCanada Session Chair of Session 4 (part of FormaliSE) Social Media Chair in General Chairs within the FormaliSE-track
Roberto MetereMetere, Roberto Newcastle UniversityUnited Kingdom Automating Cryptographic Protocol Language Generation from Structured Specifications
Ali MiliMili, Ali NJITUnited States Computing Program Functions
Hessamaldin MohammadiMohammadi, Hessamaldin Computing Program Functions
Vince MolnárMolnár, Vince Budapest University of Technology and EconomicsHungary C for Yourself: Comparison of Front-End Techniques for Formal Verification
N Amirfarhad NilizadehNilizadeh, Amirfarhad University of Central FloridaUnited States Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts
P Nico PlatPlat, Nico ThanosNetherlands Organization Co-chair in General Chairs within the FormaliSE-track
Alex PotaninPotanin, Alex Australian National UniversityAustralia Committee Member in Program Committee within the FormaliSE-track
R Sanjai RayadurgamRayadurgam, Sanjai University of MinnesotaUnited States Counterexample-Guided Inductive Repair of Reactive Contracts
Giorgio RomeoRomeo, Giorgio Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings
Matteo RossiRossi, Matteo Politecnico di Milano Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings
S Gwen SalaünSalaün, Gwen University of Grenoble AlpesFrance Counting Bugs in Behavioural Models using Counterexample Analysis Committee Member in Program Committee within the FormaliSE-track
Cristian SbrolliSbrolli, Cristian Politecnico di MilanoItaly Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings
Pasquale ScarmozzinoScarmozzino, Pasquale Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings
Ina SchaeferSchaefer, Ina Karlsruhe Institute of Technology (KIT)Germany Session Chair of Keynote 1 (part of FormaliSE) Program Co-Chair in Program Chairs within the FormaliSE-track Program Co-Chair in Program Committee within the FormaliSE-track
Sean SedwardsSedwards, Sean Committee Member in Program Committee within the FormaliSE-track
Laura SeminiSemini, Laura Università di Pisa - Dipartimento di InformaticaItaly Committee Member in Program Committee within the FormaliSE-track
Arnab SharmaSharma, Arnab University of PaderbornGermany Property-Driven Testing of Black-Box Functions
Vaibhav SharmaSharma, Vaibhav AmazonUnited States Counterexample-Guided Inductive Repair of Reactive Contracts
Allison SullivanSullivan, Allison University of Texas at ArlingtonUnited States Towards Automated Input Generation for Sketching Alloy Models
T Silvia Lizeth Tapia TarifaTarifa, Silvia Lizeth Tapia University of Oslo, Norway Committee Member in Program Committee within the FormaliSE-track
Maurice ter Beekter Beek, Maurice ISTI-CNR, Pisa, Italy Committee Member in Program Committee within the FormaliSE-track
Jana TumovaTumova, Jana KTH Royal Institute of Technology, Sweden Formal Methods for Dealing with Traffic Rules in Autonomous Driving
Andrea TurriniTurrini, Andrea State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Committee Member in Program Committee within the FormaliSE-track
V Marcel VerhoefVerhoef, Marcel European Space AgencyNetherlands Committee Member in Program Committee within the FormaliSE-track
Torin VigerViger, Torin Formally validating Model-Based Safety Assurance Cases
W Heike WehrheimWehrheim, Heike Carl von Ossietzky Universität Oldenburg / University of OldenburgGermany Property-Driven Testing of Black-Box Functions Committee Member in Program Committee within the FormaliSE-track
Á Zsófia ÁdámÁdám, Zsófia C for Yourself: Comparison of Front-End Techniques for Formal Verification