Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
474 authors found
quering by "Design by contract"
.
Showing
the first 25
sort by ONE Index.
|
876
One Index
|
Meyer, Bertrand PhD 0000-0002-5985-7434 |
1014 docs (1925 - 2024)
Eiffel , Model Checking , SCOOP , Software Defect Prediction , Programming Language Semantics |
|
870
One Index
|
Sharygina, Natasha PhD 0000-0002-8872-4913 |
155 docs (2001 - 2024)
Model Checking , Symbolic Model Checker , Safety Verification , Abstraction , Runtime Verification |
|
865
One Index
|
Felleisen, Matthias PhD 0000-0001-6678-1004 |
309 docs (1974 - 2024)
Programming Language Semantics , Model Checking , Content (measure theory) , Computational Thinking , Macro |
|
862
One Index
|
Labiche, Yvan PhD 0000-0001-8880-4836 |
166 docs (2000 - 2023)
Search-Based Testing , Testing-Effort Dependent Models , Automated Testing , Software Reliability Modeling , Test Case Prioritization |
|
861
One Index
|
Mylopoulos, John PhD 0000-0002-8698-3292 |
762 docs (1899 - 2024)
Requirements Engineering , Software Architecture , Aspect-Oriented Programming , Feature Models , Knowledge Representation |
|
855
One Index
|
Furia, Carlo A. PhD 0000-0003-1040-3201 |
174 docs (2004 - 2024)
Software Defect Prediction , Model Checking , Source Code Analysis , Eiffel , Software Reliability Modeling |
|
850
One Index
|
Rajan, Hridesh PhD 0000-0002-9410-9562 |
234 docs (2003 - 2024)
Aspect-Oriented Programming , Modularity (biology) , Source Code Analysis , Software Defect Prediction , Code (set theory) |
|
839
One Index
|
Roveri, Marco PhD 0000-0001-9483-3940 |
161 docs (1996 - 2024)
Model Checking , Symbolic Model Checker , Safety Verification , Temporal Logic , Satisfiability |
|
832
One Index
|
Leavens, Gary PhD 0000-0003-3271-3921 |
242 docs (1987 - 2024)
Programming Language Semantics , Model Checking , Aspect-Oriented Programming , Subtyping , Java Modeling Language |
|
822
One Index
|
Ranganath, Venkatesh-Prasad PhD 0000-0001-7684-6086 |
141 docs (1994 - 2024)
Model Checking , Software Reliability Modeling , Component (thermodynamics) , Symbolic Model Checker , Source Code Analysis |
|
819
One Index
|
Noble, James PhD 0000-0001-9036-5692 |
484 docs (1888 - 2024)
Agile Software Development , Aspect-Oriented Programming , Programming Language Semantics , Software Architecture , Source Code Analysis |
|
813
One Index
|
John Mark Hatcliff PhD |
188 docs (1992 - 2024)
Model Checking , Component (thermodynamics) , Software Reliability Modeling , Medical Device Interoperability , Program slicing |
|
811
One Index
|
Amyot, Daniel PhD 0000-0003-2414-1791 |
285 docs (1993 - 2024)
Feature Models , Aspect-Oriented Programming , Requirements Engineering , Process Performance Measurement , Process Models |
|
803
One Index
|
Bruel, Jean-Michel PhD 0000-0002-3653-0148 |
245 docs (1975 - 2024)
Requirements Engineering , Model-Driven Engineering , Feature Models , Model Transformation , Software Architecture |
|
802
One Index
|
Mats Per Erik Heimdahl PhD |
186 docs (1991 - 2022)
Model Checking , Software Reliability Modeling , Testing-Effort Dependent Models , Safety Verification , Fault Detection and Correction |
|
797
One Index
|
Phan, Tung PhD 0000-0002-1403-5197 |
17 docs (2019 - 2023)
Urban Driving , Trajectory Prediction , Liveness , Blame , Autonomous Vehicle Adoption |
|
797
One Index
|
Koskinen, Eric PhD 0000-0001-7363-634X |
84 docs (2007 - 2024)
Model Checking , Runtime Verification , Temporal Logic , Software transactional memory , Transactional Memory |
|
795
One Index
|
Tobin-Hochstadt, Sam PhD 0000-0003-1302-6499 |
90 docs (2005 - 2024)
Model Checking , Programming Language Semantics , Racket , Source Code Analysis , Type Inference |
|
794
One Index
|
Logozzo, Francesco PhD |
97 docs (2003 - 2023)
Abstract Interpretation , Code (set theory) , Model Checking , Programming Language Semantics , Precondition |
|
790
One Index
|
Filliâtre, Jean-Christophe PhD |
143 docs (1995 - 2024)
Model Checking , Formal Verification , Code (set theory) , Proof assistant , Runtime Verification |
|
789
One Index
|
Utting, Mark PhD 0000-0003-3134-6306 |
105 docs (1991 - 2024)
Model-Based Testing , Model Checking , Testing-Effort Dependent Models , Automated Testing , Temporal Logic |
|
785
One Index
|
Poskitt, Christopher PhD 0000-0002-9376-2471 |
61 docs (2010 - 2024)
Fuzz testing , Model Checking , Graph Transformation , Automated Testing , Executable |
|
778
One Index
|
Spitters, Bas PhD 0000-0002-2802-0973 |
103 docs (2000 - 2024)
Constructive , Type theory , Topos theory , Proof assistant , Smart contract |
|
778
One Index
|
Bragagnolo, Santiago PhD 0000-0002-5863-2698 |
21 docs (2017 - 2023)
Smart Contracts , Blockchain , Scalability , Source Code Analysis , Refactoring |
|
773
One Index
|
Stephen Andrew Mccamant PhD 0009-0004-6859-9758 |
84 docs (2002 - 2024)
Code (set theory) , Source Code Analysis , Control-Flow Integrity , Security Analysis , Component (thermodynamics) |
