Nome |
# |
Delta-Oriented Programming of Software Product Lines, file e27ce426-ccad-2581-e053-d805fe0acbaa
|
821
|
Compositional Type Checking of Delta-Oriented Software Product Lines, file e27ce426-ed33-2581-e053-d805fe0acbaa
|
586
|
Field-based coordination with the share operator, file e27ce430-d931-2581-e053-d805fe0acbaa
|
527
|
A novel model-based testing approach for software product lines, file e27ce42a-f2e9-2581-e053-d805fe0acbaa
|
270
|
DeltaJ 1.5: delta-oriented programming for Java 1.5, file e27ce427-d5db-2581-e053-d805fe0acbaa
|
247
|
Verifying traits: an incremental proof system for fine-grained reuse, file e27ce426-e2af-2581-e053-d805fe0acbaa
|
235
|
A core calculus for dynamic delta-oriented programming, file e27ce42c-0206-2581-e053-d805fe0acbaa
|
206
|
FScaFi : A Core Calculus for Collective Adaptive Systems Programming, file e27ce431-2777-2581-e053-d805fe0acbaa
|
204
|
A Prototypical Java-like Language with Records and Traits, file e27ce426-cca8-2581-e053-d805fe0acbaa
|
197
|
Standard Type Soundness for Agents and Artifacts, file e27ce426-e0e2-2581-e053-d805fe0acbaa
|
193
|
Multi software product lines in the wild, file e27ce42d-119a-2581-e053-d805fe0acbaa
|
193
|
A Calculus for Boxes and Traits in a Java-Like Setting, file e27ce426-ccae-2581-e053-d805fe0acbaa
|
191
|
TraitRecordJ: A programming language with traits and records, file e27ce426-d034-2581-e053-d805fe0acbaa
|
190
|
A Calculus of Self-stabilising Computational Fields, file e27ce428-e326-2581-e053-d805fe0acbaa
|
187
|
Proof repositories for compositional verification of evolving software systems managing change when proving software correct, file e27ce42a-e275-2581-e053-d805fe0acbaa
|
176
|
From Featured Transition Systems to Modal Transition Systems with Variability Constraints, file e27ce427-b62e-2581-e053-d805fe0acbaa
|
168
|
Generic traits for the Java platform, file e27ce427-d7b1-2581-e053-d805fe0acbaa
|
160
|
Delta-oriented multi software product lines, file e27ce427-d4c1-2581-e053-d805fe0acbaa
|
153
|
Hybrid Calculus of Wrapped Compartments, file e27ce426-c5d3-2581-e053-d805fe0acbaa
|
152
|
A toolchain for delta-oriented modeling of software product lines, file e27ce42a-a253-2581-e053-d805fe0acbaa
|
148
|
Refactoring Delta-Oriented Product Lines to achieve Monotonicity, file e27ce429-71f8-2581-e053-d805fe0acbaa
|
141
|
On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics, file e27ce427-0c8b-2581-e053-d805fe0acbaa
|
135
|
Type-based Self-stabilisation for Computational Fields, file e27ce428-19d8-2581-e053-d805fe0acbaa
|
135
|
Combining Traits with Boxes and Ownership Types in a Java-like Setting, file e27ce426-dad1-2581-e053-d805fe0acbaa
|
130
|
Functional Programming for Distributed Systems with XC, file 24bf7093-2532-4345-9c0c-1468eb69b6e0
|
128
|
On Flexible Dynamic Trait Replacement for Java-like Languages, file e27ce426-d69e-2581-e053-d805fe0acbaa
|
128
|
Implementing type-safe software product lines using parametric traits, file e27ce426-f654-2581-e053-d805fe0acbaa
|
128
|
Self-adaptation to device distribution in the internet of things, file e27ce42b-dc6d-2581-e053-d805fe0acbaa
|
126
|
On Re-classification and Multithreading, file e27ce42a-987e-2581-e053-d805fe0acbaa
|
116
|
Aggregate processes in field calculus, file e27ce42e-aca6-2581-e053-d805fe0acbaa
|
113
|
A type-sound calculus of computational fields, file e27ce428-e55f-2581-e053-d805fe0acbaa
|
108
|
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems, file e27ce42e-f9e4-2581-e053-d805fe0acbaa
|
105
|
Static analysis and family-based model checking of featured transition systems with VMC, file e27ce432-cd98-2581-e053-d805fe0acbaa
|
105
|
Optimally-Self-Healing Distributed Gradient Structures through Bounded Information Speed, file e27ce42b-a5cb-2581-e053-d805fe0acbaa
|
104
|
Aggregate graph statistics, file e27ce42c-e131-2581-e053-d805fe0acbaa
|
103
|
On distributed runtime verification by aggregate computing, file e27ce42e-fef9-2581-e053-d805fe0acbaa
|
97
|
A Formal Model for Multi SPLs, file e27ce42c-8103-2581-e053-d805fe0acbaa
|
82
|
Certifying delta-oriented programs, file e27ce42e-b2fa-2581-e053-d805fe0acbaa
|
81
|
Variability modules for Java-like languages, file e27ce432-afc1-2581-e053-d805fe0acbaa
|
77
|
Resilient distributed collection through information speed thresholds, file e27ce42f-ffb1-2581-e053-d805fe0acbaa
|
73
|
Interoperability of software product line variants, file e27ce42d-2cec-2581-e053-d805fe0acbaa
|
72
|
Lazy product discovery in huge configuration spaces, file e27ce430-e1b9-2581-e053-d805fe0acbaa
|
67
|
On Two Characterizations of Feature Models, file e27ce430-d30e-2581-e053-d805fe0acbaa
|
66
|
Delta-Trait Programming of Software Product Lines, file e27ce428-e4f8-2581-e053-d805fe0acbaa
|
63
|
HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems, file e27ce42c-c8c2-2581-e053-d805fe0acbaa
|
61
|
A higher-order calculus of computational fields, file e27ce42d-f59a-2581-e053-d805fe0acbaa
|
61
|
Introduction to the track on variability modeling for scalable software evolution, file e27ce42a-9cbe-2581-e053-d805fe0acbaa
|
60
|
A unified and formal programming model for deltas and traits, file e27ce42b-5500-2581-e053-d805fe0acbaa
|
59
|
The share operator for field-based coordination, file e27ce42e-6bbb-2581-e053-d805fe0acbaa
|
54
|
Parametric DeltaJ 1.5: Propagating feature attributes into implementation artifacts, file e27ce429-715e-2581-e053-d805fe0acbaa
|
53
|
From field-based coordination to aggregate computing, file e27ce42d-1af7-2581-e053-d805fe0acbaa
|
53
|
Code mobility meets self-organisation: A higher-order calculus of computational fields, file e27ce427-af0a-2581-e053-d805fe0acbaa
|
52
|
Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse, file e27ce426-9d8a-2581-e053-d805fe0acbaa
|
51
|
Compositional Blocks for Optimal Self-Healing Gradients, file e27ce42c-a9f0-2581-e053-d805fe0acbaa
|
41
|
Space-time universality of field calculus, file e27ce42c-e132-2581-e053-d805fe0acbaa
|
39
|
On Slicing Software Product Line Signatures, file e27ce430-dd2b-2581-e053-d805fe0acbaa
|
37
|
Adaptive distributed monitors of spatial properties for cyber–physical systems, file e27ce431-992c-2581-e053-d805fe0acbaa
|
36
|
On checking delta-oriented product lines of statecharts, file e27ce42c-e125-2581-e053-d805fe0acbaa
|
34
|
Preface, file e27ce432-d84c-2581-e053-d805fe0acbaa
|
34
|
On a Higher-Order Calculus of Computational Fields, file e27ce42e-6bb8-2581-e053-d805fe0acbaa
|
32
|
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala, file 96e96f50-fe19-4b44-8641-6e342a0ca07e
|
31
|
On Type Checking Delta-Oriented Product Lines, file e27ce429-697e-2581-e053-d805fe0acbaa
|
31
|
From distributed coordination to field calculus and aggregate computing, file e27ce42e-ec63-2581-e053-d805fe0acbaa
|
31
|
Even more principal typings for Java-like languages, file e27ce426-9d88-2581-e053-d805fe0acbaa
|
30
|
Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking, file e27ce42a-c41e-2581-e053-d805fe0acbaa
|
23
|
Engineering collective intelligence at the edge with aggregate processes, file e27ce431-1cbb-2581-e053-d805fe0acbaa
|
23
|
Self-Adaptation to Device Distribution Changes, file e27ce42b-5697-2581-e053-d805fe0acbaa
|
22
|
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints, file e27ce42e-fb10-2581-e053-d805fe0acbaa
|
21
|
A Formal Model of the Kubernetes Container Framework, file e27ce430-fa93-2581-e053-d805fe0acbaa
|
20
|
A State Abstraction for Coordination in Java-like Languages, file e27ce426-9d89-2581-e053-d805fe0acbaa
|
19
|
Abstraction refinement for the analysis of software product lines, file e27ce42c-3d10-2581-e053-d805fe0acbaa
|
19
|
Optimal single-path information propagation in gradient-based algorithms, file e27ce42c-e12b-2581-e053-d805fe0acbaa
|
19
|
On the expressiveness of modal transition systems with variability constraints, file e27ce42e-5397-2581-e053-d805fe0acbaa
|
19
|
An extension of the ABS toolchain with a mechanism for type checking SPLs, file e27ce42b-ea72-2581-e053-d805fe0acbaa
|
17
|
Static analysis of featured transition systems, file e27ce42e-f377-2581-e053-d805fe0acbaa
|
17
|
RM for Users' Safety and Security in the Built Environment, file e27ce431-ef1c-2581-e053-d805fe0acbaa
|
17
|
Proceedings of the Third International Workshop on Intersection Types and Related Systems (ITRS 2004), file e27ce42a-8947-2581-e053-d805fe0acbaa
|
16
|
A formal model for Multi Software Product Lines, file e27ce42e-5539-2581-e053-d805fe0acbaa
|
16
|
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form, file e27ce42e-ff6b-2581-e053-d805fe0acbaa
|
16
|
Run-Time management of computation domains in field calculus, file e27ce42b-5877-2581-e053-d805fe0acbaa
|
15
|
Simulation techniques for the calculus of wrapped compartments, file e27ce42a-de81-2581-e053-d805fe0acbaa
|
13
|
Big data from the cloud to the edge: The aggregate computing solution, file e27ce42f-b367-2581-e053-d805fe0acbaa
|
13
|
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts, file e27ce42f-2284-2581-e053-d805fe0acbaa
|
12
|
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields, file e27ce428-e559-2581-e053-d805fe0acbaa
|
11
|
Xtraitj: Traits for the Java platform, file e27ce42a-932b-2581-e053-d805fe0acbaa
|
11
|
Towards a Standard for Human Interaction with Connected Autonomous Vehicles, file 816aede1-bca9-4f26-abec-3088829082df
|
10
|
Predicting resource consumption of Kubernetes container systems using resource models, file 09ac3092-54ca-4864-8793-6f3e76848dc4
|
9
|
Variability modules, file 3e20f653-933b-4806-941e-b82b970ffebc
|
9
|
A formal foundation for dynamic delta-oriented software product lines, file e27ce426-ef44-2581-e053-d805fe0acbaa
|
8
|
Bringing Aggregate Programming Towards the Cloud, file fa94e836-1398-4ad2-ba6a-b2fd5881ebd6
|
8
|
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis, file e27ce426-db5f-2581-e053-d805fe0acbaa
|
6
|
Engineering resilient collective adaptive systems by self-stabilisation, file e27ce42c-de30-2581-e053-d805fe0acbaa
|
6
|
A core calculus for dynamic delta-oriented programming, file e27ce42c-e12d-2581-e053-d805fe0acbaa
|
6
|
On Two Characterizations of Feature Models, file e27ce430-dd2d-2581-e053-d805fe0acbaa
|
6
|
From Featured Transition Systems to Modal Transition Systems with Variability Constraints, file e27ce427-af00-2581-e053-d805fe0acbaa
|
4
|
On the expressiveness of modal transition systems with variability constraints, file e27ce42d-a278-2581-e053-d805fe0acbaa
|
4
|
On Slicing Software Product Line Signatures, file e27ce430-dd2a-2581-e053-d805fe0acbaa
|
4
|
On Stream Runtime Verification and Aggregate Programming, file 0924e9a5-cb18-4c06-831b-9f2fed16e925
|
3
|
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC, file 3c034f93-4310-482f-b5f0-2ed0897c1bf0
|
3
|
COMPUTATION AGAINST A NEIGHBOUR: ADDRESSING LARGE-SCALE DISTRIBUTION AND ADAPTIVITY WITH FUNCTIONAL PROGRAMMING AND SCALA, file 5f708e72-ae30-4fc8-93ea-06eb05c79067
|
3
|
Totale |
9.015 |