Get started
Author

S.F.M. van Vlijmen

Observed names: S. F. M. Van Vlijmen, S. F. M. Vlijmen, Sebastiaan van Vlijmen, Vlijmen, S.F.M. van, Vlijmen, van, S.F.M., van B. Vlijmen, van Sfm Bas Vlijmen, van Vlijmen, S. F. M., van Vlijmen, S.F.M.
OpenAlex ID: A5080242473
The safety guaranteeing system at station Hoorn-Kersenboogerd
2002 · J.F. Groote, S.F.M. van Vlijmen, et al. · Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security (COMPASS) · 80
Lessons from Dutch IT-outsourcing success and failure
2016 · G.P.A.J. Delen, R.J. Peters, et al. · Science of Computer Programming · 42
The safety guaranteeing system at station Hoorn-Kersenboogerd
1994 · Jan Friso Groote, S.F.M. van Vlijmen, et al. · 24
Algebra of Communicating Processes
1995 · A. Ponse, C. Verhoef, et al. · Workshops in computing · 18
The Safety Guaranteeing System at Station Hoorn-Kersenboogerd (Extended Abstract )
1995 · Jan Friso Groote, S.F.M. van Vlijmen, et al. · 13
The Syntax and Semantics of mCRL
1994 · Jan Friso Groote, Alban Ponse, et al. · UvA-DARE (University of Amsterdam) · 13
Foundations for measuring IT-outsourcing success and failure
2019 · G.P.A.J. Delen, R.J. Peters, et al. · Journal of Systems and Software · 12
PDF
Outsourcing Competence
2011 · Bergstra, J. A., Delen, G. P. A. J., et al. · arXiv (Cornell University) · 12
PDF
Stratified Outsourcing Theory
2011 · Bergstra, J. A., Delen, G. P. A. J., et al. · arXiv (Cornell University) · 10
PDF
Theoretische software-engineering
1998 · J.A. Bergstra, S.F.M. van Vlijmen · UvA-DARE (University of Amsterdam) · 9
Business Mereology: Imaginative Definitions of Insourcing and Outsourcing Transformations
2010 · Bergstra, J. A., van Vlijmen, S. F. M. · arXiv (Cornell University) · 8
PDF
LARIS 1.0: LAnguage for railway interlocking specifications
2000 · Wan Fokkink, Jan Friso Groote, et al. · 6
Compact dynamisch busstation
1996 · A.S. Klusener, S.F.M. van Vlijmen, et al. · 6
Introducing Sourcements
2011 · Bergstra, J. A., Delen, G. P. A. J., et al. · arXiv (Cornell University) · 4
PDF
The algebra of recursively defined processes and the algebra of regular processes
1983 · J.A. Bergstra, Jan Willem Klop, et al. · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 4
PDF
Algebraic specification in action
1998 · van Vlijmen, S.F.M. · UvA-DARE (University of Amsterdam) · 3
Using the Tools in TRADE I: A Decision Support System for Traffic Light maintenance
1997 · S.F.M. van Vlijmen, Roelf J. Wieringa · 3
A decision support system for the maintenance of lights of traffic regulation systems
1996 · F.A. van der Duyn Schouten, A.S. Klusener, et al. · Utrecht University Repository (Utrecht University) · 3
Chapter 5: The Vital Processor Interlocking
1999 · S.F.M. van Vlijmen, J.F. Groote, et al. · Electronic Notes in Theoretical Computer Science · 1
Spoorweglogica via EURIS
1997 · J.A. Bergstra, W.J. Fokkink, et al. · UvA-DARE (University of Amsterdam) · 1
A Modal Logic for μCRL
1994 · Jan Friso Groote, S.F.M. van Vlijmen · Utrecht University Repository (Utrecht University) · 1
Leverage project UvA/IvI
2004 · S.F.M. van Vlijmen, F.E.H.M. Backerra
HEFBOOM-project UvA/IvI
2004 · S.F.M. van Vlijmen, F.E.H.M. Backerra
Chapter 2: Road Traffic Regulation
1999 · S.F.M. van Vlijmen, A. van Waveren · Electronic Notes in Theoretical Computer Science
Chapter 6: The Compact Dynamic Bus Station
1999 · S.F.M. van Vlijmen, A.S. Klusener, et al. · Electronic Notes in Theoretical Computer Science
Works count: 55
Citation count: 273
H-index: 9
I10-index: 9
Year
Topic
Type