BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Finland
1 × Poland
1 × Portugal
1 × USA
2 × France
2 × Spain
3 × Italy
Collaborated with:
A.Osaiweran J.H.Wesselius F.W.Vaandrager M.Keinänen F.v.Ham R.N.Bol J.Perrenet E.Kaasenbrood M.R.Mousavi M.A.Reniers T.Fransen B.J.v.Rijnsoever S.Blom W.Fokkink I.v.Langevelde B.Lisser J.v.d.Pol S.Cranen J.J.A.Keiren F.P.M.Stappers E.P.d.Vink W.Wesselink T.A.C.Willemse
Talks about:
control (4) method (4) formal (4) develop (3) congruenc (2) algorithm (2) toolset (2) bisimul (2) system (2) specif (2)

Person: Jan Friso Groote

DBLP DBLP: Groote:Jan_Friso

Facilitated 1 volumes:

TLCA 1993Ed

Contributed to:

TACAS 20132013
FM 20122012
ICST 20122012
SAC 20122012
ICSM 20112011
ITiCSE 20052005
LICS 20042004
TACAS 20042004
TACAS 20032003
CAV 20012001
ICALP 19911991
ICALP 19901990
ICALP 19891989

Wrote 13 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.
FM-2012-OsaiweranFGR #case study #component #design #experience #formal method #using
Experience Report on Designing and Developing Control Components Using Formal Methods (AO, TF, JFG, BJvR), pp. 341–355.
ICST-2012-GrooteOW #formal method #using
Analyzing a Controller of a Power Distribution Unit Using Formal Methods (JFG, AO, JHW), pp. 420–428.
SAC-2012-GrooteOW #case study #experience #formal method
Experience report on developing the Front-end client unit under the control of formal methods (JFG, AO, JHW), pp. 1183–1190.
ICSM-2011-GrooteOW #development #formal method #industrial
Analyzing the effects of formal methods on the development of industrial control software (JFG, AO, JHW), pp. 467–472.
ITiCSE-2005-PerrenetGK #abstraction #algorithm #comprehension #concept #student
Exploring students’ understanding of the concept of algorithm: levels of abstraction (JP, JFG, EK), pp. 64–68.
LICS-2004-MousaviRG #congruence
Congruence for SOS with Data (MRM, MAR, JFG), pp. 303–312.
TACAS-2004-GrooteK #equation #fixpoint
Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points (JFG, MK), pp. 436–450.
TACAS-2003-GrooteH #scalability #visualisation
Large State Space Visualization (JFG, FvH), pp. 585–590.
CAV-2001-BlomFGLLP #algebra #named #specification #tool support
µCRL: A Toolset for Analysing Algebraic Specifications (SB, WF, JFG, IvL, BL, JvdP), pp. 250–254.
ICALP-1991-BolG #specification
The Meaning of Negative Premises in Transition System Specifications (RNB, JFG), pp. 481–494.
ICALP-1990-GrooteV #algorithm #bisimulation #branch #equivalence #performance
An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence (JFG, FWV), pp. 626–638.
ICALP-1989-GrooteV #bisimulation #congruence #semantics
Structural Operational Semantics and Bisimulation as a Congruence (JFG, FWV), pp. 423–438.

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.