Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:T.A.C.Willemse S.Orzan S.Cranen J.F.Groote J.J.A.Keiren F.P.M.Stappers E.P.d.Vink
Talks about:parameteris (1) techniqu (1) overview (1) toolset (1) boolean (1) analysi (1) system (1) static (1) recent (1) advanc (1)
Person: Wieger Wesselink
DBLP: Wesselink:Wieger
Contributed to:
20132009Wrote 2 papers:
- TACAS-2013-CranenGKSVWW #overview #tool support
- An Overview of the mCRL2 Toolset and Its Recent Advances (SC, JFG, JJAK, FPMS, EPdV, WW, TACW), pp. 199–213.
- TACAS-2009-OrzanWW #equation #static analysis
- Static Analysis Techniques for Parameterised Boolean Equation Systems (SO, WW, TACW), pp. 230–245.