| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Advances in Dynamic Languages
|
Laval, Jannik
|
|
2015
|
141-142 |
P3 |
p. 317-
1 p.
|
artikel
|
| 2 |
A general framework for blaming in component-based systems
|
Gössler, Gregor
|
|
2015
|
141-142 |
P3 |
p. 223-235
13 p.
|
artikel
|
| 3 |
A practical comparator of cost functions and its applications
|
Albert, Elvira
|
|
2015
|
141-142 |
P3 |
p. 483-504
22 p.
|
artikel
|
| 4 |
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling
|
Boudjadar, Abdeldjalil
|
|
2015
|
141-142 |
P3 |
p. 236-260
25 p.
|
artikel
|
| 5 |
A sound and complete theory of graph transformations for service programming with sessions and pipelines
|
Zhao, Liang
|
|
2014
|
141-142 |
P3 |
p. 255-288
34 p.
|
artikel
|
| 6 |
Automatic deployment of component-based applications
|
Lascu, Tudor A.
|
|
2015
|
141-142 |
P3 |
p. 261-284
24 p.
|
artikel
|
| 7 |
Axioms as generic rewrite rules in C++ with concepts
|
Tang, Xiaolong
|
|
2015
|
141-142 |
P3 |
p. 320-330
11 p.
|
artikel
|
| 8 |
Certifying execution time in multicores
|
Rodrigues, Vítor
|
|
2015
|
141-142 |
P3 |
p. 505-534
30 p.
|
artikel
|
| 9 |
Computational contracts
|
Scholliers, Christophe
|
|
2015
|
141-142 |
P3 |
p. 360-375
16 p.
|
artikel
|
| 10 |
Constructive polychronous systems
|
Talpin, Jean-Pierre
|
|
2014
|
141-142 |
P3 |
p. 377-394
18 p.
|
artikel
|
| 11 |
Contracts-refinement proof system for component-based embedded systems
|
Cimatti, Alessandro
|
|
2015
|
141-142 |
P3 |
p. 333-348
16 p.
|
artikel
|
| 12 |
Cooperative types for controlling thread interference in Java
|
Yi, Jaeheon
|
|
2015
|
141-142 |
P3 |
p. 227-260
34 p.
|
artikel
|
| 13 |
Dynamic adaptation with distributed control in Paradigm
|
Andova, S.
|
|
2014
|
141-142 |
P3 |
p. 333-361
29 p.
|
artikel
|
| 14 |
Dynamic program analysis—Reconciling developer productivity and tool performance
|
Sarimbekov, Aibek
|
|
2014
|
141-142 |
P3 |
p. 344-358
15 p.
|
artikel
|
| 15 |
Editorial Board
|
|
|
2015
|
141-142 |
P3 |
p. IFC-
1 p.
|
artikel
|
| 16 |
Editorial Board
|
|
|
2015
|
141-142 |
P3 |
p. IFC-
1 p.
|
artikel
|
| 17 |
Field-sensitive unreachability and non-cyclicity analysis
|
Scapin, Enrico
|
|
2014
|
141-142 |
P3 |
p. 359-375
17 p.
|
artikel
|
| 18 |
Formal Aspects of Component Software (FACS 2013)
|
Fiadeiro, José Luiz
|
|
2015
|
141-142 |
P3 |
p. 221-222
2 p.
|
artikel
|
| 19 |
Formal Aspects of Component Software (FACS 2010 selected and extended papers)
|
Barbosa, Luís Soares
|
|
2014
|
141-142 |
P3 |
p. 253-254
2 p.
|
artikel
|
| 20 |
Formal specification and verification of a coordination protocol for an automated air traffic control system
|
Zhao, Yang
|
|
2014
|
141-142 |
P3 |
p. 337-353
17 p.
|
artikel
|
| 21 |
Ghost: A uniform and general-purpose proxy implementation
|
Martinez Peck, Mariano
|
|
2015
|
141-142 |
P3 |
p. 339-359
21 p.
|
artikel
|
| 22 |
Handles: Behavior-propagating first class references for dynamically-typed languages
|
Arnaud, Jean-Baptiste
|
|
2015
|
141-142 |
P3 |
p. 318-338
21 p.
|
artikel
|
| 23 |
Implementing type-safe software product lines using parametric traits
|
Bettini, Lorenzo
|
|
2015
|
141-142 |
P3 |
p. 282-308
27 p.
|
artikel
|
| 24 |
Light combinators for finite fields arithmetic
|
Canavese, D.
|
|
2015
|
141-142 |
P3 |
p. 365-394
30 p.
|
artikel
|
| 25 |
Mitigating the effects of equivalent mutants with mutant classification strategies
|
Papadakis, Mike
|
|
2014
|
141-142 |
P3 |
p. 298-319
22 p.
|
artikel
|
| 26 |
Model checking adaptive service compositions
|
Bugliesi, M.
|
|
2014
|
141-142 |
P3 |
p. 289-306
18 p.
|
artikel
|
| 27 |
Modeling and analysis of compositional software (papers from EUROMICRO SEAA'12)
|
Cortellessa, Vittorio
|
|
2015
|
141-142 |
P3 |
p. 331-332
2 p.
|
artikel
|
| 28 |
Modeling and verification of component connectors in Coq
|
Li, Yi
|
|
2015
|
141-142 |
P3 |
p. 285-301
17 p.
|
artikel
|
| 29 |
Monitoring method call sequences using annotations
|
Nobakht, B.
|
|
2014
|
141-142 |
P3 |
p. 362-378
17 p.
|
artikel
|
| 30 |
NAT2TEST
SCR
: Test case generation from natural language requirements based on SCR specifications
|
Carvalho, Gustavo
|
|
2014
|
141-142 |
P3 |
p. 275-297
23 p.
|
artikel
|
| 31 |
New degrees of freedom in metaheuristic optimization of component-based systems architecture: Architecture topology and load balancing
|
Etemaadi, Ramin
|
|
2015
|
141-142 |
P3 |
p. 366-380
15 p.
|
artikel
|
| 32 |
Object-focused environments revisited
|
Olivero, Fernando
|
|
2015
|
141-142 |
P3 |
p. 394-407
14 p.
|
artikel
|
| 33 |
On bounding space usage of streams using interpretation analysis
|
Gaboardi, Marco
|
|
2015
|
141-142 |
P3 |
p. 395-425
31 p.
|
artikel
|
| 34 |
On modelling and verifying railway interlockings: Tracking train lengths
|
James, Phillip
|
|
2014
|
141-142 |
P3 |
p. 315-336
22 p.
|
artikel
|
| 35 |
Parallel parsing made practical
|
Barenghi, Alessandro
|
|
2015
|
141-142 |
P3 |
p. 195-226
32 p.
|
artikel
|
| 36 |
Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011
|
Shkaravska, Olha
|
|
2015
|
141-142 |
P3 |
p. 363-364
2 p.
|
artikel
|
| 37 |
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2010)
|
Ancona, Davide
|
|
2015
|
141-142 |
P3 |
p. 281-
1 p.
|
artikel
|
| 38 |
Property-dependent reductions adequate with divergence-sensitive branching bisimilarity
|
Mateescu, Radu
|
|
2014
|
141-142 |
P3 |
p. 354-376
23 p.
|
artikel
|
| 39 |
QoS contract preservation through dynamic reconfiguration: A formal semantics approach
|
Tamura, Gabriel
|
|
2014
|
141-142 |
P3 |
p. 307-332
26 p.
|
artikel
|
| 40 |
Repository and meta-data design for efficient component consistency verification
|
Brada, Premek
|
|
2015
|
141-142 |
P3 |
p. 349-365
17 p.
|
artikel
|
| 41 |
Robust trait composition for Javascript
|
Van Cutsem, Tom
|
|
2015
|
141-142 |
P3 |
p. 422-438
17 p.
|
artikel
|
| 42 |
Scheduling intense applications most ‘surprising’ first
|
Rooney, Sean
|
|
2015
|
141-142 |
P3 |
p. 309-319
11 p.
|
artikel
|
| 43 |
Selected and extended papers from Bytecode 2013
|
Gómez-Zamalloa, Miguel
|
|
2014
|
141-142 |
P3 |
p. 343-
1 p.
|
artikel
|
| 44 |
Space consumption analysis by abstract interpretation: Inference of recursive functions
|
Montenegro, Manuel
|
|
2015
|
141-142 |
P3 |
p. 426-457
32 p.
|
artikel
|
| 45 |
Space consumption analysis by abstract interpretation: Reductivity properties
|
Montenegro, Manuel
|
|
2015
|
141-142 |
P3 |
p. 458-482
25 p.
|
artikel
|
| 46 |
Special issue on Automated Verification of Critical Systems (AVoCS'12)
|
Lüttgen, Gerald
|
|
2014
|
141-142 |
P3 |
p. 277-278
2 p.
|
artikel
|
| 47 |
Special section on Software Verification and Testing
|
Mousavi, Mohammad Reza
|
|
2014
|
141-142 |
P3 |
p. 273-274
2 p.
|
artikel
|
| 48 |
Specification and verification of GPGPU programs
|
Blom, Stefan
|
|
2014
|
141-142 |
P3 |
p. 376-388
13 p.
|
artikel
|
| 49 |
Static analysis of lists by combining shape and numerical abstractions
|
Chen, Liqian
|
|
2014
|
141-142 |
P3 |
p. 320-342
23 p.
|
artikel
|
| 50 |
The impact of meta-tracing on VM design and implementation
|
Bolz, Carl Friedrich
|
|
2015
|
141-142 |
P3 |
p. 408-421
14 p.
|
artikel
|
| 51 |
Two approaches for proving linearizability of multiset
|
Tofan, Bogdan
|
|
2014
|
141-142 |
P3 |
p. 297-314
18 p.
|
artikel
|
| 52 |
Verification of the functional behavior of a floating-point program: An industrial case study
|
Marché, Claude
|
|
2014
|
141-142 |
P3 |
p. 279-296
18 p.
|
artikel
|
| 53 |
Visually characterizing source code changes
|
Uquillas Gómez, Verónica
|
|
2015
|
141-142 |
P3 |
p. 376-393
18 p.
|
artikel
|
Tijdschrift beschrijving