Matthew Morley

Publications

Citations

H-Index

1995

Active since

Affiliations

Gesellschaft Fur Mathematik Und Datenverarbeitung(Current)

Matthew Morley is an author at Gesellschaft Fur Mathematik Und Datenverarbeitung specializing in engineering, software verification, and formal methods.

Top concepts

EngineeringVerificationCommunicationFormal MethodsSafety ScienceComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning

Publications per year

1995–1998

Publications

The Synchronous Approach to Designing Reactive Systems

Axel Poigné, Matthew Morley, Olivier Maffeïs et al. · Formal Methods in System Design · 1998 · 29 citations

Systematic testing and formal verification to validate reactive programs

Monika M�llerburg, Leszek Holenderski, Olivier Maffeïs et al. · Software Quality Journal · 1995 · 22 citations

Engineering, Program Analysis, Automated Reasoning +10

Safety-level communication in railway interlockings

Matthew Morley · Science of Computer Programming · 1997 · 20 citations

Railway Traffic, Reliability Engineering, Engineering +5

Rows per page

1–3 of 3