Prof.dr. J.C. van de Pol

Pagina-navigatie:

filter results

Type

Date

Accessibility

Institution

91-100 out of 226 results by:date

Save search results

An abstract interpretation toolkit for μCRL (2007)

Authors: Valero Espada, Miguel; Pol, van de Jaco
In: Formal Methods in System Design, 30, 249 - 273. Springer. ISSN 0925-9856.

Abstract:
This paper describes a toolkit that assists in the task of generating abstract approximations of process algebraic specifications written in the language μCRL. Abstractions are represented by Modal Labelled Transition Systems, which are mixed transition systems with may and must modalities. The appr
Preface (2007)

Authors: Brim, Lubos; Haverkort, Boudewijn R.; Leucker, Martin; Pol, van de Jaco; Brim, Lubos; Haverkort, Boudewijn R.; Leucker, Martin; Pol, van de Jaco

Abstract:
Preface for the workshops FMICS 2006 (Formal Methods in Industrial Critical Systems) and PDMC 2006 (Parallel and Distributed Methods in verifiCation). Affiliated to CONCUR 2006.
Distributed Analysis with $\mu$CRL: A Compendium of Case Studies (2007)

Authors: Blom, S.C.C.; Calamé, J.R.; Lisser, B.; Orzan, S. M.; Pang, J.; Pol, J.C. van de; Dashti, M.T.; Wijs, A.J.; Grumberg, O.; Huth, M.
Equivalence checking for infinite systems using parameterized boolean equation systems (2007)Open access

Authors: Chen, T (Taolue); Ploeger, SCW (Bas); Pol, van de JC (Jaco); Willemse, TAC (Tim)
Generalizing DPLL and satisfiability for equalities (2007)

Authors: Badban, B (Bahareh); Pol, van de JC (Jaco); Tveretina, O (Olga); Zantema, H (Hans)
In: Information and Computation, 205(8), 1188. ISSN 0890-5401.
An abstract interpretation toolkit for µCRL (2007)

Authors: Valero Espada, MA (Miguel); Pol, van de JC (Jaco)
In: Formal Methods in System Design, 30(3), 249. ISSN 0925-9856.
Distributed analysis with µCRL : a compendium of case studies (2007)

Authors: Blom, SCC (Stefan); Calamé, JR; Lisser, B (Bert); Orzan, SM (Simona); Pang, J (Jun); Pol, van de JC (Jaco); Torabi Dashti, M; Wijs, AJ (Anton)
Bug hunting with false negatives (2007)Open access

Authors: Calamé, JR; Ioustinova, N (Natalia); Pol, van de JC (Jaco); Sidorova, N (Natalia)
Equivalence checking for infinite systems using parameterized Boolean equation systems (2007)Open access

Authors: Chen, T (Taolue); Ploeger, SCW (Bas); Pol, van de JC (Jaco); Willemse, TAC (Tim)
Distributed Analysis with mCRL: A Compendium of Case Studies (2007)

Authors: Blom, SCC (Stefan); Calamé, JR; Lisser, B (Bert); Orzan, SM (Simona); Pang, J (Jun); Pol, van de JC (Jaco); Dashti, MT; Wijs, AJ (Anton)

Authors:	Valero Espada, Miguel; Pol, van de Jaco
In:	Formal Methods in System Design, 30, 249 - 273. Springer. ISSN 0925-9856.

Authors:	Brim, Lubos; Haverkort, Boudewijn R.; Leucker, Martin; Pol, van de Jaco; Brim, Lubos; Haverkort, Boudewijn R.; Leucker, Martin; Pol, van de Jaco

Authors:	Blom, S.C.C.; Calamé, J.R.; Lisser, B.; Orzan, S. M.; Pang, J.; Pol, J.C. van de; Dashti, M.T.; Wijs, A.J.; Grumberg, O.; Huth, M.

Authors:	Chen, T (Taolue); Ploeger, SCW (Bas); Pol, van de JC (Jaco); Willemse, TAC (Tim)

Authors:	Badban, B (Bahareh); Pol, van de JC (Jaco); Tveretina, O (Olga); Zantema, H (Hans)
In:	Information and Computation, 205(8), 1188. ISSN 0890-5401.

Authors:	Valero Espada, MA (Miguel); Pol, van de JC (Jaco)
In:	Formal Methods in System Design, 30(3), 249. ISSN 0925-9856.

Authors:	Blom, SCC (Stefan); Calamé, JR; Lisser, B (Bert); Orzan, SM (Simona); Pang, J (Jun); Pol, van de JC (Jaco); Torabi Dashti, M; Wijs, AJ (Anton)

Authors:	Calamé, JR; Ioustinova, N (Natalia); Pol, van de JC (Jaco); Sidorova, N (Natalia)

Authors:	Chen, T (Taolue); Ploeger, SCW (Bas); Pol, van de JC (Jaco); Willemse, TAC (Tim)

Authors:	Blom, SCC (Stefan); Calamé, JR; Lisser, B (Bert); Orzan, SM (Simona); Pang, J (Jun); Pol, van de JC (Jaco); Dashti, MT; Wijs, AJ (Anton)

Pages:

<< < 6 7 8 9 10 11 12 13 14 15 > >>

Prof.dr. J.C. van de Pol

91-100 out of 226 results by:date

Abstract:

Abstract: