Visual Specifications for Modular Reasoning about Asynchronous Systems
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Agents and Roles: Refinement in Alternating-Time Temporal Logic
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Feature specification and automated conflict detection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Program entanglement, feature interaction and the feature language extensions
Computer Networks: The International Journal of Computer and Telecommunications Networking
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Towards compositional synthesis of evolving systems
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Model-checking the Preservation of Temporal Properties upon Feature Integration
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesising Features by Games
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
Managing evolution in software product lines: a model-checking perspective
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Beyond boolean product-line model checking: dealing with feature attributes and multi-features
Proceedings of the 2013 International Conference on Software Engineering
Strategies for product-line verification: case studies and experiments
Proceedings of the 2013 International Conference on Software Engineering
Efficient quality assurance of variability-intensive systems
Proceedings of the 2013 International Conference on Software Engineering
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
ProVeLines: a product line of verifiers for software product lines
Proceedings of the 17th International Software Product Line Conference co-located workshops
Proceedings of the 17th International Software Product Line Conference co-located workshops
Feature-interaction detection based on feature-based specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Family-based performance measurement
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Formal semantics, modular specification, and symbolic verification of product-line behaviour
Science of Computer Programming
Reducing the verification cost of evolving product families using static analysis techniques
Science of Computer Programming
Hi-index | 0.00 |