Frank P. M. Stappers

Learn More
The analysis of complex distributed systems requires dedicated software tools. The mCRL2 language and toolset have been developed to support such analysis. We highlight changes and improvements made to the toolset in recent years. On the one hand, these affect the scope of application, which has been broadened with extended support for data structures like(More)
This paper describes the development and characterization of starch microspheres for being used as drug delivery carriers in tissue engineering applications. The developed starch microspheres can be further loaded with specific growth factors and immobilized in scaffolds, or administrated separately with scaffolds. Furthermore and due to the processing(More)
This paper describes an approach to transform a Structural Operational Semantics given as a set of deduction rules to a Linear Process Specification. The transformation is provided for deduction rules in De Simone format and extended to incorporate predicates. The Linear Process Specifications are specified in syntax of the language mCRL2, that, with help(More)
This paper describes the process of formalizing an existing, industrial domain specific language (dsl) that is based on the task-resource paradigm. Initially, the semantics of this dsl is defined informally and implicitly through an interpreter. The formalization starts by projecting the existing concrete syntax onto a formal abstract syntax that defines(More)
Introduction mCRL2 is a language with a toolset [3] for formal analysis of behaviour of concurrent systems. It is developed in an academic research group to support process algebra based verification in an academic as well as an industrial setting. This paper provides an insight into the experiences and practises in developing and maintaining the mCRL2(More)
The mCRL2 language is a formal specification language that is used to specify, model, analyze and verify behavioral properties for distributed systems and protocols. The semantics of the mCRL2 language is defined formally using Structural Operational Semantics (SOS). In [32] we propose an approach that takes the SOS of a formal language, along with a(More)
Specifying concurrent systems can be done using a variety of languages. These languages have different features and therefore are not necessarily equally suitable for capturing concepts from reality with respect to both expressivity and ease-of-use. This paper addresses these aspects for the specification language mCRL2 by considering the 2 × 2 Switch case(More)
The TWINS project addresses industrial hardware-software co-design product development. In search for a multidisciplinary modeling solution, knowledge is required about the current practice of multidisciplinary development in industry. By analyzing user requirements, use cases, and applied tools and techniques of six industrial partners, this paper presents(More)
The TWINS project addresses co-design problems of product development consisting of integrated hard-and software development that within industry. In search for a multidisciplinary modelling solution, knowledge is required about current practice of multidisciplinary development within industry. By analysing user-requirements, use-cases, and the applied(More)
  • 1