Travelled to:1 × Austria
1 × Italy
1 × Portugal
1 × Spain
2 × France
3 × United Kingdom
Collaborated with:∅ D.Bošnački L.Engelen R.Mateescu S.d.Putter T.Neele J.Katoen M.v.d.Brand Y.Dajsuren C.M.Gerpheide A.Serebrenik B.Vasilescu D.Zhang C.Huizing R.Kuiper S.Blom J.R.Calame B.Lisser S.Orzan J.Pang J.v.d.Pol M.T.Dashti
Talks about:check (4) verifi (3) state (3) model (3) base (3) transform (2) properti (2) strong (2) formal (2) space (2)
Person: Anton Wijs
DBLP: Wijs:Anton
Facilitated 3 volumes:
EdEdEdContributed to:
2015
2015
2014
2014
20142014201320092007
201620162017Wrote 12 papers:
- GaM-2015-Wijs #confluence #detection #lts
- Confluence Detection for Transformations of Labelled Transition Systems (AW), pp. 1–15.
- TACAS-2015-Wijs #branch #gpu #similarity
- GPU Accelerated Strong and Branching Bisimilarity Checking (AW), pp. 368–383.
- AMT-2014-ZhangBBEHKW #code generation #concurrent #java #state machine #towards
- Towards Verified Java Code Generation from Concurrent State Machines (DZ, DB, MvdB, LE, CH, RK, AW), pp. 64–69.
- CAV-2014-WijsKB #component #composition #graph
- GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components (AW, JPK, DB), pp. 310–326.
- QoSA-2014-DajsurenGSWVB #architecture #formal method
- Formalizing correspondence rules for automotive architecture views (YD, CMG, AS, AW, BV, MvdB), pp. 129–138.
- TACAS-2014-WijsB #manycore #named #on the fly #using
- GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs (AW, DB), pp. 233–247.
- TACAS-2013-WijsE #performance
- Efficient Property Preservation Checking of Model Refinements (AW, LE), pp. 565–579.
- TACAS-2009-MateescuW #adaptation
- Hierarchical Adaptive State Space Caching Based on Level Sampling (RM, AW), pp. 215–229.
- TACAS-2007-BlomCLOPPDW #analysis #case study #distributed
- Distributed Analysis with µCRL: A Compendium of Case Studies (SB, JRC, BL, SO, JP, JvdP, MTD, AW), pp. 683–689.
- FASE-2016-PutterW #automaton #correctness #lts #verification
- Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique (SdP, AW), pp. 383–400.
- CAV-2016-Wijs #linear #model checking
- BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs (AW), pp. 472–493.
- CAV-2017-WijsN #composition #incremental #model checking
- Compositional Model Checking with Incremental Counter-Example Construction (AW, TN), pp. 570–590.