FASE 2019 Contributors -

Filter

Role Type

Contributing to

Number of Roles

Country

Results (115)

A Nazareno AguirreAguirre, Nazareno Dept. of Computer Science FCEFQyN, University of Rio CuartoArgentina Automatically Identifying Sufficient Object Builders from Module APIs
Himanshu AroraArora, Himanshu Checking Observational Purity Of Procedures
B Christel BaierBaier, Christel TU Dresden, GermanyGermany Committee Member in Program Committee within the FASE-track
Valeria BengoleaBengolea, Valeria Dept. of Computer Science FCEFQyN, University of Rio Cuarto Automatically Identifying Sufficient Object Builders from Module APIs
Stefano BerardiBerardi, Stefano Università di TorinoItaly Committee Member in Program Committee within the FASE-track
Dirk BeyerBeyer, Dirk LMU MunichGermany CoVeriTest: Cooperative, Verifier-Based Testing
Nikolaos BezirgiannisBezirgiannis, Nikolaos Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Artur BoronatBoronat, Artur University of Leicester Offline Delta-driven Model Transformation with Dependency Injection
Mario BravettiBravetti, Mario Università di BolognaItaly Optimal and Automated Deployment for Microservices Committee Member in Program Committee within the FASE-track
Einar Broch JohnsenBroch Johnsen, Einar University of Oslo Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
C Jordi CabotCabot, Jordi ICREA - UOC Committee Member in Program Committee within the FASE-track
Ana CavalcantiCavalcanti, Ana University of YorkUnited Kingdom Committee Member in Program Committee within the FASE-track
Marsha ChechikChechik, Marsha University of TorontoCanada Committee Member in Program Committee within the FASE-track
Xiaohong ChenChen, Xiaohong SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
Loek CleophasCleophas, Loek Eindhoven University of Technology (TU/e) and Stellenbosch University (SU)Netherlands Tool Support for Correctness-by-Construction
D Ferruccio DamianiDamiani, Ferruccio University of TurinItaly Committee Member in Program Committee within the FASE-track
Frank S. de Boerde Boer, Frank S. Centrum Wiskunde & Informatica, Leiden University Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Ewen DenneyDenney, Ewen NASA Ames Research CenterUnited States Committee Member in Program Committee within the FASE-track
Aleksandar S. DimovskiDimovski, Aleksandar S. Mother Teresa University, Skopje Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL
Zinovy DiskinDiskin, Zinovy SL2SF: Refactoring Simulink to Stateflow
Paul DubrulleDubrulle, Paul A Data Flow Model with Frequency Arithmetic
Marlon DumasDumas, Marlon Business Process Privacy Analysis in PLEAK
E Mehmet EmreEmre, Mehmet University of California, Santa Barbara Structural and Nominal Cross-Language Clone Detection
F Hasan Ferit EniserFerit Eniser, Hasan DeepFault: Fault Localization For Deep Neural Networks
Marcelo F. FriasFrias, Marcelo F. Dept. of Software Engineering Instituto Tecnológico de Buenos Aires Automatically Identifying Sufficient Object Builders from Module APIs
Lars FritscheFritsche, Lars Efficient Model Synchronization by Automatically Constructed Repair Processes
G Luciano García-BañuelosGarcía-Bañuelos, Luciano University of TartuEstonia Business Process Privacy Analysis in PLEAK
Christophe GastonGaston, Christophe A Data Flow Model with Frequency Arithmetic
Simos GerasimouGerasimou, Simos DeepFault: Fault Localization For Deep Neural Networks
Golnaz GharachorluGharachorlu, Golnaz Pardis: Priority Aware Test Case Reduction
Saverio GiallorenzoGiallorenzo, Saverio Alma Mater Studiorum - Università di BolognaItaly Optimal and Automated Deployment for Microservices
Holger GieseGiese, Holger Hasso Plattner Institute, University of PotsdamGermany Metric Temporal Graph Logic over Typed Attributed Graphs
Dilian GurovGurov, Dilian KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the FASE-track
H Ben HardekopfHardekopf, Ben UC Santa Barbara Structural and Nominal Cross-Language Clone Detection
Rolf HennickerHennicker, Rolf Ludwig Maximilians University Munich, Germany A Hybrid Dynamic Logic for Event/Data-based Systems
Ludovic HenrioHenrio, Ludovic CNRSFrance Committee Member in Program Committee within the FASE-track
Reiner HähnleHähnle, Reiner Technical University of DarmstadtGermany Session Chair of Specification, Design, and Implementation of Particular Classes of Systems (part of FASE) Co-chair in Program Committee within the FASE-track
J Marie-Christine JakobsJakobs, Marie-Christine TU Darmstadt, Germany CoVeriTest: Cooperative, Verifier-Based Testing
Qian JiaqiJiaqi, Qian KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs
Alexander JordanJordan, Alexander Oracle Labs, Australia Automatic Modeling for Opaque Code in JavaScript Static Analysis
K Eun-Young KangKang, Eun-Young University of Southern DenmarkDenmark Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System
Gerti KappelKappel, Gerti Technical University of ViennaAustria Committee Member in Program Committee within the FASE-track
Ekkart KindlerKindler, Ekkart Technical University of DenmarkDenmark Committee Member in Program Committee within the FASE-track
Alexander KnappKnapp, Alexander A Hybrid Dynamic Logic for Event/Data-based Systems
Raghavan KomondoorKomondoor, Raghavan Indian Institute of Science, BangaloreIndia Checking Observational Purity Of Procedures
Jens KosiolKosiol, Jens Efficient Model Synchronization by Automatically Constructed Repair Processes
Nikolai KosmatovKosmatov, Nikolai CEA ListFrance A Data Flow Model with Frequency Arithmetic
Derrick KourieKourie, Derrick Stellenbosch University Tool Support for Correctness-by-Construction
L Leen LambersLambers, Leen A Logic-Based Incremental Approach to Graph Repair
Arnault LapitreLapitre, Arnault A Data Flow Model with Frequency Arithmetic
Peeter LaudLaud, Peeter Business Process Privacy Analysis in PLEAK
Mark LawfordLawford, Mark McMaster SL2SF: Refactoring Simulink to Stateflow
Axel LegayLegay, Axel INRIA RennesFrance Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL
Martin LeuckerLeucker, Martin University of LübeckGermany Committee Member in Program Committee within the FASE-track
Huang LiLi, Huang Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System
Stéphane LouiseLouise, Stéphane A Data Flow Model with Frequency Arithmetic
M Alexandre MadeiraMadeira, Alexandre A Hybrid Dynamic Logic for Event/Data-based Systems
Frederic MalletMallet, Frederic Université Côte d'Azur, FranceFrance SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
Raimundas MatuleviciusMatulevicius, Raimundas Business Process Privacy Analysis in PLEAK
Jacopo MauroMauro, Jacopo University of Southern Denmark Optimal and Automated Deployment for Microservices
Maria MaximovaMaximova, Maria Metric Temporal Graph Logic over Typed Attributed Graphs
Curtis MiloMilo, Curtis SL2SF: Refactoring Simulink to Stateflow
N Stefan NaujokatNaujokat, Stefan Pyro: Generating Domain-Specific Collaborative Online Modeling Environments
Lawton NicholsNichols, Lawton Structural and Nominal Cross-Language Clone Detection
O Kazuhiro OgataOgata, Kazuhiro KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs
Fernando OrejasOrejas, Fernando Universitat Politècnica de Catalunya, Spain A Logic-Based Incremental Approach to Graph Repair
P Jun PangPang, Jun University of LuxembourgLuxembourg Committee Member in Program Committee within the FASE-track
Alisa PankovaPankova, Alisa Business Process Privacy Analysis in PLEAK
Vera PantelicPantelic, Vera SL2SF: Refactoring Simulink to Stateflow
Joonyoung ParkPark, Joonyoung Automatic Modeling for Opaque Code in JavaScript Static Analysis
Chao PengPeng, Chao University of Edinburgh, UKUnited Kingdom CLTestCheck: Measuring Test Effectiveness for GPU Kernels
Martin PettaiPettai, Martin Business Process Privacy Analysis in PLEAK
André PlatzerPlatzer, André Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the FASE-track
Mariano PolitanoPolitano, Mariano Automatically Identifying Sufficient Object Builders from Module APIs
Pablo PonzioPonzio, Pablo Dept. of Computer Science FCEFQyN, University of Rio Cuarto Automatically Identifying Sufficient Object Builders from Module APIs
Pille PullonenPullonen, Pille Business Process Privacy Analysis in PLEAK
Violet Ka I PunPun, Violet Ka I Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
R Ajitha RajanRajan, Ajitha University of EdinburghUnited Kingdom CLTestCheck: Measuring Test Effectiveness for GPU Kernels
G. RamalingamRamalingam, G. Microsoft ResearchIndia Checking Observational Purity Of Procedures
Bernhard RumpeRumpe, Bernhard RWTH AachenGermany Committee Member in Program Committee within the FASE-track
Tobias RungeRunge, Tobias TU Braunschweig Tool Support for Correctness-by-Construction
Alessandra RussoRusso, Alessandra Imperial College LondonUnited Kingdom Committee Member in Program Committee within the FASE-track
Sukyoung RyuRyu, Sukyoung KAIST, South KoreaKorea, South Automatic Modeling for Opaque Code in JavaScript Static Analysis
S Lucas SakizloglouSakizloglou, Lucas Metric Temporal Graph Logic over Typed Attributed Graphs
Rick SalaySalay, Rick University of TorontoCanada Committee Member in Program Committee within the FASE-track
Ina SchaeferSchaefer, Ina Technische Universität BraunschweigGermany Tool Support for Correctness-by-Construction Committee Member in Program Committee within the FASE-track
Sven SchneiderSchneider, Sven Metric Temporal Graph Logic over Typed Attributed Graphs A Logic-Based Incremental Approach to Graph Repair
Andy SchürrSchürr, Andy TU Darmstadt Efficient Model Synchronization by Automatically Constructed Repair Processes Committee Member in Program Committee within the FASE-track
Gehan SelimSelim, Gehan SL2SF: Refactoring Simulink to Stateflow
Alper SenSen, Alper DeepFault: Fault Localization For Deep Neural Networks
Fu SongSong, Fu SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
Bernhard SteffenSteffen, Bernhard Technical University DortmundGermany Pyro: Generating Domain-Specific Collaborative Online Modeling Environments
Perdita StevensStevens, Perdita University of EdinburghUnited Kingdom Committee Member in Program Committee within the FASE-track
Marielle StoelingaStoelinga, Marielle University of Twente and Radboud University, NijmegenNetherlands Session Chair of Model-driven Development and Model Transformation (part of FASE) Committee Member in Program Committee within the FASE-track
Nick SumnerSumner, Nick Simon Fraser University Pardis: Priority Aware Test Case Reduction
Jun SunSun, Jun Singapore University of Technology and DesignSingapore Committee Member in Program Committee within the FASE-track
T Gabriele TaentzerTaentzer, Gabriele Universität MarburgGermany Session Chair of Software Evolution & Requirements Engineering (part of FASE) Efficient Model Synchronization by Automatically Constructed Repair Processes Committee Member in Program Committee within the FASE-track
Iacopo TaleviTalevi, Iacopo Optimal and Automated Deployment for Microservices
Silvia Lizeth Tapia TarifaTapia Tarifa, Silvia Lizeth University of OsloNorway Session Chair of Software Testing (part of FASE) Implementing SOS with Active Objects: A Case Study of a Multicore Memory System Committee Member in Program Committee within the FASE-track
Maurice ter Beekter Beek, Maurice Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy Committee Member in Program Committee within the FASE-track
Thomas ThümThüm, Thomas University of UlmGermany Tool Support for Correctness-by-Construction
Jake TomTom, Jake Business Process Privacy Analysis in PLEAK
Aivo TootsToots, Aivo Business Process Privacy Analysis in PLEAK
Reedik TuulingTuuling, Reedik Business Process Privacy Analysis in PLEAK
V Wil van der Aalstvan der Aalst, Wil RWTH AachenGermany Session Chair of Software Verification I (part of FASE) Co-chair in Program Committee within the FASE-track
W Bruce W WatsonW Watson, Bruce Tool Support for Correctness-by-Construction
Yi WangWang, Yi Shenzhen University KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs
Heike WehrheimWehrheim, Heike Paderborn UniversityGermany Session Chair of Software Verification II (part of FASE) Committee Member in Program Committee within the FASE-track
Stephen Wynn-WilliamsWynn-Williams, Stephen SL2SF: Refactoring Simulink to Stateflow
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, DenmarkDenmark Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL
X Yingfei XiongXiong, Yingfei Peking UniversityChina Committee Member in Program Committee within the FASE-track
Y Maksym YerokhinYerokhin, Maksym Business Process Privacy Analysis in PLEAK
Z Gianluigi ZavattaroZavattaro, Gianluigi Optimal and Automated Deployment for Microservices
Min ZhangZhang, Min East China Normal UniversityChina KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
Philip ZweihoffZweihoff, Philip Pyro: Generating Domain-Specific Collaborative Online Modeling Environments