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 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, including predicates. The Linear Process Specifications are specified in the syntax of the mCRL2 language, that, with help of the(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 the process of formalizing an existing, industrial domain specific language (dsl) that is based on the taskresource 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 the(More)
History. Experience in applying the μCRL toolset [1] to real world systems uncovered major shortcomings. These shortcomings led to the development of the richer modelling language mCRL2, with its associated toolset, in 2002. A motivation for the development of mCRL2 is described in [2]. In an attempt to keep development effort to a minimum, code from μCRL(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 hardand 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 tools(More)
  • 1