Jonathan S. Ostroff

1.6k total citations
44 papers, 892 citations indexed

About

Jonathan S. Ostroff is a scholar working on Computational Theory and Mathematics, Software and Artificial Intelligence. According to data from OpenAlex, Jonathan S. Ostroff has authored 44 papers receiving a total of 892 indexed citations (citations by other indexed papers that have themselves been cited), including 34 papers in Computational Theory and Mathematics, 25 papers in Software and 17 papers in Artificial Intelligence. Recurrent topics in Jonathan S. Ostroff's work include Formal Methods in Verification (33 papers), Model-Driven Software Engineering Techniques (17 papers) and Advanced Software Engineering Methodologies (9 papers). Jonathan S. Ostroff is often cited by papers focused on Formal Methods in Verification (33 papers), Model-Driven Software Engineering Techniques (17 papers) and Advanced Software Engineering Methodologies (9 papers). Jonathan S. Ostroff collaborates with scholars based in Canada, United Kingdom and Switzerland. Jonathan S. Ostroff's co-authors include W.M. Wonham, Richard F. Paige, Phillip J. Brooke, Richard F. Paige, Bertrand Meyer, Ali Taleghani, Thai Son Hoang, B. Moore, Mark Lawford and H. Alla and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Transactions on Automatic Control and IEEE Transactions on Control Systems Technology.

In The Last Decade

Jonathan S. Ostroff

42 papers receiving 783 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Jonathan S. Ostroff Canada 14 651 291 286 268 154 44 892
Béatrice Bérard France 11 521 0.8× 153 0.5× 246 0.9× 256 1.0× 172 1.1× 31 760
Angelo Morzenti Italy 16 691 1.1× 242 0.8× 500 1.7× 451 1.7× 128 0.8× 69 1.0k
Mark Trakhtenbrot Israel 5 340 0.5× 232 0.8× 340 1.2× 282 1.1× 92 0.6× 17 775
R. W. Sherman Israel 7 498 0.8× 291 1.0× 427 1.5× 445 1.7× 127 0.8× 8 1.0k
Bernard Berthomieu France 7 727 1.1× 313 1.1× 187 0.7× 111 0.4× 142 0.9× 16 921
Ph. Schnoebelen France 12 668 1.0× 98 0.3× 286 1.0× 392 1.5× 150 1.0× 26 877
Ed Brinksma Netherlands 14 817 1.3× 279 1.0× 415 1.5× 579 2.2× 282 1.8× 49 1.3k
Paul T. Ward United States 9 235 0.4× 233 0.8× 285 1.0× 385 1.4× 144 0.9× 17 778
François Laroussinie France 11 482 0.7× 104 0.4× 260 0.9× 326 1.2× 115 0.7× 27 701
Michel Bidoit France 13 535 0.8× 106 0.4× 280 1.0× 495 1.8× 141 0.9× 37 855

Countries citing papers authored by Jonathan S. Ostroff

Since Specialization
Citations

This map shows the geographic impact of Jonathan S. Ostroff'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 Jonathan S. Ostroff with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jonathan S. Ostroff more than expected).

Fields of papers citing papers by Jonathan S. Ostroff

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Jonathan S. Ostroff. 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 Jonathan S. Ostroff. The network helps show where Jonathan S. Ostroff may publish in the future.

Co-authorship network of co-authors of Jonathan S. Ostroff

This figure shows the co-authorship network connecting the top 25 collaborators of Jonathan S. Ostroff. A scholar is included among the top collaborators of Jonathan S. Ostroff 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 Jonathan S. Ostroff. Jonathan S. Ostroff is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Ostroff, Jonathan S., et al.. (2008). Beyond contracts for concurrency. Formal Aspects of Computing. 21(4). 319–346. 8 indexed citations
2.
Ostroff, Jonathan S., et al.. (2005). E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel.. The Journal of Object Technology. 4(7). 97–97. 2 indexed citations
3.
Paige, Richard F., Phillip J. Brooke, & Jonathan S. Ostroff. (2004). Agile development of a metamodel in Eiffel. 1 indexed citations
4.
Ostroff, Jonathan S., et al.. (2004). SECG: The SCOOP-to-Eiffel Code Generator.. The Journal of Object Technology. 3(10). 143–143. 7 indexed citations
5.
Ostroff, Jonathan S.. (2003). Synthesis of controllers for real-time discrete event systems. 138–144. 14 indexed citations
6.
Paige, Richard F., Jonathan S. Ostroff, & Phillip J. Brooke. (2003). Theorem Proving Support for View Consistency Checking. 9(4). 115–134. 1 indexed citations
7.
Ostroff, Jonathan S.. (2002). A CASE tool for the design of safety-critical software. 32. 370–380. 1 indexed citations
8.
Paige, Richard F. & Jonathan S. Ostroff. (2002). From Z to BON/Eiffel. 209–212. 2 indexed citations
9.
Lawford, Mark, W.M. Wonham, & Jonathan S. Ostroff. (2002). State-event observers for labeled transition systems. 4. 3642–3648. 2 indexed citations
10.
Paige, Richard F. & Jonathan S. Ostroff. (2001). The Single Model Principle. Requirements Engineering. 292–293. 3 indexed citations
11.
Paige, Richard F. & Jonathan S. Ostroff. (2001). A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. 192–206. 5 indexed citations
12.
Ostroff, Jonathan S. & Richard F. Paige. (2000). The Timed Predicative Calculus as a Framework for Comparative Semantics. 1 indexed citations
13.
Ostroff, Jonathan S. & Richard F. Paige. (2000). The logic of software design. IEE Proceedings - Software. 147(3). 73–73. 4 indexed citations
14.
Paige, Richard F. & Jonathan S. Ostroff. (1999). A comparison of the business object notation and the unified modeling language. Lecture notes in computer science. 67–82. 4 indexed citations
15.
Ostroff, Jonathan S.. (1992). Formal methods for the specification and design of real-time safety critical systems. Journal of Systems and Software. 18(1). 33–60. 84 indexed citations
16.
Ostroff, Jonathan S.. (1991). Constraint logic programming for reasoning about discrete event processes. The Journal of Logic Programming. 11(3-4). 243–270. 3 indexed citations
17.
Ostroff, Jonathan S. & W.M. Wonham. (1990). A framework for real-time discrete event control. IEEE Transactions on Automatic Control. 35(4). 386–397. 128 indexed citations
18.
Ostroff, Jonathan S. & W.M. Wonham. (1987). Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems.. 124–132. 36 indexed citations
19.
Ostroff, Jonathan S. & W.M. Wonham. (1985). A temporal logic approach to real time control. 656–657. 27 indexed citations
20.
Ostroff, Jonathan S. & B. Moore. (1979). A guide to reduced order observer design. 844–848. 1 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

Breakdown of academic impact, for papers by Béatrice Bérard Breakdown of academic impact, for papers by Angelo Morzenti Breakdown of academic impact, for papers by Mark Trakhtenbrot Breakdown of academic impact, for papers by R. W. Sherman Breakdown of academic impact, for papers by Bernard Berthomieu Breakdown of academic impact, for papers by Ph. Schnoebelen Breakdown of academic impact, for papers by Ed Brinksma Breakdown of academic impact, for papers by Paul T. Ward Breakdown of academic impact, for papers by François Laroussinie Breakdown of academic impact, for papers by Michel Bidoit
Rankless by CCL
2026