H. B. M. Jonkers

12 papers B 1Journal 3Unranked 8

Year	Rank	Type	Title / Venue / Authors
2004	—	`conf`	Interface Specification: A Balancing Act (Extended Abstract). CBSE H. B. M. Jonkers
2002	J	`jnl`	Consistent specification of interface suites in UML. Softw. Syst. Model. Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers
2001	—	`conf`	A Specification Model for Interface Suites. UML Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers
2000	B	`conf`	ISpec: Towards Practical and Sound Interface Specifications. IFM H. B. M. Jonkers
1999	—	`conf`	Communication and Synchronisation Using Interaction Objects. World Congress on Formal Methods H. B. M. Jonkers
1998	J	`jnl`	History, principles and application of the SPRINT method. J. Syst. Softw. Loe M. G. Feijs, H. B. M. Jonkers
1993	—	`conf`	An Overview of the SPRINT Method. FME H. B. M. Jonkers
1991	—	`conf`	Upgrading the Pre- and Postcondition Technique. VDM Europe (1) H. B. M. Jonkers
1989	—	`conf`	Inheritance in COLD. Algebraic Methods H. B. M. Jonkers
1987	—	`conf`	An Introduction to COLD-K. Algebraic Methods H. B. M. Jonkers
1987	—	`conf`	Description Algebra. Algebraic Methods H. B. M. Jonkers
1979	J	`jnl`	A Fast Garbage Compaction Algorithm. Inf. Process. Lett. H. B. M. Jonkers

2025 Best paper conf

CheckMATE

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

2026 Best paper preprint

arXiv

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski