( en | de | ru )

 

Disambiguation of "Groote, Jan Friso"

Author of the publication

copydeleteadd this publication to your clipboard
Assessing the Quality of Tabular State Machines through Metrics.

, , and . QRS, page 426-433. IEEE, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jan-Friso Evers-Senne

Jan-Friso Evers-Senne

Jean-Cédric Frison

Harald Groote

Everhard Groote

 

Other publications of authors with the same name

Lock-Free Parallel Garbage Collection., , and . ISPA, volume 3758 of Lecture Notes in Computer Science, page 263-274. Springer, (2005)Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness., and . CoRR, (2015)Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract)., and . ICALP, volume 372 of Lecture Notes in Computer Science, page 423-438. Springer, (1989)A Checker for Modal Formulae for Processes with Data., and . FMCO, volume 3188 of Lecture Notes in Computer Science, page 223-239. Springer, (2003)A symmetric protocol to establish service level agreements., and . Log. Methods Comput. Sci., (2020)A Formally Verified Fail-Operational Safety Concept for Automated Driving., , , and . CoRR, (2020)Transformation of BPMN Models for Behaviour Analysis., , , , , and . MSVVEIS, page 126-137. INSTICC PRESS, (2007)A linear translation from CTL* to the first-order modal μ -calculus., , and . Theor. Comput. Sci., 412 (28): 3129-3139 (2011)Formal Methods for Industrial Critical Systems., and . Int. J. Softw. Tools Technol. Transf., 26 (2): 127-129 (April 2024)Formal Verification of a Leader Election Protocol in Process Algebra., , and . Theor. Comput. Sci., 177 (2): 459-486 (1997)