| Efficient static analysis and verification of featured transition systems | 0 | 0.34 | 2022 |
| Static Analysis and Family-based Model Checking of Featured Transition Systems with VMC | 0 | 0.34 | 2021 |
| Static analysis and family-based model checking with VMC. | 0 | 0.34 | 2021 |
| The 2020 Expert Survey on Formal Methods. | 0 | 0.34 | 2020 |
| A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems | 2 | 0.36 | 2020 |
| Timed service contract automata | 0 | 0.34 | 2020 |
| Tackling the equivalent mutant problem in real-time systems - the 12 commandments of model-based mutation testing. | 0 | 0.34 | 2020 |
| Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services | 0 | 0.34 | 2020 |
| Compositionality of Safe Communication in Systems of Team Automata. | 0 | 0.34 | 2020 |
| Variability meets security - qantitative security modeling and analysis of highly customizable attack scenarios. | 0 | 0.34 | 2020 |
| Family-Based SPL Model Checking Using Parity Games with Variability. | 0 | 0.34 | 2020 |
| Survey On Formal Methods And Tools In Railways: The Astrail Approach | 2 | 0.36 | 2019 |
| Textual variability modeling languages: an overview and considerations | 2 | 0.37 | 2019 |
| From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL. | 0 | 0.34 | 2019 |
| Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. | 1 | 0.37 | 2019 |
| Adopting Formal Methods in an Industrial Setting - The Railways Case. | 1 | 0.35 | 2019 |
| Summary Of: On The Expressiveness Of Modal Transition Systems With Variability Constraints | 0 | 0.34 | 2019 |
| The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back. | 0 | 0.34 | 2019 |
| Replicated Computations Results (RCR) Report for "Design and Verification of Trusted Collective Adaptive Systems". | 1 | 0.36 | 2018 |
| On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. | 0 | 0.34 | 2018 |
| States and Events in KandISTI - A Retrospective. | 0 | 0.34 | 2018 |
| Formal methods for transport systems. | 4 | 0.40 | 2018 |
| Orchestration Synthesis For Real-Time Service Contracts | 0 | 0.34 | 2018 |
| Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook. | 0 | 0.34 | 2018 |
| Formal methods and automated verification of critical systems. | 0 | 0.34 | 2018 |
| X-by-Construction. | 0 | 0.34 | 2018 |
| Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). | 2 | 0.38 | 2018 |
| Modelling and analysis with featured modal contract automata. | 0 | 0.34 | 2018 |
| Product line models of large cyber-physical systems: the case of ERTMS/ETCS. | 0 | 0.34 | 2018 |
| A framework for quantitative modeling and analysis of highly (re)configurable systems. | 6 | 0.41 | 2017 |
| Orchestration Of Dynamic Service Product Lines With Featured Modal Contract Automata | 2 | 0.36 | 2017 |
| Family-Based Model Checking with mCRL2. | 8 | 0.44 | 2017 |
| Towards A Feature Mu-Calculus Targeting Spl Verification | 4 | 0.39 | 2016 |
| Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering | 3 | 0.39 | 2016 |
| Supervisory Controller Synthesis for Product Lines Using CIF 3. | 7 | 0.50 | 2016 |
| Automated verification of programs and Web systems | 1 | 0.36 | 2016 |
| Conditions for Compatibility of Components - The Case of Masters and Slaves. | 0 | 0.34 | 2016 |
| Statistical Model Checking for Product Lines. | 9 | 0.45 | 2016 |
| Correctness-by-Construction and Post-hoc Verification: Friends or Foes? | 1 | 0.37 | 2016 |
| Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. | 25 | 0.75 | 2016 |
| Variability-Based Design of Services for Smart Transportation Systems. | 3 | 0.38 | 2016 |
| Using FMC for family-based analysis of software product lines | 4 | 0.40 | 2015 |
| From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI. | 0 | 0.34 | 2015 |
| Communication and Compatibility in Systems of Systems: Correctness-by-Construction. | 1 | 0.35 | 2015 |
| Towards Automatic Decision Support for Bike-Sharing System Design | 5 | 0.46 | 2015 |
| Applying the product lines paradigm to the quantitative analysis of collective adaptive systems | 5 | 0.44 | 2015 |
| Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems | 7 | 0.58 | 2014 |
| Fomal Methods and Analyses in Software Product Line Engineering - (Track Summary). | 0 | 0.34 | 2014 |
| Using mCRL2 for the analysis of software product lines | 17 | 0.56 | 2014 |
| Software product line analysis with mCRL2 | 5 | 0.41 | 2014 |
