Linked e-resources
Details
Table of Contents
The Death of Object-Oriented Programming
Concurrent and Distributed Systems Automated Choreography Repair
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters
Integrated environment for verifying and running distributed components
Model-Driven Development
Iterative and incremental model generation by logic solvers
Automated Model Merge by Design Space Exploration
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules
Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models
Analysis and Bug Triaging
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices
The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs
Modeling and Abstraction of Memory Management in a Hypervisor
Crowdsourced Bug Triaging: Leveraging Q&A resources for Bug Assignment
Probabilistic and Stochastic Systems Model-Based Testing of Probabilistic Systems
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive Systems
Family-Based Modeling and Analysis for Probabilistic Systems
Featuring ProFeat
Statistical model checking of e-Motions domain-specific modeling languages
Proof and Theorem Proving
Towards Formal Proof Metrics
Reduction Rules for Colored Workflow Nets
Many-valued Institutions for Constraint Specification
CafeInMaude: a CafeOBJ interpreter in Maude
Verification
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique
Hybrid Session Verification through Endpoint API Generation
PVAIR: Partial Variable Assignment InterpolatoR. .
Concurrent and Distributed Systems Automated Choreography Repair
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters
Integrated environment for verifying and running distributed components
Model-Driven Development
Iterative and incremental model generation by logic solvers
Automated Model Merge by Design Space Exploration
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules
Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models
Analysis and Bug Triaging
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices
The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs
Modeling and Abstraction of Memory Management in a Hypervisor
Crowdsourced Bug Triaging: Leveraging Q&A resources for Bug Assignment
Probabilistic and Stochastic Systems Model-Based Testing of Probabilistic Systems
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive Systems
Family-Based Modeling and Analysis for Probabilistic Systems
Featuring ProFeat
Statistical model checking of e-Motions domain-specific modeling languages
Proof and Theorem Proving
Towards Formal Proof Metrics
Reduction Rules for Colored Workflow Nets
Many-valued Institutions for Constraint Specification
CafeInMaude: a CafeOBJ interpreter in Maude
Verification
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique
Hybrid Session Verification through Endpoint API Generation
PVAIR: Partial Variable Assignment InterpolatoR. .