publication venue for
- Integration of sequential scenarios 1998
- On satisfying timing constraints in hard-real-time systems 1993
- Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks. 50:239-257. 2024
- Trace Diagnostics for Signal-Based Temporal Properties. 49:3131-3154. 2023
- Code Cloning in Smart Contracts on the Ethereum Platform: An Extended Replication Study. 49:2006-2019. 2023
- Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. 49:2741-2760. 2023
- Combining Genetic Programming and Model Checking to Generate Environment Assumptions. 48:3664-3685. 2022
- Specification Patterns for Robotic Missions. 47:2208-2224. 2021
- TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds. 39:1283-1307. 2013
- A Comparison of Tabular Expression-Based Testing Strategies. 37:616-634. 2011
- The role of inspection in software quality assurance. 29:674-676. 2003
- Requirements-based monitors for real-time systems. 28:146-158. 2002
- Foundations of the trace assertion method of module interface specification. 27:577-598. 2001
- Using test oracles generated from program documentation. 24:161-173. 1998
- Precise documentation of well-structured programs. 20:948-976. 1994
- Simulating the behavior of software modules by trace rewriting. 20:750-759. 1994
- Predicate logic for software engineering. 19:856-862. 1993
- Scheduling processes with release times, deadlines, precedence and exclusion relations. 16:360-369. 1990
- Correction to “a rational design process: How and why to fake it”. SE-12:874-874. 1986
- A rational design process: How and why to fake it. SE-12:251-257. 1986
- The Modular Structure of Complex Systems. SE-11:259-266. 1985
- Designing Software for Ease of Extension and Contraction. SE-5:128-138. 1979
- Design and Specification of the Minimal Subset of an Operating System Family. SE-2:301-307. 1976
- On the Design and Development of Program Families. SE-2:1-9. 1976