TACAS 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (212)

A Tim A.C. WillemseA.C. Willemse, Tim The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Alessandro AbateAbate, Alessandro University of OxfordUnited Kingdom StocHy: automated verification and synthesis of stochastic processes
Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala UniversitySweden Committee Member in Program Committee within the TACAS-track
Étienne AndréAndré, Étienne LIPN, CNRS UMR 7030, Université Paris 13France Minimal-Time Synthesis for Parametric Timed Automata
Murat ArcakArcak, Murat Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach
B Souheib BaarirBaarir, Souheib Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework
Junaid BabarBabar, Junaid Edge-Specified Reduction Binary Decision Diagrams
Alexey BakhirkinBakhirkin, Alexey Specification and Efficient Monitoring Beyond STL
Gianluca BarbonBarbon, Gianluca Universit� Grenoble Alpes, Inria, LIG Debugging of Behavioural Models with CLEAR
Nicolas BassetBasset, Nicolas Specification and Efficient Monitoring Beyond STL
Nils BeckerBecker, Nils The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations
Gina BelmonteBelmonte, Gina VoxLogicA: a Spatial Model Checker for Declarative Image Analysis
Nikola BenesBenes, Nikola Digital Bifurcation Analysis of TCP Dynamics
Dirk BeyerBeyer, Dirk LMU MunichGermany Session Chair of Verification and Analysis (part of TACAS) Competition chair in Program Committee within the TACAS-track Committee Member in Steering Committee within the TACAS-track
Armin BiereBiere, Armin Johannes Kepler University LinzAustria Session Chair of SAT Solving and Theorem Proving (part of TACAS) Session Chair of SAT and SMT II (part of TACAS) Encoding Redundancy for Satisfaction-Driven Clause Learning Committee Member in Program Committee within the TACAS-track
Benjamin BispingBisping, Benjamin Technische Universität BerlinGermany Computing Coupled Similarity
Jasmin BlanchetteBlanchette, Jasmin Vrije Universiteit AmsterdamNetherlands Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
Martin BlichaBlicha, Martin USI Lugano, Switzerland Decomposing Farkas Interpolants
Vincent BloemenBloemen, Vincent University of Twente Minimal-Time Synthesis for Parametric Timed Automata
Thomas BläsiusBläsius, Thomas On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Committee Member in Program Committee within the TACAS-track
Patricia BouyerBouyer, Patricia LSV, CNRS & ENS Cachan, University Paris SaclayFrance Committee Member in Program Committee within the TACAS-track
Marius BozgaBozga, Marius Verimag/CNRS Checking Deadlock-Freedom of Parametric Component-Based Systems
Marco BozzanoBozzano, Marco COMPASS 3.0
Martin BrainBrain, Martin Building Better Bit-Blasting for Floating-Point Problems
Lubos BrimBrim, Lubos Digital Bifurcation Analysis of TCP Dynamics
Harold BruintjesBruintjes, Harold COMPASS 3.0
Olav BunteBunte, Olav The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Yuliya ButkovaButkova, Yuliya Optimal Time-Bounded Reachability Analysis for Concurrent Systems
C Pablo CastroCastro, Pablo Dept. of Computer Science FCEFQyN, University of Rio CuartoArgentina Measuring Masking Fault-Tolerance
Nathalie CauchiCauchi, Nathalie University of OxfordUnited Kingdom StocHy: automated verification and synthesis of stochastic processes
Milan CeskaCeska, Milan Brno University of Technology Czechia Shepherding Hordes of Markov Chains
Taolue ChenChen, Taolue Birkbeck, University of London Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan ROLL 1.0: $\omega$-Regular Language Learning Library Committee Member in Program Committee within the TACAS-track
Maria ChristakisChristakis, Maria MPI-SWSGermany Semantic Fault Localization and Suspiciousness Ranking Committee Member in Program Committee within the TACAS-track
Vincenzo CianciaCiancia, Vincenzo VoxLogicA: a Spatial Model Checker for Declarative Image Analysis
Gianfranco CiardoCiardo, Gianfranco Edge-Specified Reduction Binary Decision Diagrams iRank: a variable order metric for DEDS subject to linear invariants
Alessandro CimattiCimatti, Alessandro Fondazione Bruno KesslerItaly COMPASS 3.0 Committee Member in Program Committee within the TACAS-track
Rance CleavelandCleaveland, Rance University of MarylandUnited States Session Chair of Safety and Fault-tolerant Systems (part of TACAS) Committee Member in Program Committee within the TACAS-track Committee Member in Steering Committee within the TACAS-track
Simon CruanesCruanes, Simon Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
D Pedro D'ArgenioD'Argenio, Pedro Measuring Masking Fault-Tolerance
Joshua DawesDawes, Joshua University of Manchester and CERNSwitzerland VyPR2: A Framework for Runtime Verification of Python Web Services
Leonardo de Mourade Moura, Leonardo Microsoft ResearchUnited States Committee Member in Program Committee within the TACAS-track
Ramiro DemasiDemasi, Ramiro Measuring Masking Fault-Tolerance
Susanna DonatelliDonatelli, Susanna iRank: a variable order metric for DEDS subject to linear invariants
E Petru ElesEles, Petru On Reachability in Parameterized Phaser Programs
Søren EnevoldsenEnevoldsen, Søren Abstract Dependency Graphs and Their Application to Model Checking
Javier EsparzaEsparza, Javier Computing the Expected Execution Time of Probabilistic Workflow Nets
F Gereon FoxFox, Gereon Optimal Time-Bounded Reachability Analysis for Concurrent Systems
Giovanni FranzoniFranzoni, Giovanni VyPR2: A Framework for Runtime Verification of Python Web Services
Tobias FriedrichFriedrich, Tobias On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition
Jan Friso GrooteFriso Groote, Jan The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Nathan FultonFulton, Nathan MIT-IBM Watson AI LabUnited States Verifiably Safe Off-Model Reinforcement Learning
G Zeinab GanjeiGanjei, Zeinab On Reachability in Parameterized Phaser Programs
Pierre GantyGanty, Pierre IMDEA Software InstituteSpain Committee Member in Program Committee within the TACAS-track
Pengfei GaoGao, Pengfei Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks
Elvio Gilberto AmparoreGilberto Amparore, Elvio iRank: a variable order metric for DEDS subject to linear invariants
Milos GligoricGligoric, Milos University of Texas at AustinUnited States Incremental Analysis of Evolving Alloy Models
Giacomo GoviGovi, Giacomo VyPR2: A Framework for Runtime Verification of Python Web Services
Radu GrosuGrosu, Radu Vienna University of TechnologyAustria Case Study Chair in Program Committee within the TACAS-track
Orna GrumbergGrumberg, Orna Technion – Israel Institute of TechnologyIsrael Committee Member in Program Committee within the TACAS-track
Aarti GuptaGupta, Aarti Princeton University ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions
Rahul GuptaGupta, Rahul WAPS: Weighted and Projected Sampling
H Christopher HahnHahn, Christopher Constraint-based Monitoring of Hyperproperties
Ernst Moritz HahnHahn, Ernst Moritz Queen's University BelfastUnited Kingdom Omega-Regular Objectives in Model-Free Reinforcement Learning AE co-chair in Artifact Evaluation Committee within the TACAS-track
Arnd HartmannsHartmanns, Arnd University of TwenteNetherlands The Quantitative Verification Benchmark Set
Ichiro HasuoHasuo, Ichiro National Institute of InformaticsJapan Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States Committee Member in Program Committee within the TACAS-track
Matthias HeizmannHeizmann, Matthias University of FreiburgGermany Semantic Fault Localization and Suspiciousness Ranking
Ludovic HenrioHenrio, Ludovic CNRSFrance On Reachability in Parameterized Phaser Programs
Ben HermannHermann, Ben University of PaderbornGermany PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
Holger HermannsHermanns, Holger Saarland UniversityGermany Session Chair of Symbolic Verification (part of TACAS) Committee Member in Program Committee within the TACAS-track Committee Member in Steering Committee within the TACAS-track
Marijn HeuleHeule, Marijn The University of Texas at AustinUnited States Encoding Redundancy for Satisfaction-Driven Clause Learning
Falk HowarHowar, Falk Technical University DortmundGermany Committee Member in Program Committee within the TACAS-track
Bo-Yuan HuangHuang, Bo-Yuan Princeton University, USAUnited States ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Session Chair of Concurrent and Distributed Systems (part of TACAS) Committee Member in Program Committee within the TACAS-track
Antti HyvärinenHyvärinen, Antti Decomposing Farkas Interpolants
I Radu IosifIosif, Radu VERIMAG, CNRS, Université Grenoble-AlpesFrance Checking Deadlock-Freedom of Parametric Component-Based Systems Committee Member in Program Committee within the TACAS-track
J Philipp J. MeyerJ. Meyer, Philipp Computing the Expected Execution Time of Probabilistic Workflow Nets
Jeroen J.A. KeirenJ.A. Keiren, Jeroen The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Joxan JaffarJaffar, Joxan National University of SingaporeSingapore Committee Member in Program Committee within the TACAS-track
Nils JansenJansen, Nils RWTH Aachen University Shepherding Hordes of Markov Chains
Chuan JiangJiang, Chuan Edge-Specified Reduction Binary Decision Diagrams
Sebastian JungesJunges, Sebastian RWTH Aachen University, Germany Shepherding Hordes of Markov Chains
K Jens KatelaanKatelaan, Jens Effective Entailment Checking for Separation Logic with Inductive Definitions
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Shepherding Hordes of Markov Chains COMPASS 3.0
Mahmoud KhaledKhaled, Mahmoud TU MunichGermany Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States Incremental Analysis of Evolving Alloy Models
Stefan KieferKiefer, Stefan University of OxfordUnited Kingdom Committee Member in Program Committee within the TACAS-track
Benjamin KieslKiesl, Benjamin CISPA Helmholtz Center for Information SecurityGermany Encoding Redundancy for Satisfaction-Driven Clause Learning
Eric KimKim, Eric Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach
Michaela KlauckKlauck, Michaela Saarland Informatics Campus, Saarland UniversityGermany The Quantitative Verification Benchmark Set
Jan KofroňKofroň, Jan Charles UniversityCzechia Decomposing Farkas Interpolants
Igor KonnovKonnov, Igor Inria NancyFrance Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
Fabrice KordonKordon, Fabrice Sorbonne University — LIP6 Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework
Nikolai KosmatovKosmatov, Nikolai CEA ListFrance MetAcsl: Specification and Verification of High-Level Properties
Jan KretinskyKretinsky, Jan Technical University of MunichGermany Committee Member in Program Committee within the TACAS-track
Satoshi KuraKura, Satoshi Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments
L Salvatore La TorreLa Torre, Salvatore Università degli Studi di SalernoItaly Committee Member in Program Committee within the TACAS-track
Kim LarsenLarsen, Kim Aalborg UniversityDenmark Session Chair of Hybrid and Stochastic Systems (part of TACAS) Abstract Dependency Graphs and Their Application to Model Checking Committee Member in Program Committee within the TACAS-track Committee Member in Steering Committee within the TACAS-track
Diego LatellaLatella, Diego VoxLogicA: a Spatial Model Checker for Declarative Image Analysis
Maurice LaveauxLaveaux, Maurice The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Ludovic Le FriouxLe Frioux, Ludovic Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework
Pascale Le GallLe Gall, Pascale MetAcsl: Specification and Verification of High-Level Properties
Insup LeeLee, Insup LCV: A Verification Tool for Linear Controller Software
Ondřej LengálLengál, Ondřej Brno University of Technology Czechia Session Chair of Monitoring and Runtime Verification (part of TACAS) AE co-chair in Artifact Evaluation Committee within the TACAS-track
Vincent LeroyLeroy, Vincent University of Grenoble - CNRS Debugging of Behavioural Models with CLEAR
Yong LiLi, Yong Institute of Software, Chinese Academy of SciencesChina ROLL 1.0: $\omega$-Regular Language Learning Library
Si LiuLiu, Si Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
M Rupak MajumdarMajumdar, Rupak MPI-SWS, Germany Environmentally-friendly GR(1) Synthesis
Sharad MalikMalik, Sharad Princeton University ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions
Mieke MassinkMassink, Mieke CNR-ISTI Pisa, Italy VoxLogicA: a Spatial Model Checker for Declarative Image Analysis
Christoph MathejaMatheja, Christoph RWTH Aachen UniversityGermany Effective Entailment Checking for Separation Logic with Inductive Definitions
Annabelle McIverMcIver, Annabelle Macquarie UniversityAustralia Committee Member in Program Committee within the TACAS-track
Kuldeep S. MeelMeel, Kuldeep S. National University of SingaporeSingapore WAPS: Weighted and Projected Sampling
Jeroen MeijerMeijer, Jeroen Multi-Core On-The-Fly Saturation
José MeseguerMeseguer, José Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Florian MessnerMessner, Florian nonreach – A Tool for Nonreachability Analysis
Roland MeyerMeyer, Roland Technical University of BraunschweigGermany Session Chair of Synthesis (part of TACAS) Committee Member in Program Committee within the TACAS-track
Marius MikucionisMikucionis, Marius Aalborg UniversityDenmark Session Chair of Tool Demos (part of TACAS) Tools Chair in Program Committee within the TACAS-track
Andrew MinerMiner, Andrew Edge-Specified Reduction Binary Decision Diagrams iRank: a variable order metric for DEDS subject to linear invariants
Sebastian A. MoedersheimMoedersheim, Sebastian A. Technical University of DenmarkDenmark Committee Member in Program Committee within the TACAS-track
Peter MüllerMüller, Peter ETH ZurichSwitzerland The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations
N Thomas NeeleNeele, Thomas The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Uwe NestmannNestmann, Uwe Computing Coupled Similarity
Thomas NollNoll, Thomas RWTH Aachen University COMPASS 3.0
Muhammad Numair MansurNumair Mansur, Muhammad Max Planck Institute for Software Systems (MPI-SWS)Germany Semantic Fault Localization and Suspiciousness Ranking
O Philip OfftermattOfftermatt, Philip Computing the Expected Execution Time of Probabilistic Workflow Nets
Muhammad OsamaOsama, Muhammad Eindhoven University of TechnologyNetherlands Parallel SAT Simplification on GPU Architectures
P Erik P. de VinkP. de Vink, Erik The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Miroslav PajicPajic, Miroslav Duke UniversityUnited States LCV: A Verification Tool for Linear Controller Software
Junkil ParkPark, Junkil University of PennsylvaniaUnited States LCV: A Verification Tool for Linear Controller Software
David ParkerParker, David University of BirminghamUnited Kingdom The Quantitative Verification Benchmark Set Committee Member in Program Committee within the TACAS-track
Samuel PastvaPastva, Samuel Digital Bifurcation Analysis of TCP Dynamics
Zebo PengPeng, Zebo On Reachability in Parameterized Phaser Programs
Mateo PerezPerez, Mateo Omega-Regular Objectives in Model-Free Reinforcement Learning
Laure PetrucciPetrucci, Laure Université Paris 13France Minimal-Time Synthesis for Parametric Timed Automata
Andreas PfeifferPfeiffer, Andreas VyPR2: A Framework for Runtime Verification of Python Web Services
Nir PitermanPiterman, Nir Environmentally-friendly GR(1) Synthesis
André PlatzerPlatzer, André Carnegie Mellon UniversityUnited States Verifiably Safe Off-Model Reinforcement Learning
Virgile PrevostoPrevosto, Virgile CEA Tech ListFrance MetAcsl: Specification and Verification of High-Level Properties
Luciano PutruelePutruele, Luciano Measuring Masking Fault-Tolerance
Corina S. PăsăreanuPăsăreanu, Corina S. NASA Ames Research CenterUnited States Committee Member in Program Committee within the TACAS-track
Q Tim QuatmannQuatmann, Tim RWTH Aachen UniversityGermany The Quantitative Verification Benchmark Set
R Giles RegerReger, Giles University of ManchesterUnited Kingdom VyPR2: A Framework for Runtime Verification of Python Web Services
Ahmed RezineRezine, Ahmed On Reachability in Parameterized Phaser Programs
Virgile RoblesRobles, Virgile MetAcsl: Specification and Verification of High-Level Properties
Subhajit RoyRoy, Subhajit IIT Kanpur, India WAPS: Weighted and Projected Sampling
Enno RuijtersRuijters, Enno The Quantitative Verification Benchmark Set
S Olli SaarikiviSaarikivi, Olli Symbolic Regex Matcher
David SafranekSafranek, David Masaryk UniversityCzechia Digital Bifurcation Analysis of TCP Dynamics
Gwen SalaünSalaün, Gwen University of Grenoble Alpes Debugging of Behavioural Models with CLEAR
Florian SchandaSchanda, Florian ZenuityGermany Building Better Bit-Blasting for Floating-Point Problems
Sven ScheweSchewe, Sven University of Liverpool Omega-Regular Objectives in Model-Free Reinforcement Learning
Christian SchillingSchilling, Christian IST AustriaAustria Semantic Fault Localization and Suspiciousness Ranking
Anne-Kathrin SchmuckSchmuck, Anne-Kathrin Environmentally-friendly GR(1) Synthesis
Philipp Dominik SchubertSchubert, Philipp Dominik Heinz Nixdorf Institut, Paderborn UniversityGermany PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
Stephan SchulzSchulz, Stephan Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
Sanjit SeshiaSeshia, Sanjit University of California, BerkeleyUnited States Committee Member in Program Committee within the TACAS-track
Shubham SharmaSharma, Shubham WAPS: Weighted and Projected Sampling
Natasha SharyginaSharygina, Natasha USI Lugano, SwitzerlandSwitzerland Decomposing Farkas Interpolants
Joseph SifakisSifakis, Joseph Verimag/CNRSFrance Checking Deadlock-Freedom of Parametric Component-Based Systems
Oleg SokolskySokolsky, Oleg University of Pennsylvania, USA LCV: A Verification Tool for Linear Controller Software
Fabio SomenziSomenzi, Fabio Omega-Regular Objectives in Model-Free Reinforcement Learning
Fu SongSong, Fu Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks
Julien SopenaSopena, Julien Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework
Jiri SrbaSrba, Jiri Abstract Dependency Graphs and Their Application to Model Checking
Parasara Sridhar DuggiralaSridhar Duggirala, Parasara University of ConnecticutUnited States Committee Member in Program Committee within the TACAS-track
Bernhard SteffenSteffen, Bernhard Technical University DortmundGermany Session Chair of Machine Learning (part of TACAS) Committee Member in Program Committee within the TACAS-track Chair in Steering Committee within the TACAS-track
Marvin StengerStenger, Marvin Constraint-based Monitoring of Hyperproperties
Christian SternagelSternagel, Christian University of Innsbruck, AustriaAustria nonreach – A Tool for Nonreachability Analysis Reachability Analysis for Termination and Confluence of Rewriting
Ilina StoilkovskaStoilkovska, Ilina Vienna University of Technology Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
Jan StrejcekStrejcek, Jan Masaryk UniversityCzechia Committee Member in Program Committee within the TACAS-track
Zhendong SuSu, Zhendong ETH ZurichSwitzerland Committee Member in Program Committee within the TACAS-track
Alexander J. SummersSummers, Alexander J. ETH Zurich The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations
Meng SunSun, Meng Peking UniversityChina Committee Member in Program Committee within the TACAS-track
Xuechao SunSun, Xuechao ROLL 1.0: $\omega$-Regular Language Learning Library
Youcheng SunSun, Youcheng University of Oxford Building Better Bit-Blasting for Floating-Point Problems
Andrew SuttonSutton, Andrew On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition
T Michael TautschnigTautschnig, Michael Amazon Web ServicesUnited Kingdom Committee Member in Program Committee within the TACAS-track
Leander TentrupTentrup, Leander Saarland University Constraint-based Monitoring of Hyperproperties
Stefano TonettaTonetta, Stefano Fondazione Bruno Kessler, Italy COMPASS 3.0
Ashutosh TrivediTrivedi, Ashutosh Omega-Regular Objectives in Model-Free Reinforcement Learning
Andrea TurriniTurrini, Andrea State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences ROLL 1.0: $\omega$-Regular Language Learning Library
U Natsuki UrabeUrabe, Natsuki Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments
V Jaco van de Polvan de Pol, Jaco Aarhus UniversityDenmark Minimal-Time Synthesis for Parametric Timed Automata Multi-Core On-The-Fly Saturation
Tom van Dijkvan Dijk, Tom University of TwenteNetherlands Multi-Core On-The-Fly Saturation
Margus VeanesVeanes, Margus Microsoft Research Symbolic Regex Matcher
Tomáš VojnarVojnar, Tomáš Brno University of TechnologyCzechia Co-chair in Program Committee within the TACAS-track
Petar VukmirovićVukmirović, Petar Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
W Tiki WanWan, Tiki Symbolic Regex Matcher
Kaiyuan WangWang, Kaiyuan Google, Inc.United States Incremental Analysis of Evolving Alloy Models
Qi WangWang, Qi Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Wenxi WangWang, Wenxi The University of Texas at Austin, Texas, USAUnited States Incremental Analysis of Evolving Alloy Models
Wieger WesselinkWesselink, Wieger The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Josef WidderWidder, Josef TU WienAustria Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
Thomas WiesWies, Thomas New York UniversityUnited States Committee Member in Program Committee within the TACAS-track
Anton WijsWijs, Anton Eindhoven University of TechnologyNetherlands Parallel SAT Simplification on GPU Architectures The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Dominik WojtczakWojtczak, Dominik Omega-Regular Objectives in Model-Free Reinforcement Learning
Valentin WüstholzWüstholz, Valentin ConsenSys DiligenceGermany Semantic Fault Localization and Suspiciousness Ranking
X Hongyi XieXie, Hongyi Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks
Eric XuXu, Eric Microsoft, USA Symbolic Regex Matcher
Junnan XuXu, Junnan ROLL 1.0: $\omega$-Regular Language Learning Library
Y Akihisa YamadaYamada, Akihisa Reachability Analysis for Termination and Confluence of Rewriting
Z Majid ZamaniZamani, Majid Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach
Hongce ZhangZhang, Hongce ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions
Jun ZhangZhang, Jun Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks
Lijun ZhangZhang, Lijun Chinese Academy of SciencesChina Session Chair of SAT and SMT I (part of TACAS) Co-chair in Program Committee within the TACAS-track
Min ZhangZhang, Min East China Normal UniversityChina Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Florian ZulegerZuleger, Florian Vienna University of TechnologyAustria Session Chair of Model Checking (part of TACAS) Effective Entailment Checking for Separation Logic with Inductive Definitions Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking Committee Member in Program Committee within the TACAS-track
Ö Peter ÖlveczkyÖlveczky, Peter Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude