Mark Lawford

2.1k total citations
66 papers, 1.1k citations indexed

About

Mark Lawford is a scholar working on Computational Theory and Mathematics, Software and Safety, Risk, Reliability and Quality. According to data from OpenAlex, Mark Lawford has authored 66 papers receiving a total of 1.1k indexed citations (citations by other indexed papers that have themselves been cited), including 38 papers in Computational Theory and Mathematics, 38 papers in Software and 17 papers in Safety, Risk, Reliability and Quality. Recurrent topics in Mark Lawford's work include Formal Methods in Verification (36 papers), Software Reliability and Analysis Research (22 papers) and Safety Systems Engineering in Autonomy (17 papers). Mark Lawford is often cited by papers focused on Formal Methods in Verification (36 papers), Software Reliability and Analysis Research (22 papers) and Safety Systems Engineering in Autonomy (17 papers). Mark Lawford collaborates with scholars based in Canada, United States and Italy. Mark Lawford's co-authors include Vera Pantelic, W.M. Wonham, Ryan J. Leduc, Alexandre Korobkine, David Lorge Parnas, Berker Bilgin, Pawel Malysz, Pierre Magne, Matthias Preindl and Weisheng Jiang and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Transactions on Automatic Control and IEEE Transactions on Software Engineering.

In The Last Decade

Mark Lawford

61 papers receiving 1.1k citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Mark Lawford Canada	15	431	365	255	224	179	66	1.1k
Martin Lukasiewycz Germany	27	357 0.8×	840 2.3×	451 1.8×	545 2.4×	121 0.7×	90	1.9k
Sebastian Steinhorst Germany	21	173 0.4×	810 2.2×	487 1.9×	361 1.6×	55 0.3×	147	1.4k
Sebastian Fischmeister Canada	18	192 0.4×	145 0.4×	72 0.3×	434 1.9×	166 0.9×	144	968
Christian Buckl Germany	16	78 0.2×	203 0.6×	95 0.4×	317 1.4×	86 0.5×	69	821
Saad Mubeen Sweden	20	341 0.8×	242 0.7×	54 0.2×	818 3.7×	115 0.6×	142	1.5k
Christoph Clauß Germany	9	408 0.9×	211 0.6×	37 0.1×	87 0.4×	135 0.8×	27	1.0k
Nicolas Navet France	18	411 1.0×	348 1.0×	130 0.5×	727 3.2×	44 0.2×	114	1.5k
Patricia Derler United States	12	161 0.4×	110 0.3×	39 0.2×	260 1.2×	121 0.7×	28	895
Sasikumar Punnekkat Sweden	19	243 0.6×	182 0.5×	39 0.2×	688 3.1×	269 1.5×	138	1.4k
Ahmed Khoumsi Canada	14	275 0.6×	86 0.2×	51 0.2×	235 1.0×	67 0.4×	87	637

Countries citing papers authored by Mark Lawford

Since Specialization

Citations

This map shows the geographic impact of Mark Lawford's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Mark Lawford with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Mark Lawford more than expected).

Fields of papers citing papers by Mark Lawford

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Mark Lawford. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Mark Lawford. The network helps show where Mark Lawford may publish in the future.

Co-authorship network of co-authors of Mark Lawford

This figure shows the co-authorship network connecting the top 25 collaborators of Mark Lawford. A scholar is included among the top collaborators of Mark Lawford based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Mark Lawford. Mark Lawford is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Pantelic, Vera, et al.. (2025). Can Generative AI Produce Test Cases? An Experience from the Automotive Domain. Aisberg (University of Bergamo). 456–467.

Paige, Richard F., et al.. (2024). Using Boundary Objects for Continuous Compliance in Automotive Development. 224–231.

Pantelic, Vera, et al.. (2023). Repository mining for changes in Simulink and Stateflow models. Software & Systems Modeling. 22(5). 1713–1732. 3 indexed citations

Pantelic, Vera, et al.. (2021). A Domain-Centralized Automotive Powertrain E/E Architecture. SAE technical papers on CD-ROM/SAE technical paper series. 1. 11 indexed citations

Singh, Neeraj Kumar, Mark Lawford, T. S. E. Maibaum, & Alan Wassyng. (2021). A formal approach to rigorous development of critical systems. Journal of Software Evolution and Process. 33(4). 4 indexed citations

Selim, Gehan, et al.. (2021). Making the Case for Centralized Automotive E/E Architectures. IEEE Transactions on Vehicular Technology. 70(2). 1230–1245. 106 indexed citations

Pantelic, Vera, et al.. (2020). Change impact analysis in Simulink designs of embedded systems. 1274–1284. 1 indexed citations

Lin, Chung‐Wei, et al.. (2017). Principles for Systematic Development of an Assurance Case Template from ISO 26262. 69–72. 5 indexed citations

Pantelic, Vera, et al.. (2017). Software engineering practices and Simulink: bridging the gap. International Journal on Software Tools for Technology Transfer. 20(1). 95–117. 15 indexed citations

10.

Lawford, Mark, et al.. (2015). A methodology for the simplification of tabular designs in model-based development. Formal Methods. 47–53. 1 indexed citations

11.

Lawford, Mark, et al.. (2015). Formal verification of function blocks applied to IEC 61131-3. Science of Computer Programming. 113. 149–190. 6 indexed citations

12.

Lawford, Mark, et al.. (2015). Signature required: Making Simulink data flow and interfaces explicit. Science of Computer Programming. 113. 29–50. 7 indexed citations

13.

Lawford, Mark, et al.. (2015). Implementability of requirements in the four-variable model. Science of Computer Programming. 111. 339–362. 1 indexed citations

14.

Lawford, Mark, et al.. (2014). Signature required making simulink data flow and interfaces explicit. 119–131. 3 indexed citations

15.

Maibaum, Tom, et al.. (2012). Positioning Verfification in the Context of Software/System Certification. Technische Universität Berlin – Universitätsbibliothek. 46. 2 indexed citations

16.

Pantelic, Vera, et al.. (2009). Probabilistic Supervisory Control of Probabilistic Discrete Event Systems. IEEE Transactions on Automatic Control. 54(8). 2013–2018. 30 indexed citations

17.

Arbuckle, Tom, et al.. (2007). Software Documents: Comparison and Measurement.. Software Engineering and Knowledge Engineering. 46(2). 740–80. 9 indexed citations

18.

Lawford, Mark, Vera Pantelic, & Hong Zhang. (2006). Towards integrated verification of timed transition models. Fundamenta Informaticae. 70(1). 75–110. 1 indexed citations

19.

Leduc, Ryan J., B.A. Brandin, Mark Lawford, & W.M. Wonham. (2005). Hierarchical interface-based supervisory Control-part I: serial case. IEEE Transactions on Automatic Control. 50(9). 1322–1335. 89 indexed citations

20.

Parnas, David Lorge & Mark Lawford. (2003). Inspection's role in software quality assurance. IEEE Software. 20(4). 16–20. 17 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact