FTSCS 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (44)

A Étienne AndréAndré, Étienne Université Sorbonne Paris Nord; LIPN; CNRSFrance Committee Member in Program Committee within the FTSCS-track
Jesus ArandaAranda, Jesus Universidad del ValleColombia Formal Verification of a Mechanical Ventilator using UPPAAL
Cyrille ArthoArtho, Cyrille KTH Royal Institute of Technology, Sweden Session Chair of Paper presentations (part of FTSCS) Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library Discussions, Closing Committee Member in Program Committee within the FTSCS-track Committee Member in Organizing Committee within the FTSCS-track
B Kyungmin BaeBae, Kyungmin POSTECHSouth Korea Session Chair of Paper presentations 2 (part of FTSCS) Opening, Keynote: Bounded STL Model Checking for Hybrid Systems Committee Member in Program Committee within the FTSCS-track
Joan S BetancourtBetancourt, Joan S Colombia Formal Verification of a Mechanical Ventilator using UPPAAL
Armin BiereBiere, Armin University of Freiburg, GermanyGermany Committee Member in Program Committee within the FTSCS-track
C David CortésCortés, David Colombia Formal Verification of a Mechanical Ventilator using UPPAAL
Jaime CuartasCuartas, Jaime Universidad del ValleColombia Formal Verification of a Mechanical Ventilator using UPPAAL
D Patricia DerlerDerler, Patricia ZooxUnited States Committee Member in Program Committee within the FTSCS-track
E Santiago EscobarEscobar, Santiago Symbolic analysis by using folding narrowing with irreducibility and SMT constraints
F Alessandro FantechiFantechi, Alessandro University of Florence Committee Member in Program Committee within the FTSCS-track
Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom Committee Member in Program Committee within the FTSCS-track
G Jose GarciaGarcia, Jose Colombia Formal Verification of a Mechanical Ventilator using UPPAAL
Florian GilcherGilcher, Florian Germany Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Mario GleirscherGleirscher, Mario University of BremenGermany Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
H Ernst Moritz HahnHahn, Ernst Moritz Netherlands Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Osman HasanHasan, Osman National University of Sciences & Technology Committee Member in Program Committee within the FTSCS-track
Anne HaxthausenHaxthausen, Anne Denmark Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
K Eduard KamburjanKamburjan, Eduard University of OsloNorway Committee Member in Program Committee within the FTSCS-track
Alexander KnappKnapp, Alexander University of AugsburgGermany Committee Member in Program Committee within the FTSCS-track
L Yi LiLi, Yi Nanyang Technological UniversitySingapore Committee Member in Program Committee within the FTSCS-track
Raul LopezLopez, Raul Spain Symbolic analysis by using folding narrowing with irreducibility and SMT constraints
M Aïssata MaigaMaiga, Aïssata Sweden Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Frederic MalletMallet, Frederic Université Côte d'Azur, FranceFrance Committee Member in Program Committee within the FTSCS-track
Lina MarssoMarsso, Lina University of TorontoCanada Committee Member in Program Committee within the FTSCS-track
Yannick MoyMoy, Yannick AdaCoreFrance Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
N Stefano M. NicolettiNicoletti, Stefano M. Netherlands Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Thomas NollNoll, Thomas RWTH Aachen UniversityGermany Committee Member in Program Committee within the FTSCS-track
O Kazuhiro OgataOgata, Kazuhiro Japan Advanced Institute of Science and Technology Committee Member in Program Committee within the FTSCS-track
Carlos OlarteOlarte, Carlos CNRS; LIPN; Université Sorbonne Paris NordFrance Committee Member in Program Committee within the FTSCS-track
James OrtizOrtiz, James Université de NamurBelgium Formal Verification of a Mechanical Ventilator using UPPAAL
P Jan PeleskaPeleska, Jan Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
Laure PetrucciPetrucci, Laure CNRS; LIPN; Université Sorbonne Paris NordFrance Committee Member in Program Committee within the FTSCS-track
José ProençaProença, José Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP)Portugal Committee Member in Program Committee within the FTSCS-track
S Caz SaaltinkSaaltink, Caz Netherlands Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Julia SapiñaSapiña, Julia Symbolic analysis by using folding narrowing with irreducibility and SMT constraints
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Committee Member in Program Committee within the FTSCS-track
Marielle StoelingaStoelinga, Marielle University of Twente and Radboud University, NijmegenNetherlands Solving Queries for Boolean Fault Tree Logic via Quantified SAT
T Sofiene TaharTahar, Sofiene Concordia UniversityCanada Committee Member in Program Committee within the FTSCS-track
Carolyn TalcottTalcott, Carolyn SRI International Committee Member in Program Committee within the FTSCS-track
V Andres ValenciaValencia, Andres Colombia Formal Verification of a Mechanical Ventilator using UPPAAL
Matthias VolkVolk, Matthias Netherlands Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Z Huibiao ZhuZhu, Huibiao East China Normal University, ShanghaiChina Committee Member in Program Committee within the FTSCS-track
Ö Peter ÖlveczkyÖlveczky, Peter University of OsloNorway Session Chair of Opening, Keynote (part of FTSCS) Discussions, Closing Committee Member in Program Committee within the FTSCS-track Committee Member in Organizing Committee within the FTSCS-track