Follow
C.A. Vissers
C.A. Vissers
Professor of Computer Science
Verified email at kpnplanet.nl - Homepage
Title
Cited by
Cited by
Year
The Formal Description Technique LOTOS: Results of the ESPRIT/SEDOS Project
PHJ Van Eijk, CA Vissers, M Diaz
(No Title), 1989
3131989
Specification styles in distributed systems design and verification
CA Vissers, G Scollo, M van Sinderen, E Brinksma
Theoretical Computer Science 89 (1), 179-206, 1991
2211991
Architecture and specification style in formal descriptions of distributed systems
CA Vissers, G Scollo, MJ van Sinderen
IFIP WG6. 1 Eighth International Symposium on Protocol Specification …, 1988
2141988
A business process design language
H Eertink, W Janssen, PO Luttighuis, W Teeuw, C Vissers
International Symposium on Formal Methods, 76-95, 1999
1231999
The importance of the service concept in the design of data communications protocols.
CA Vissers, L Logrippo
PSTV, 3-17, 1985
1041985
LOTOSphere: software development with LOTOS
T Bolognesi, J Van de Lagemaat, C Vissers
Springer Science & Business Media, 2012
982012
Reference model for manufacturing planning and control systems
FP Biemans, CA Vissers
Journal of Manufacturing Systems 8 (1), 35-46, 1989
861989
On the role of basic design concepts in behaviour structuring
DAC Quartel, LF Pires, MJ Van Sinderen, HM Franken, CA Vissers
Computer networks and ISDN systems 29 (4), 413-436, 1997
611997
Formal description techniques
CA Vissers, RL Tenney, GV Bochmann
Proceedings of the IEEE 71 (12), 1356-1364, 1983
511983
A design model for open distributed processing systems
M van Sinderen, LF Pires, CA Vissers, JP Katoen
Computer Networks and ISDN Systems 27 (8), 1263-1285, 1995
381995
A systems theoretic view of computer integrated manufacturing
FPM BTEMANS, CA Vissers
THE INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH 29 (5), 947-966, 1991
321991
Sedos software environment for the design of open distributed systems
M Diaz, C Vissers, JP Ansart
The formal Description Technique LOTOS, 1989
321989
Protocol design and implementation using formal methods
M van Sinderen, LF Pires, CA Vissers
The Computer Journal 35 (5), 478-491, 1992
301992
FDTs for open distributed systems, a retrospective and a prospective view
CA Vissers
Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990
301990
What makes industries believe in formal methods
CA Vissers, M van Sinderen, LF Pires
PSTV 13, 3-26, 1993
281993
Instrumentation: Insight into interfacing: Thorough and unambiguous understanding of interface systems demands sound design concepts and a precise descriptive language
DE Knoblock, DC Loughry, CA Vissers
IEEE spectrum 12 (5), 50-57, 1975
271975
The architectural design of distributed systems
CA Vissers, LF Pires, DA Quartel, M van Sinderen
Lecture Notes, University of Twente, Enschede, The Netherlands, 2002
222002
Formal specification in OSI
CA Vissers, G Scollo
Networking in Open Systems: International Seminar Oberlech, Austria, August …, 1987
221987
SEDOS: Designing open distributed systems
M Diaz, C Vissers
IEEE Software 6 (6), 24-33, 1989
211989
On the use of specification styles in the design of distributed systems
OA Vissers, G Scollo, M van Sinderen, E Brinksma
TAPSOFT'89: Proceedings of the International Joint Conference on Theory and …, 1989
181989
The system can't perform the operation now. Try again later.
Articles 1–20