Concepedia

Frank S. de Boer

FS

48

Publications

1.9K

Citations

25

H-Index

1989

Active since

Affiliations

Centrum Wiskunde & Informatica(Current)

Utrecht University

Leiden University

University of Tehran

University of Oslo

Frank S. de Boer is an author at Centrum Wiskunde & Informatica specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationProgram AnalysisVerificationSoftware AnalysisSoftware DesignSystem Software

Publications per year

1989–2021

48

Publications

48

Agent Programming in 3APL

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek et al. · Autonomous Agents and Multi-Agent Systems · 1999 · 364 citations

Modeling and Verification of Reactive Systems using Rebeca

Marjan Sirjani, Ali Movaghar, Amin Shali et al. · Fundamenta Informaticae · 2004 · 158 citations

Engineering, Verification, Model Checking +20

A Timed Concurrent Constraint Language

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo · Information and Computation · 2000 · 91 citations

Engineering, Concurrent Programming, Concurrency Theory +6

Formalizing UML Models and OCL Constraints in PVS

Marcel Kyas, Harald Fecher, Frank S. de Boer et al. · Electronic Notes in Theoretical Computer Science · 2005 · 89 citations · Full text

Prototype Tool, Engineering, Constraints +18

Change impact analysis of enterprise architectures

Frank S. de Boer, Marcello Bonsangue, Luuk Groenewegen et al. · 2005 · 67 citations

Architectural Design, Software Maintenance, Software Architecture Modeling +14

Rows per page

1–5 of 48