| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Adding distribution and fault tolerance to Jason
|
Fernández-Díaz, Á.
|
|
2015
|
141-142 |
P2 |
p. 205-232
28 p.
|
article
|
| 2 |
A feature model of actor, agent, functional, object, and procedural programming languages
|
Jordan, Howell
|
|
2015
|
141-142 |
P2 |
p. 120-139
20 p.
|
article
|
| 3 |
A meta-circular language for active libraries
|
Servetto, Marco
|
|
2014
|
141-142 |
P2 |
p. 219-253
35 p.
|
article
|
| 4 |
An algorithm for compositional nonblocking verification using special events
|
Pilbrow, Colin
|
|
2015
|
141-142 |
P2 |
p. 119-148
30 p.
|
article
|
| 5 |
Analyzing a wind turbine system: From simulation to formal verification
|
Seceleanu, Cristina
|
|
2017
|
141-142 |
P2 |
p. 216-242
27 p.
|
article
|
| 6 |
A quantitative and qualitative assessment of aspectual feature modules for evolving software product lines
|
Gaia, Felipe Nunes
|
|
2014
|
141-142 |
P2 |
p. 230-253
24 p.
|
article
|
| 7 |
ASM, controller synthesis, and complete refinement
|
Banach, Richard
|
|
2014
|
141-142 |
P2 |
p. 109-129
21 p.
|
article
|
| 8 |
Attribute grammar macros
|
Viera, Marcos
|
|
2014
|
141-142 |
P2 |
p. 211-229
19 p.
|
article
|
| 9 |
A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios
|
Ashrov, Adiel
|
|
2015
|
141-142 |
P2 |
p. 268-292
25 p.
|
article
|
| 10 |
Building traceable Event-B models from requirements
|
Alkhammash, Eman
|
|
2015
|
141-142 |
P2 |
p. 318-338
21 p.
|
article
|
| 11 |
CenUMs – concurrency enhanced usage models for statistical testing of complex systems with concurrent streams of use
|
Homm, Daniel
|
|
2016
|
141-142 |
P2 |
p. 173-189
17 p.
|
article
|
| 12 |
Combinators for impure yet hygienic code generation
|
Kameyama, Yukiyoshi
|
|
2015
|
141-142 |
P2 |
p. 120-144
25 p.
|
article
|
| 13 |
Comparing model checkers for timed UML activity diagrams
|
Daw, Zamira
|
|
2015
|
141-142 |
P2 |
p. 277-299
23 p.
|
article
|
| 14 |
Deriving a complete type inference for Hindley–Milner and vector sizes using expansion
|
Simon, Axel
|
|
2014
|
141-142 |
P2 |
p. 254-271
18 p.
|
article
|
| 15 |
Designing a verifying compiler: Lessons learned from developing Whiley
|
Pearce, David J.
|
|
2015
|
141-142 |
P2 |
p. 191-220
30 p.
|
article
|
| 16 |
Disciplined structured communications with disciplined runtime adaptation
|
Di Giusto, Cinzia
|
|
2015
|
141-142 |
P2 |
p. 235-265
31 p.
|
article
|
| 17 |
Domains: Safe sharing among actors
|
De Koster, Joeri
|
|
2015
|
141-142 |
P2 |
p. 140-158
19 p.
|
article
|
| 18 |
Dynamic state machines for modelling railway control systems
|
Benerecetti, M.
|
|
2017
|
141-142 |
P2 |
p. 116-153
38 p.
|
article
|
| 19 |
Editorial Board
|
|
|
2017
|
141-142 |
P2 |
p. IFC-
1 p.
|
article
|
| 20 |
Editorial Board
|
|
|
2016
|
141-142 |
P2 |
p. IFC-
1 p.
|
article
|
| 21 |
Editorial Board
|
|
|
2015
|
141-142 |
P2 |
p. IFC-
1 p.
|
article
|
| 22 |
FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems
|
Bukhari, Syed Ali Asadullah
|
|
2017
|
141-142 |
P2 |
p. 154-174
21 p.
|
article
|
| 23 |
Fast as a shadow, expressive as a tree: Optimized memory monitoring for C
|
Jakobsson, Arvid
|
|
2016
|
141-142 |
P2 |
p. 226-246
21 p.
|
article
|
| 24 |
Formal analysis of privacy in Direct Anonymous Attestation schemes
|
Smyth, Ben
|
|
2015
|
141-142 |
P2 |
p. 300-317
18 p.
|
article
|
| 25 |
Formalizing hybrid systems with Event-B and the Rodin Platform
|
Su, Wen
|
|
2014
|
141-142 |
P2 |
p. 164-202
39 p.
|
article
|
| 26 |
Formal modelling and verification of interlocking systems featuring sequential release
|
Vu, Linh Hong
|
|
2017
|
141-142 |
P2 |
p. 91-115
25 p.
|
article
|
| 27 |
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude
|
Sabahi-Kaviani, Zeynab
|
|
2015
|
141-142 |
P2 |
p. 85-118
34 p.
|
article
|
| 28 |
Formal Techniques for Safety-Critical Systems (FTSCS 2014)
|
Artho, Cyrille
|
|
2017
|
141-142 |
P2 |
p. 89-90
2 p.
|
article
|
| 29 |
Formal verification of function blocks applied to IEC 61131-3
|
Pang, Linna
|
|
2015
|
141-142 |
P2 |
p. 149-190
42 p.
|
article
|
| 30 |
Fully symbolic TCTL model checking for complete and incomplete real-time systems
|
Morbé, Georges
|
|
2015
|
141-142 |
P2 |
p. 248-276
29 p.
|
article
|
| 31 |
Implementability of requirements in the four-variable model
|
Patcas, Lucian M.
|
|
2015
|
141-142 |
P2 |
p. 339-362
24 p.
|
article
|
| 32 |
Improving data-intensive EDA performance with annotation-driven laziness
|
Zagarese, Quirino
|
|
2015
|
141-142 |
P2 |
p. 266-279
14 p.
|
article
|
| 33 |
Integrating SMT solvers in Rodin
|
Déharbe, David
|
|
2014
|
141-142 |
P2 |
p. 130-143
14 p.
|
article
|
| 34 |
Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems
|
Dongol, Brijesh
|
|
2015
|
141-142 |
P2 |
p. 214-247
34 p.
|
article
|
| 35 |
Left recursion in Parsing Expression Grammars
|
Medeiros, Sérgio
|
|
2014
|
141-142 |
P2 |
p. 177-190
14 p.
|
article
|
| 36 |
Model-based programming environments for spreadsheets
|
Cunha, Jácome
|
|
2014
|
141-142 |
P2 |
p. 254-275
22 p.
|
article
|
| 37 |
Model-based testing for building reliable realtime interactive music systems
|
Poncelet, Clement
|
|
2016
|
141-142 |
P2 |
p. 143-172
30 p.
|
article
|
| 38 |
Modeling web applications infrastructure with ASMs
|
Gervasi, Vincenzo
|
|
2014
|
141-142 |
P2 |
p. 69-92
24 p.
|
article
|
| 39 |
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines
|
García-Pérez, A.
|
|
2014
|
141-142 |
P2 |
p. 176-199
24 p.
|
article
|
| 40 |
On the verification of SCOOP programs
|
Caltais, Georgiana
|
|
2017
|
141-142 |
P2 |
p. 194-215
22 p.
|
article
|
| 41 |
Optimized distributed implementation of multiparty interactions with Restriction
|
Bensalem, Saddek
|
|
2015
|
141-142 |
P2 |
p. 293-316
24 p.
|
article
|
| 42 |
Optimizing SYB traversals is easy!
|
Adams, Michael D.
|
|
2015
|
141-142 |
P2 |
p. 170-193
24 p.
|
article
|
| 43 |
Parallel gesture recognition with soft real-time guarantees
|
Marr, Stefan
|
|
2015
|
141-142 |
P2 |
p. 159-183
25 p.
|
article
|
| 44 |
Parallelism analysis: Precise WCET values for complex multi-core systems
|
Kelter, Timon
|
|
2017
|
141-142 |
P2 |
p. 175-193
19 p.
|
article
|
| 45 |
Preface
|
Artho, Cyrille
|
|
2015
|
141-142 |
P2 |
p. 83-84
2 p.
|
article
|
| 46 |
Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012
|
Riccobene, Elvinia
|
|
2014
|
141-142 |
P2 |
p. 67-68
2 p.
|
article
|
| 47 |
Preventing arithmetic overflows in Alloy
|
Milicevic, Aleksandar
|
|
2014
|
141-142 |
P2 |
p. 203-216
14 p.
|
article
|
| 48 |
Program verification via iterated specialization
|
De Angelis, E.
|
|
2014
|
141-142 |
P2 |
p. 149-175
27 p.
|
article
|
| 49 |
Refinement of decomposed models by interface instantiation
|
Hallerstede, Stefan
|
|
2014
|
141-142 |
P2 |
p. 144-163
20 p.
|
article
|
| 50 |
Revising basic theorem proving algorithms to cope with the logic of partial functions
|
Jones, Cliff B.
|
|
2014
|
141-142 |
P2 |
p. 238-252
15 p.
|
article
|
| 51 |
Rule-based peer-to-peer framework for decentralised real-time service oriented architectures
|
Cameron, Alexander
|
|
2015
|
141-142 |
P2 |
p. 202-234
33 p.
|
article
|
| 52 |
Security type error diagnosis for higher-order, polymorphic languages
|
Weijers, Jeroen
|
|
2014
|
141-142 |
P2 |
p. 200-218
19 p.
|
article
|
| 53 |
Selected and extended papers from Partial Evaluation and Program Manipulation 2013
|
Albert, Elvira
|
|
2014
|
141-142 |
P2 |
p. 147-148
2 p.
|
article
|
| 54 |
Selected and extended papers from Partial Evaluation and Program Manipulation 2014
|
Chin, Wei-Ngan
|
|
2015
|
141-142 |
P2 |
p. 119-
1 p.
|
article
|
| 55 |
Selected and extended papers of the Brazilian Symposium on Programming Languages 2012
|
de Carvalho Junior, Francisco Heron
|
|
2014
|
141-142 |
P2 |
p. 175-176
2 p.
|
article
|
| 56 |
Service composition with consideration of interdependent security objectives
|
Karatas, Fatih
|
|
2015
|
141-142 |
P2 |
p. 183-201
19 p.
|
article
|
| 57 |
Special issue on Automated Verification of Critical Systems (AVoCS 2013)
|
Schneider, Steve
|
|
2015
|
141-142 |
P2 |
p. 213-
1 p.
|
article
|
| 58 |
Special issue on programming based on actors, agents and decentralized control
|
Ricci, Alessandro
|
|
2015
|
141-142 |
P2 |
p. 117-119
3 p.
|
article
|
| 59 |
Special issue on Service-Oriented Architecture and Programming (SOAP 2013)
|
Lanese, Ivan
|
|
2015
|
141-142 |
P2 |
p. 181-182
2 p.
|
article
|
| 60 |
Special issue on Software Verification and Testing (SAC-SVT'15)
|
Salaün, Gwen
|
|
2016
|
141-142 |
P2 |
p. 141-142
2 p.
|
article
|
| 61 |
Supervisory control theory with Alloy
|
Fraikin, Benoît
|
|
2014
|
141-142 |
P2 |
p. 217-237
21 p.
|
article
|
| 62 |
Symmetry reduction for time Petri net state classes
|
Bourdil, Pierre-Alain
|
|
2016
|
141-142 |
P2 |
p. 209-225
17 p.
|
article
|
| 63 |
Test generation for sequential nets of Abstract State Machines with information passing
|
Arcaini, Paolo
|
|
2014
|
141-142 |
P2 |
p. 93-108
16 p.
|
article
|
| 64 |
The formalization and implementation of Adaptable Parsing Expression Grammars
|
Reis, Leonardo V.S.
|
|
2014
|
141-142 |
P2 |
p. 191-210
20 p.
|
article
|
| 65 |
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system
|
Khamespanah, Ehsan
|
|
2015
|
141-142 |
P2 |
p. 184-204
21 p.
|
article
|
| 66 |
Towards behavioral programming in distributed architectures
|
Harel, David
|
|
2015
|
141-142 |
P2 |
p. 233-267
35 p.
|
article
|
| 67 |
Tri-modal under-approximation for test generation
|
Bride, Hadrien
|
|
2016
|
141-142 |
P2 |
p. 190-208
19 p.
|
article
|
| 68 |
Type-changing rewriting and semantics-preserving transformation
|
Leather, Sean
|
|
2015
|
141-142 |
P2 |
p. 145-169
25 p.
|
article
|
Journal description