FormaliSE 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (75)

A Omar Al BatainehAl Bataineh, Omar National University of Singapore, SingaporeSingapore Monitoring Cumulative Non-functional Properties
Dalal AlrajehAlrajeh, Dalal Imperial College LondonUnited Kingdom Committee Member in Programme Committee within the FormaliSE-track
Toshiaki AokiAoki, Toshiaki JAISTJapan Committee Member in Programme Committee within the FormaliSE-track
Diego F. AranhaAranha, Diego F. Aarhus UniversityDenmark Formally Verified Credentials Management for Industrial Control Systems
Lukas ArmborstArmborst, Lukas University of TwenteNetherlands Permission-Based Verification of Red-Black Trees and Their Merging
Ebru Aydin GolAydin Gol, Ebru Middle East Technical University Committee Member in Programme Committee within the FormaliSE-track
B Kyungmin BaeBae, Kyungmin Pohang University of Science and Technology (POSTECH)South Korea Committee Member in Programme Committee within the FormaliSE-track
Gina BelmonteBelmonte, Gina Azienda Toscana Nord Ovest S. C. Fisica Sanitaria Nord, Lucca, ItalyItaly Feasibility of Spatial Model Checking for Nevus Segmentation
Marcello BersaniBersani, Marcello Politecnico di Milano, Italy Improved Bounded Model Checking of Timed Automata
Domenico BianculliBianculli, Domenico University of LuxembourgLuxembourg Committee Member in Programme Committee within the FormaliSE-track
Simon BliudzeBliudze, Simon INRIA Lillle - Nord EuropeFrance Co-chair in Programme Committee within the FormaliSE-track
Jalil BoudjadarBoudjadar, Jalil Aarhus UniversityDenmark Formally Verified Credentials Management for Industrial Control Systems
Rabéa Ameur BoulifaBoulifa, Rabéa Ameur EURECOM Committee Member in Programme Committee within the FormaliSE-track
Christiano BragaBraga, Christiano Universidade Federal FluminenseBrazil Committee Member in Programme Committee within the FormaliSE-track
Giovanna BrocciaBroccia, Giovanna ISTI-CNR, FMT LabItaly Feasibility of Spatial Model Checking for Nevus Segmentation
C Ana CavalcantiCavalcanti, Ana University of YorkUnited Kingdom Committee Member in Programme Committee within the FormaliSE-track
Stéphanie ChallitaChallita, Stéphanie Inria, France Committee Member in Programme Committee within the FormaliSE-track
Vincenzo CianciaCiancia, Vincenzo Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALYItaly Feasibility of Spatial Model Checking for Nevus Segmentation
Hélène CoullonCoullon, Hélène IMT Atlantique Committee Member in Programme Committee within the FormaliSE-track
D Nancy DayDay, Nancy University of Waterloo, CanadaCanada Committee Member in Programme Committee within the FormaliSE-track
E Arvind EaswaranEaswaran, Arvind Nanyang Technological UniversitySingapore Monitoring Cumulative Non-functional Properties
F Michalis FamelisFamelis, Michalis Université de MontréalCanada Checking temporal patterns of API usage without code execution
Alessandro FantechiFantechi, Alessandro University of Florence Committee Member in Programme Committee within the FormaliSE-track
Marc FrappierFrappier, Marc Université de Sherbrooke, Canada Committee Member in Programme Committee within the FormaliSE-track
Jan Friso GrooteFriso Groote, Jan Eindhoven University of Technology Committee Member in Programme Committee within the FormaliSE-track
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland Committee Member in Programme Committee within the FormaliSE-track
G Stefania GnesiGnesi, Stefania Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy Co-chair in Organizing Committee within the FormaliSE-track
Roberta GoriGori, Roberta University of PisaItaly Formal characterization and efficient verification of a biological robustness property Committee Member in Programme Committee within the FormaliSE-track
H Sylvain HalléHallé, Sylvain Université du Québec à ChicoutimiCanada Runtime Verification Under Access Restrictions
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Permission-Based Verification of Red-Black Trees and Their Merging
J Marie-Christine JakobsJakobs, Marie-Christine TU Darmstadt, GermanyGermany PEQcheck: Localized and Context-aware Checking of Functional Equivalence Committee Member in Programme Committee within the FormaliSE-track
Daniel Jun Xian NgJun Xian Ng, Daniel Nanyang Technological University, SingaporeSingapore Monitoring Cumulative Non-functional Properties
K Besma KhaireddineKhaireddine, Besma FSTTunisia Quantifying Faultiness: What Does It Mean to Have N Faults
Raphael KhouryKhoury, Raphael Université du Québec à Chicoutimi, CanadaCanada Runtime Verification Under Access Restrictions
Alexander KnüppelKnüppel, Alexander TU BraunschweigGermany How much Specification is Enough? Mutation Analysis for Software Contracts GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers
Nikolai KosmatovKosmatov, Nikolai CEA ListFrance Methodology for Specification and Verification of High-Level Properties with MetAcsl
Srđan KrstićKrstić, Srđan ETH ZürichSwitzerland Committee Member in Programme Committee within the FormaliSE-track
Tomas KulikKulik, Tomas Aarhus UniversityDenmark Formally Verified Credentials Management for Industrial Control Systems
L Peter Gorm LarsenLarsen, Peter Gorm Aarhus UniversityDenmark Committee Member in Programme Committee within the FormaliSE-track
Diego LatellaLatella, Diego ISTI-CNR, Pisa, ItalyItaly Feasibility of Spatial Model Checking for Nevus Segmentation
Pascale Le GallLe Gall, Pascale CentraleSupelecFrance Methodology for Specification and Verification of High-Level Properties with MetAcsl
Axel LegayLegay, Axel Université Catholique de Louvain, Belgium Committee Member in Programme Committee within the FormaliSE-track
Malte LochauLochau, Malte University of Siegen Committee Member in Programme Committee within the FormaliSE-track
Antónia LopesLopes, Antónia University of LisbonPortugal Committee Member in Programme Committee within the FormaliSE-track
M Tiziana MargariaMargaria, Tiziana University of Limerick and Lero - The Irish Software Research Centre Ireland Committee Member in Programme Committee within the FormaliSE-track
Mieke MassinkMassink, Mieke CNR-ISTI Pisa, ItalyItaly Feasibility of Spatial Model Checking for Nevus Segmentation Committee Member in Programme Committee within the FormaliSE-track
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research Center Committee Member in Programme Committee within the FormaliSE-track
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Committee Member in Programme Committee within the FormaliSE-track
Paolo MilazzoMilazzo, Paolo University of Pisa - Department of Computer ScienceItaly Formal characterization and efficient verification of a biological robustness property
Ali MiliMili, Ali NJITUnited States Quantifying Faultiness: What Does It Mean to Have N Faults
N Lucia NastiNasti, Lucia Università di Pisa - Dipartimento di InformaticaItaly Formal characterization and efficient verification of a biological robustness property Social Media Chair in Organizing Committee within the FormaliSE-track
P Liliana PasqualePasquale, Liliana University College Dublin & LeroIreland Towards Formalising Sustainable Security
Patrizio PelliccionePelliccione, Patrizio Gran Sasso Science Institute (GSSI) and Chalmers \| University of GothenburgItaly Committee Member in Programme Committee within the FormaliSE-track
Nico PlatPlat, Nico ThanosNetherlands Co-chair in Organizing Committee within the FormaliSE-track
Virgile PrevostoPrevosto, Virgile CEA Tech ListFrance Methodology for Specification and Verification of High-Level Properties with MetAcsl
R Erick RaelijohnRaelijohn, Erick University of MontrealCanada Checking temporal patterns of API usage without code execution
Louis RillingRilling, Louis DGA Maîtrise de l'InformationFrance Methodology for Specification and Verification of High-Level Properties with MetAcsl
Virgile RoblesRobles, Virgile CEA List, Software Reliability and Security LabFrance Methodology for Specification and Verification of High-Level Properties with MetAcsl
Matteo RossiRossi, Matteo Politecnico di MilanoItaly Improved Bounded Model Checking of Timed Automata
S Larisa SafinaSafina, Larisa INRIA Lillle - Nord EuropeFrance Virtualisation Chair in Organizing Committee within the FormaliSE-track
Houari SahraouiSahraoui, Houari Université de MontréalCanada Checking temporal patterns of API usage without code execution
Gwen SalaünSalaün, Gwen University of Grenoble AlpesFrance Committee Member in Programme Committee within the FormaliSE-track
Pierluigi San PietroSan Pietro, Pierluigi Politecnico di MilanoItaly Improved Bounded Model Checking of Timed Automata
Ina SchaeferSchaefer, Ina TU BraunschweigGermany How much Specification is Enough? Mutation Analysis for Software Contracts GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers Committee Member in Programme Committee within the FormaliSE-track
Leon SchaerSchaer, Leon TU BraunschweigGermany How much Specification is Enough? Mutation Analysis for Software Contracts
Laura SeminiSemini, Laura Università di Pisa - Dipartimento di InformaticaItaly Co-chair in Programme Committee within the FormaliSE-track
Marjan SirjaniSirjani, Marjan Malardalen UniversitySweden Committee Member in Programme Committee within the FormaliSE-track
Robert L. SmithSmith, Robert L. Politecnico di MilanoUnited States Improved Bounded Model Checking of Timed Automata
Paola SpoletiniSpoletini, Paola Kennesaw State UniversityUnited States Committee Member in Programme Committee within the FormaliSE-track
T Rania TalebTaleb, Rania PhD studentCanada Runtime Verification Under Access Restrictions
Maurice ter Beekter Beek, Maurice ISTI-CNR, Pisa, Italy Committee Member in Programme Committee within the FormaliSE-track
Thomas ThümThüm, Thomas University of UlmGermany GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers
V Moshe VardiVardi, Moshe Program Verification: a 70-Year History
Marcel VerhoefVerhoef, Marcel European Space AgencyNetherlands Committee Member in Programme Committee within the FormaliSE-track
Ö Peter ÖlveczkyÖlveczky, Peter University of Oslo Committee Member in Programme Committee within the FormaliSE-track