Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rafael M. Gasca
CyberSPL: A Framework for the Verification of Cybersecurity Policy Compliance of System Configurations Using Software Product Lines
Applied Sciences (Switzerland)
Instrumentation
Materials Science
Fluid Flow
Engineering
Computer Science Applications
Process Chemistry
Transfer Processes
Technology
A Semiquantitative Approach to Study Semiqualitative Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Family-Based Deductive Verification of Software Product Lines
Verification of Software Product Lines With Delta-Oriented Slicing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
FLAME: A Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
Software and Systems Modeling
Modeling
Software
Simulation
Towards a UML Profile for Software Product Lines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mining Existing Assets for Software Product Lines
Granularity in Software Product Lines
Model-Driven Product Consolidation Into Software Product Lines
Softwaretechnik-Trends
Towards Statistical Prioritization for Software Product Lines Testing
Combinatorial Generation of Operation System Software Configurations
Proceedings of the Institute for System Programming of RAS