selected scholarly activity
-
books
- Preface. Ed. 12232 LNCS. 2020
- Preface. Ed. 12233 LNCS. 2020
- From Action Systems to Distributed Systems 2016
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Ed. 8739 LNCS. 2014
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Ed. 4085 LNCS. 2006
-
chapters
- On Concurrent Program Algebra and Demonic Automata. Lecture Notes in Computer Science. 114-131. 2025
- Striving toward reconciliation through the co-creation of water research. 13-40. 2022
- Analysis and Implementation of Embedded System Models: Example of Tags in Item Management Application. 175-199. 2017
- A Contract-Based Approach to Ensuring Component Interoperability in Event-B. 81-96. 2016
- A Provably Correct Resilience Mediator Pattern. 125-139. 2016
- Action Systems for Pharmacokinetic Modeling. 189-200. 2016
- Bibliography. 247-271. 2016
- Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. 215-230. 2016
- Event-B and Linear Temporal Logic. 113-123. 2016
- Index. 273-283. 2016
- Integrating Refinement-Based Methods for Developing Timed Systems. 171-185. 2016
- Mandatory and Potential Choice: Comparing Event-B and STAIRS. 15-27. 2016
- Meeting Deadlines, Elastically. 99-111. 2016
- Modeling Sources for Uncertainty in Environmental Monitoring. 3-14. 2016
- Modeling and Analysis of Component Faults and Reliability. 45-60. 2016
- Modelling and Refining Hybrid Systems in Event-B and Rodin. 29-42. 2016
- Quantitative Model Refinement in Four Different Frameworks, with Applications to the Heat Shock Response. 201-214. 2016
- Refinement of Behavioural Models for Variability Description. 155-169. 2016
- Relational Concurrent Refinement - Partial and Total Frameworks. 143-154. 2016
- Self-Assembling Interactive Modules: A Research Programme. 231-246. 2016
- Verifiable Programming of Object-Oriented and Distributed Systems. 61-79. 2016
- Exceptions for Dependability. 11-35. 2012
- Design Verification with State Invariants. 317-347. 2009
- Production Cell. 197-254. 1999
- Modula-3. Lecture Notes in Computer Science. 357-371. 1995
- On object-oriented design and verification. Lecture Notes in Computer Science. 92-111. 1995
- Raise. Lecture Notes in Computer Science. 277-293. 1995
-
conferences
- New Parallel Order Maintenance Data Structure. Proceedings of the 1st International Symposium on Parallel Computing and Distributed Systems, PCDS 2024. 1-5. 2024
- Parallel Order-Based Core Maintenance in Dynamic Graphs. Proceedings of the 52nd International Conference on Parallel Processing. 122-131. 2023
- Universal Design of Interactive Mathematical Notebooks on Programming. Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V. 2. 1132-1132. 2022
- Striffs: Architectural Component Diagrams for Code Reviews. 2021 International Conference on Code Quality (ICCQ). 69-78. 2021
- A Comparison of Time Series Databases for Storing Water Quality Data. Advances in Soft Computing. 302-313. 2019
- Automated detection of anomalies in high-frequency water quality sensor data using machine learning. WEFTEC 2019 - 92nd Annual Water Environment Federation's Technical Exhibition and Conference. 2769-2782. 2019
- Teaching Concurrency with the Disappearing Formal Method. Lecture Notes in Computer Science. 135-149. 2019
- Modelling probabilistic timing analysis. Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion. 2017
- An object model for a dynamic mixin based language. Proceedings of the 31st Annual ACM Symposium on Applied Computing. 1986-1992. 2016
- Automatically Quantitative Analysis and Code Generator for Sensor Systems: The Example of Great Lakes Water Quality Monitoring. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. 313-319. 2016
- The safety of dynamic mixin composition. Proceedings of the 30th Annual ACM Symposium on Applied Computing. 1992-1999. 2015
- Using dynamic mixins to implement design patterns. Proceedings of the 19th European Conference on Pattern Languages of Programs. 14:1-14:1. 2014
- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset.. IFM. 357-372. 2014
- A Hybrid Analysis for Security Protocols with State.. IFM. 272-287. 2014
- A Probabilistic Framework for Security Scenarios with Dependent Actions.. IFM. 256-271. 2014
- A separation principle for embedded system interfacing. Lecture Notes in Computer Science. 373-388. 2014
- An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems.. IFM. 71-86. 2014
- An Interactive Verification Tool Meets an IDE.. IFM. 55-70. 2014
- Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems.. IFM. 120-135. 2014
- Automated Theorem Prover Assisted Program Calculations.. IFM. 205-220. 2014
- Code Generation for Event-B.. IFM. 323-338. 2014
- Formal Refinement in SysML.. IFM. 155-170. 2014
- Formal Security Analysis of the MaCAN Protocol.. IFM. 241-255. 2014
- How to Break the Bank: Semantics of Capability Policies.. IFM. 18-35. 2014
- Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. IFM. 2014
- Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud.. IFM. 103-119. 2014
- Integrating Software and Hardware Verification.. IFM. 307-322. 2014
- Managing LTL Properties in Event-B Refinement.. IFM. 221-237. 2014
- Model-Checking Circus State-Rich Specifications.. IFM. 39-54. 2014
- Modeling UML Template Classes with FoCaLiZe.. IFM. 87-102. 2014
- Proofs and Refutations in Invariant-Based Programming.. IFM. 189-204. 2014
- Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures.. IFM. 3-17. 2014
- Towards a Formal Semantics-Based Technique for Interprocedural Slicing.. IFM. 291-306. 2014
- Verification and Code Generation for Timed Transitions in pCharts.. C3S2E. 3:1-3:1. 2014
- Verifying Behavioral UML Systems via CEGAR.. IFM. 139-154. 2014
- Verifying Linearizability on TSO Architectures.. IFM. 341-356. 2014
- Verifying Modal Workflow Specifications Using Constraint Solving.. IFM. 171-186. 2014
- Correctness of intrusive data structures using mixins. Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. 53-58. 2013
- pState: A probabilistic statecharts translator. 2013 2nd Mediterranean Conference on Embedded Computing (MECO). 2013
- Finitary Fairness in Action Systems. Lecture Notes in Computer Science. 319-336. 2013
- Verification Rules for Exception Handling in Eiffel. Lecture Notes in Computer Science. 179-193. 2012
- Teaching the unifying mathematics of software design. Proceedings of the 14th Western Canadian Conference on Computing Education. 109-115. 2009
- Verifying Statecharts with State Invariants. 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008). 7-14. 2008
- Verification and Code Generation for Timed Transitions in pCharts. Proceedings of the 2014 International C* Conference on Computer Science & Software Engineering - C3S2E '14. 1-10. 2008
- A Formal Template Language Enabling Metaproof.. FM. 252-267. 2006
- A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice.. FM. 380-395. 2006
- A Memory Model Sensitive Checker for C#.. FM. 476-491. 2006
- A Proposal for Records in Event-B.. FM. 221-235. 2006
- A Story About Formal Methods Adoption by a Railway Signaling Manufacturer.. FM. 179-189. 2006
- Automated Boundary Test Generation from JML Specifications.. FM. 428-443. 2006
- Automatic Translation from Circus to Java.. FM. 115-130. 2006
- Certifying Airport Security Regulations Using the Focal Environment.. FM. 48-63. 2006
- Changing Programs Correctly: Refactoring with Specifications.. FM. 492-507. 2006
- Compositional Binding in Network Domains.. FM. 332-347. 2006
- Compositional Class Refinement in Object-Z.. FM. 205-220. 2006
- Connector-Based Software Development: Deriving Secure Protocols.. FM. 598-599. 2006
- Cost Effective Software Engineering for Security.. FM. 607-611. 2006
- Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions.. FM. 268-283. 2006
- Enforcer - Efficient Failure Injection.. FM. 412-427. 2006
- Exact and Approximate Strategies for Symmetry Reduction in Model Checking.. FM. 541-556. 2006
- FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings. FM. 2006
- Feature Algebra. Lecture Notes in Computer Science. 300-315. 2006
- Feature Specification and Static Analysis for Interaction Resolution.. FM. 364-379. 2006
- Formal Methods and Cryptography.. FM. 612-616. 2006
- Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline.. FM. 587-591. 2006
- Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche.. FM. 592-597. 2006
- Formal Modeling of Communication Protocols by Graph Transformation.. FM. 348-363. 2006
- Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic.. FM. 444-459. 2006
- Formal Verification of a C Compiler Front-End.. FM. 460-475. 2006
- Interactive Verification of Medical Guidelines.. FM. 32-47. 2006
- Interface Input/Output Automata.. FM. 82-97. 2006
- Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic.. FM. 508-523. 2006
- Model-Based Security Engineering for Real.. FM. 600-606. 2006
- Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking.. FM. 524-540. 2006
- Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.. FM. 147-162. 2006
- Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces.. FM. 557-572. 2006
- PSL Model Checking and Run-Time Verification Via Testers.. FM. 573-586. 2006
- Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach.. FM. 190-204. 2006
- Pointfree Factorization of Operation Refinement.. FM. 236-251. 2006
- Properties of Behavioural Model Merging.. FM. 98-114. 2006
- Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study.. FM. 64-80. 2006
- Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems.. FM. 131-146. 2006
- The Embedded Systems Design Challenge.. FM. 1-15. 2006
- The Mondex Challenge: Machine Checked Proofs for an Electronic Purse.. FM. 16-31. 2006
- Towards Automatic Exception Safety Verification.. FM. 396-411. 2006
- Towards Modularized Verification of Distributed Time-Triggered Systems.. FM. 163-178. 2006
- Type-Safe Two-Level Data Transformation.. FM. 284-299. 2006
- Using Domain-Independent Problems for Introducing Formal Methods.. FM. 316-331. 2006
- Validating the Microsoft Hypervisor.. FM. 81-81. 2006
- Verified Software Grand Challenge.. FM. 617-617. 2006
- Verification and refinement with fine-grained action-based concurrent objects. Theoretical Computer Science. 429-455. 2005
- Concurrent Object-Oriented Programs: From Specification to Code. Lecture Notes in Computer Science. 403-423. 2003
- Translating Statecharts to B. Lecture Notes in Computer Science. 128-144. 2002
- iState: A Statechart Translator. Lecture Notes in Computer Science. 376-390. 2001
- On Guarded Commands with Fair Choice. Lecture Notes in Computer Science. 127-139. 2000
- Developing components in the presence of re-entrance. Lecture Notes in Computer Science. 1301-1320. 1999
- A study of the fragile base class problem. Lecture Notes in Computer Science. 355-382. 1998
- Formal Methods for Component Software: The Refinement Calculus Perspective. Lecture Notes in Computer Science. 332-337. 1998
- Graphical design of reactive systems. Lecture Notes in Computer Science. 182-197. 1998
- The Fragile Base Class Problem and Its Impact on Component Systems. Lecture Notes in Computer Science. 353-358. 1998
- Action-based concurrency and synchronization for objects. Lecture Notes in Computer Science. 248-262. 1997
- Class refinement and interface refinement in object-oriented programs. Lecture Notes in Computer Science. 82-101. 1997
- An action system approach to the steam boiler problem. Lecture Notes in Computer Science. 129-148. 1996
- Stepwise Refinement of Control Software - A Case Study Using RAISE.. Lecture Notes in Computer Science. 547-566. 1994
- Stepwise refinement of control software — A case study using RAISE. Lecture Notes in Computer Science. 547-566. 1994
- A calculus for predicative programming. Lecture Notes in Computer Science. 302-322. 1993
-
journal articles
- Simplified algorithms for order-based core maintenance. Journal of Supercomputing. 80:19592-19623. 2024
- Efficient parallel graph trimming by arc-consistency. Journal of Supercomputing. 78:15269-15313. 2022
- Real-time prediction of river chloride concentration using ensemble learning. Environmental Pollution. 291:118116-118116. 2021
- Preface.. Seminars in Pediatric Surgery. 27:281-282. 2018
- A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper). Electronic Proceedings in Theoretical Computer Science. 284:85-94. 2018
- An object model for dynamic mixins. Computer Languages. 51:90-101. 2018
- Refining Santa: An Exercise in Efficient Synchronization. Electronic Proceedings in Theoretical Computer Science. 282:68-86. 2018
- A Holistic Approach in Embedded System Development. Electronic Proceedings in Theoretical Computer Science. 187:72-85. 2015
- Model-based WCET analysis with invariants. Electronic Communications of the EASST. 72. 2015
- On a New Notion of Partial Refinement. Electronic Proceedings in Theoretical Computer Science. 115:1-14. 2013
- Preface. Neurosurgery Clinics of North America. 21:xv-xv. 2010
- An Algebraic Approach to Refinement with Fair Choice. Electronic Notes in Theoretical Computer Science. 214:51-79. 2008
- Exploring Tabular Verification and Refinement. Formal Aspects of Computing. 15:215-236. 2003
- Tabular Verification and Refinement. Electronic Notes in Theoretical Computer Science. 70:179-198. 2002
- Foundations of the trace assertion method of module interface specification. IEEE Transactions on Software Engineering. 27:577-598. 2001
- A foundation for refining concurrent objects. Fundamenta Informaticae. 44:25-61. 2000
- A Theory of Prioritizing Composition. Computer Journal. 39:701-712. 1996
-
preprints
- Federated k-Core Decomposition: A Secure Distributed Approach 2024
- Simplified Algorithms for Order-Based CoreMaintenance 2023
- Parallel Order-Based Core Maintenance in Dynamic Graphs 2022
- New Concurrent Order Maintenance Data Structure 2022
- Simplified Algorithms for Order-Based Core Maintenance 2022
- Efficient Parallel Graph Trimming by Arc-Consistency 2021
- A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper) 2018
- Refining Santa: An Exercise in Efficient Synchronization 2018
- A Holistic Approach in Embedded System Development 2015
- On a New Notion of Partial Refinement 2013