Concepedia

Martin Bravenboer

MB

18

Publications

1.6K

Citations

16

H-Index

2004

Active since

Affiliations

Utrecht University(Current)

University of Massachusetts Amherst

Delft University of Technology

University of Waterloo

Martin Bravenboer is an author at Utrecht University specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsSoftware EngineeringSoftware DesignFormal VerificationSystem SoftwareLanguage

Publications per year

2004–2015

18

Publications

18

Strictly declarative specification of sophisticated points-to analyses

Martin Bravenboer, Yannis Smaragdakis · 2009 · 284 citations

Engineering, Verification, Software Engineering +21

Strictly declarative specification of sophisticated points-to analyses

Martin Bravenboer, Yannis Smaragdakis · ACM SIGPLAN Notices · 2009 · 226 citations

Engineering, Verification, Software Engineering +22

Concrete syntax for objects

Martin Bravenboer, Eelco Visser · 2004 · 206 citations

Engineering, Software Systems, Software Engineering +27

Pick your contexts well

Yannis Smaragdakis, Martin Bravenboer, Ondřej Lhoták · 2011 · 188 citations

Engineering, Object-oriented Modeling, Software Engineering +24

Pick your contexts well

Yannis Smaragdakis, Martin Bravenboer, Ondřej Lhoták · ACM SIGPLAN Notices · 2011 · 166 citations

Engineering, Object-oriented Modeling, Software Engineering +24

Rows per page

1–5 of 18