Frank Stappers

Frank Stappers

The Randstad, Netherlands
863 followers 500+ connections

About

E-commerce B2C, Software Architecture,
Software development, System Integration, Magento, PIM, Applying Formal Model Based Verification

Articles by Frank

Activity

Join now to see all activity

Experience

  • Winkelstraat.nl & Boutique24.com Graphic
  • -

  • -

    Eindhoven Area, Netherlands

  • -

    Eindhoven Area, Netherlands

  • -

    Lille Area, France

  • -

    Eindhoven Area, Netherlands

  • -

    Eindhoven Area, Netherlands

  • -

  • -

  • -

Education

  •  Graphic

    -

  • -

Publications

  • Dogfooding the structural operational semantics of mCRL2

    Eindhoven University of Technology

    Computer Science Report, No. 11-18, pp. 87

    Other authors
  • Formalizing a domain specific language using SOS: An industrial case study

    proceedings of Fourth International Conference on Software Language Engineering (SLE 2011)

    Other authors
  • Transforming SOS specifications to linear processes

    Eindhoven University of Technology

    Computer Science Report No. 11-07, pp.24

    Other authors
  • Transforming SOS specifications to linear processes

    Proceedings of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS)

    LNCS 6959, pp. 206-221

    Other authors
  • Experiences in developing the mCRL2 toolset

    Software: Practice and Experience, Wiley

Projects

Languages

  • Nederlands

    Native or bilingual proficiency

  • Engels

    Full professional proficiency

  • Duits

    Professional working proficiency

  • Frans

    Elementary proficiency

More activity by Frank

View Frank’s full profile

  • See who you know in common
  • Get introduced
  • Contact Frank directly
Join to view full profile

Other similar profiles

Explore collaborative articles

We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.

Explore More

Others named Frank Stappers

Add new skills with these courses