Scientific Annals of Computer Science

Overview of Thirty Semantic Formalisms for Reo

Sung-Shik Jongmans, Farhad Arbab · 2012 · 77 citations · Full text

Computing, Computer Science, Computer Systems +15

Contract-Oriented Computing in CO2

Massimo Bartoletti, Emilio Tuosto, Roberto Zunino · 2012 · 31 citations · Full text

Computing, Computer Science, Computer Systems +6

Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models

Anna Philippou, Mauricio Toro, Margarita Antonaki · 2013 · 27 citations · Full text

Life Sciences, Biology, Ecology +17

On Safety Properties and Their Monitoring

Grigore Roşu · 2012 · 23 citations · Full text

Computing, Computer Science, Computer Systems +14

Formal Analysis of Android's Permission-Based Security Model

Gustavo Betarte, Juan Diego Campo, Carlos Luna et al. · 2016 · 17 citations · Full text

Computing, Computer Science, Cybersecurity +17