FTSCS 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (76)

A Mohamed AbdelghanyAbdelghany, Mohamed Concordia UniversityCanada Formal Probabilistic Risk Assessment of a Nuclear Power Plant
Sharar AhmadiAhmadi, Sharar University of SurreyUnited Kingdom Proving Memory Access Violations in Isabelle/HOL
Meghan AllenAllen, Meghan University of British ColumbiaCanada Committee Member in Program Committee within the SPLASH -E-track
Étienne AndréAndré, Étienne Université Sorbonne Paris Nord; LIPN; CNRSFrance strategFTO: Untimed Control for Timed Opacity Committee Member in Program Committee within the FTSCS-track
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
Robert C. ArmstrongArmstrong, Robert C. Sandia National Laboratories Q: A Sound Verification Framework for Statecharts and Their Implementations
Cyrille ArthoArtho, Cyrille KTH Royal Institute of Technology, Sweden Committee Member in Organizing Committee within the FTSCS-track Committee Member in Program Committee within the FTSCS-track
Bereket Shimels AyeleAyele, Bereket Shimels Addis Ababa Institute of TechnologyEthiopia Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jon AytacAytac, Jon Sandia National Laboratories Q: A Sound Verification Framework for Statecharts and Their Implementations
B Kyungmin BaeBae, Kyungmin POSTECHSouth Korea Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata Committee Member in Program Committee within the FTSCS-track
Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Steering Committee Chair in Steering Committee within the SPLASH -E-track
Mike BarkminBarkmin, Mike University of Duisburg-Essen, GermanyGermany Committee Member in Program Committee within the SPLASH -E-track
Bereket Ngussie BekeleBekele, Bereket Ngussie Addis Ababa Institute of TechnologyEthiopia Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
John BenderBender, John Sandia National Laboratories Q: A Sound Verification Framework for Statecharts and Their Implementations
Dirk BeyerBeyer, Dirk LMU MunichGermany Cooperative Verification: Towards Reliable Safety-Critical Systems
Armin BiereBiere, Armin University of Freiburg, GermanyGermany Committee Member in Program Committee within the FTSCS-track
Shapagat BolatBolat, Shapagat Université de Lorraine; CNRS; Inria; LORIAFrance strategFTO: Untimed Control for Timed Opacity
Daniel BrittenBritten, Daniel University of WaikatoNew Zealand Modelling a Blockchain for Smart Contract Verification using DeepSEA
David BromanBroman, David KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the FTSCS-track
C Jiawei ChenChen, Jiawei University of Michigan at Ann ArborUnited States Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the SPLASH -E-track
Charlie CurtsingerCurtsinger, Charlie Grinnell College Committee Member in Steering Committee within the SPLASH -E-track
D José Luiz Vargas de Mendonçade Mendonça, José Luiz Vargas University of Michigan at Ann ArborUnited States Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Brijesh DongolDongol, Brijesh University of SurreyUnited Kingdom Proving Memory Access Violations in Isabelle/HOL
F Marie FarrellFarrell, Marie Maynooth UniversityIreland Committee Member in Program Committee within the FTSCS-track
Molly FeldmanFeldman, Molly Oberlin CollegeUnited States Session Chair of Morning 1 (part of SPLASH -E) Committee Member in Program Committee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track
Kathi FislerFisler, Kathi Brown UniversityUnited States Committee Member in Steering Committee within the SPLASH -E-track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Committee Member in Program Committee within the FTSCS-track
G Dimitra GiannakopoulouGiannakopoulou, Dimitra NASA Ames Research Center Committee Member in Program Committee within the FTSCS-track
Sabine GlesnerGlesner, Sabine Germany Committee Member in Program Committee within the FTSCS-track
Matt GriffinGriffin, Matt University of SurreyUnited Kingdom Proving Memory Access Violations in Isabelle/HOL
Lindsay GrovesGroves, Lindsay Victoria University of Wellington Committee Member in Program Committee within the FTSCS-track
Philip GuoGuo, Philip University of California San Diego Committee Member in Program Committee within the SPLASH -E-track
H Osman HasanHasan, Osman National University of Sciences & Technology Committee Member in Program Committee within the FTSCS-track
Martin HenzHenz, Martin National University of SingaporeSingapore Session Chair of Morning 2 (part of SPLASH -E) Co-chair in Program Committee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track
Geoffrey C. HuletteHulette, Geoffrey C. Sandia National Laboratories Q: A Sound Verification Framework for Statecharts and Their Implementations
I Fuyuki IshikawaIshikawa, Fuyuki National Institute of InformaticsJapan Committee Member in Program Committee within the FTSCS-track
J Shayan JaliliJalili, Shayan University of Michigan at Ann ArborUnited States Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jean-Baptiste JeanninJeannin, Jean-Baptiste University of Michigan at Ann ArborUnited States Towards a Formalization of the Active Corner Method for Collision Avoidance in PVS Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
K Byeongjee KangKang, Byeongjee POSTECHSouth Korea Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search
Nishant KheterpalKheterpal, Nishant University of MichiganUnited States Towards a Formalization of the Active Corner Method for Collision Avoidance in PVS
Sangki KimKim, Sangki POSTECHSouth Korea Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT
L Jaeseo LeeLee, Jaeseo POSTECHSouth Korea Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT
Engel LefaucheuxLefaucheux, Engel Université de Lorraine; CNRS; Inria; LORIAFrance strategFTO: Untimed Control for Timed Opacity
Benjamin LernerLerner, Benjamin Northeastern University, United StatesUnited States Session Chair of Afternoon 2 (part of SPLASH -E) Co-chair in Program Committee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track
M Raheel S. MahmoodMahmood, Raheel S. Sandia National Laboratories Q: A Sound Verification Framework for Statecharts and Their Implementations
Robi MalikMalik, Robi New Zealand Committee Member in Program Committee within the FTSCS-track
Frederic MalletMallet, Frederic Université Côte d'Azur, FranceFrance Committee Member in Program Committee within the FTSCS-track
Dylan MarinhoMarinho, Dylan Université de Lorraine; CNRS; Inria; LORIAFrance strategFTO: Untimed Control for Timed Opacity
Lina MarssoMarsso, Lina University of TorontoCanada Committee Member in Program Committee within the FTSCS-track
Karla MorrisMorris, Karla Sandia National Laboratories Q: A Sound Verification Framework for Statecharts and Their Implementations
N Roberto NardoneNardone, Roberto University of Naples "Parthenope" Committee Member in Program Committee within the FTSCS-track
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 Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata Committee Member in Program Committee within the FTSCS-track
P Catuscia PalamidessiPalamidessi, Catuscia INRIA and LIX Committee Member in Program Committee within the FTSCS-track
David J. PearcePearce, David J. ConsenSysUnited States Committee Member in Program Committee within the FTSCS-track
Laure PetrucciPetrucci, Laure CNRS; LIPN; Université Sorbonne Paris NordFrance Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
Samuel D. PollardPollard, Samuel D. Sandia National LaboratoriesUnited States Q: A Sound Verification Framework for Statecharts and Their Implementations
Q Zhemin QuQu, Zhemin University of Michigan at Ann ArborUnited States Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
R Blake C. RawlingsRawlings, Blake C. Sandia National Laboratories Q: A Sound Verification Framework for Statecharts and Their Implementations
Steve ReevesReeves, Steve University of WaikatoNew Zealand Modelling a Blockchain for Smart Contract Verification using DeepSEA
Markus RoggenbachRoggenbach, Markus Swansea University, Swansea, UK Committee Member in Program Committee within the FTSCS-track
Fredrik RømmingRømming, Fredrik University of OsloNorway Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
S Martina SeidlSeidl, Martina Johannes Kepler University LinzAustria Committee Member in Program Committee within the FTSCS-track
Pranjal SharmaSharma, Pranjal University of Michigan at Ann ArborUnited States Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Elena ShermanSherman, Elena Boise State UniversityUnited States Committee Member in Program Committee within the FTSCS-track
Tigist ShiferawShiferaw, Tigist Addis Ababa Institute of TechnologyEthiopia Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jing SunSun, Jing School of Computer Science, University of AucklandNew Zealand Committee Member in Program Committee within the FTSCS-track
T Sofiene TaharTahar, Sofiene Concordia UniversityCanada Formal Probabilistic Risk Assessment of a Nuclear Power Plant Committee Member in Program Committee within the FTSCS-track
Carolyn TalcottTalcott, Carolyn SRI International Committee Member in Program Committee within the FTSCS-track
Eli TilevichTilevich, Eli Virginia TechUnited States Session Chair of Afternoon 1 (part of SPLASH -E) Committee Member in Program Committee within the SPLASH -E-track
V Rob van Glabbeekvan Glabbeek, Rob Committee Member in Program Committee within the FTSCS-track
Z Yicheng ZhangZhang, Yicheng University of Michigan at Ann ArborUnited States Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Huibiao ZhuZhu, Huibiao China Committee Member in Program Committee within the FTSCS-track
Ö Peter ÖlveczkyÖlveczky, Peter University of OsloNorway Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata Committee Member in Organizing Committee within the FTSCS-track Committee Member in Program Committee within the FTSCS-track

FTSCS 2022 Contributors

Results (76)

Tracks

SPLASH 2022