Formal Methods and Tools

Filter
Conference contribution

Search results

  • 1996

    Modeling and Verifying a Bounded Retransmission Protocol

    d' Argenio, P. R., Katoen, J.-P., Tretmans, G. J. & Ruys, T. C., 18 Nov 1996, Proceedings of COST 247 Workshop on Applied Formal Methods in System Design. Maribor, Slovenia: University of Maribor, p. 114-127 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    39 Downloads (Pure)

  • On specifying real-time systems in a causality-based setting

    Katoen, J.-P., Langerak, R., Latella, D. & Brinksma, E., 1996, Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996, Proceedings. Jonsson, B. & Parrow, J. (eds.). Berlin, Heidelberg: Springer, p. 385-405 21 p. (Lecture Notes in Computer Science; vol. 1135).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    28 Citations (Scopus)
    191 Downloads (Pure)

  • Report on the standardization project “Formal methods in conformance testing”

    Hogrefe, D., Heymer, S. & Tretmans, J., 1996, Testing of Communicating Systems: IFIP TC6 9th International Workshop on Testing of Communicating Systems Darmstadt, Germany 9–11 September 1996. Baumgarten, B., Burkhardt, H.-J. & Giessler, A. (eds.). Boston, MA: Springer, p. 289-298 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    133 Downloads (Pure)

  • Stochastic simulation of event structures

    Katoen, J.-P., Brinksma, E., Latella, D. & Langerak, R., 1996, Proceedings of the Fourth Workshop on Process Algebra and Performance Modelling: Torino, 4-5 July 1996. Ribaudo, M. (ed.). CLUT, p. 21-49 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    54 Downloads (Pure)
  • 1995

    CALIBAN - Esprit Basic Research WG 6067

    Best, E., Devillers, R., Pelz, E., Rensink, A., Silva, M. & Teruel, E., 1995, Structures in Concurrency Theory. Desel, J. (ed.). Berlin: Springer, p. 2-31 30 p. (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

  • Causal Behaviours and Nets

    Katoen, J. P., De Michelis, G. (Editor) & Diaz, M. (Editor), 1995, Application and Theory of Petri Nets 1995: 16th International Conference Turin, Italy, June 26–30, 1995. Proceedings. De Michelis, G. & Diaz, M. (eds.). Berlin, Heidelberg: Springer, p. 258-278 21 p. (Lecture Notes in Computer Science; vol. 935).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    137 Downloads (Pure)

  • Functional integration of UMTS and B-ISDN

    Katoen, J.-P., 24 Jul 1995, Proceedings of the 45th IEEE Vehicular Technology Conference: Countdown to the Wireless Twenty-First Century. Piscataway, NJ: IEEE, Vol. 1. p. 163-168 (Proceedings IEEE Vehicular Technology Conference; vol. 1995).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    122 Downloads (Pure)

  • Performance and formal design: a process algebraic perspective

    Brinksma, H., 3 Oct 1995, Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995. Durham, U.S.A.: IEEE, p. 124-125

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    1 Citation (Scopus)
    120 Downloads (Pure)

  • Testing Labelled Transition Systems with Inputs and Outputs

    Tretmans, G. J., 1995, Participants Proceedings of the Int. Workshop on Protocol Test Systems VIII --- COST 247 Session. Cavalli, A. & Budkowski, S. (eds.). Evry, France: Institut National des Télécommunications, p. 461-476 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 1994

    Extraordinals: An Equational Theory of Posets

    Rensink, A., 1994, Combining Structures, Logics and Theories. de Rijke, M. (ed.). Copenhagen, Denmark: Copenhagen Business School, p. 149-169 21 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

  • Weak Sequential Composition in Process Algebras

    Rensink, A. & Wehrheim, H., 1994, CONCUR '94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22–25, 1994, Proceedings. Jonsson, B. & Parrow, J. (eds.). Berlin: Springer, p. 226-241 16 p. (Lecture Notes in Computer Science; vol. 836).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    16 Citations (Scopus)
    125 Downloads (Pure)
  • 1991

    Introduction to the PSTV-XI

    Brinksma, E., Scollo, G. & Vissers, C. A., 1 Sept 1991, 9th IFIP TC-6 International Symposium on Protocol Specification, Testing and Verification (IFIP TC-6), 31 December 1989, Twente, The Netherlands. North-Holland: Elsevier, p. 1-6 6 p. (Computer Networks and ISDN Systems; vol. 22, no. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    134 Downloads (Pure)