| The Formal Description Technique LOTOS: Results of the ESPRIT/SEDOS Project PHJ Van Eijk, CA Vissers, M Diaz (No Title), 1989 | 315 | 1989 |
| 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 | 220 | 1991 |
| 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 | 211 | 1988 |
| A business process design language H Eertink, W Janssen, PO Luttighuis, W Teeuw, C Vissers International Symposium on Formal Methods, 76-95, 1999 | 124 | 1999 |
| The importance of the service concept in the design of data communications protocols. CA Vissers, L Logrippo PSTV, 3-17, 1985 | 105 | 1985 |
| LOTOSphere: software development with LOTOS T Bolognesi, J Van de Lagemaat, C Vissers Springer Science & Business Media, 2012 | 96 | 2012 |
| Reference model for manufacturing planning and control systems FP Biemans, CA Vissers Journal of Manufacturing Systems 8 (1), 35-46, 1989 | 89 | 1989 |
| 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 | 61 | 1997 |
| Formal description techniques CA Vissers, RL Tenney, GV Bochmann Proceedings of the IEEE 71 (12), 1356-1364, 1983 | 51 | 1983 |
| 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 | 37 | 1995 |
| A systems theoretic view of computer integrated manufacturing FPM BTEMANS, CA Vissers THE INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH 29 (5), 947-966, 1991 | 33 | 1991 |
| Protocol design and implementation using formal methods M van Sinderen, LF Pires, CA Vissers The Computer Journal 35 (5), 478-491, 1992 | 32 | 1992 |
| Sedos software environment for the design of open distributed systems M Diaz, C Vissers, JP Ansart The formal Description Technique LOTOS, 1989 | 32 | 1989 |
| 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 | 29 | 1990 |
| What makes industries believe in formal methods CA Vissers, M van Sinderen, LF Pires PSTV 13, 3-26, 1993 | 27 | 1993 |
| 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 | 27 | 1975 |
| Formal specification in OSI CA Vissers, G Scollo Networking in Open Systems: International Seminar Oberlech, Austria, August …, 1987 | 24 | 1987 |
| The architectural design of distributed systems CA Vissers, LF Pires, DA Quartel, M van Sinderen Lecture Notes, University of Twente, Enschede, The Netherlands, 2002 | 23 | 2002 |
| SEDOS: Designing open distributed systems M Diaz, C Vissers IEEE Software 6 (6), 24-33, 1989 | 22 | 1989 |
| Lotos in Practice. G Scollo, CA Vissers, A Di Stefano IFIP Congress, 869-876, 1986 | 19 | 1986 |
