BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Wijs:Anton

Facilitated 3 volumes:


Contributed to:

GaM 20152015
TACAS 20152015
AMT 20142014
CAV 20142014
QoSA 20142014
TACAS 20142014
TACAS 20132013
TACAS 20092009
TACAS 20072007
FASE 20162016
CAV (2) 20162016
CAV (1) 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.