| A theoretical framework for cardinality-based feature models: The semantics and computational aspects. | 0 | 0.34 | 2018 |
| Toward Product Lines of Mathematical Models for Software Model Management. | 0 | 0.34 | 2017 |
| A Graph Transformation Approach to Introducing Aspects into Software Architectures. | 0 | 0.34 | 2017 |
| Heterogeneous Megamodel Slicing for Model Evolution. | 2 | 0.39 | 2016 |
| Faithful Modeling Of Product Lines With Kripke Structures And Modal Logic | 0 | 0.34 | 2016 |
| Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams | 1 | 0.37 | 2016 |
| Multiset Theories of Cardinality-based Feature Diagrams. | 0 | 0.34 | 2016 |
| A model management approach for assurance case reuse due to system evolution. | 3 | 0.43 | 2016 |
| Model management for regulatory compliance: a position paper. | 4 | 0.45 | 2016 |
| Modeling Product Lines with Kripke Structures and Modal Logic. | 4 | 0.46 | 2015 |
| Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge. | 1 | 0.35 | 2015 |
| Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? | 2 | 0.52 | 2015 |
| A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical | 1 | 0.35 | 2015 |
| Implementability of requirements in the four-variable model | 1 | 0.48 | 2015 |
| Elementary Model Management Patterns. | 0 | 0.34 | 2015 |
| The Semantics of Cardinality-Based Feature Models via Formal Languages | 5 | 0.41 | 2015 |
| Analysis of Source-to-Target Model Transformations in QueST. | 1 | 0.36 | 2015 |
| Impact Analysis via Reachability and Alias Analysis. | 1 | 0.37 | 2014 |
| Combining Static And Dynamic Impact Analysis For Large-Scale Enterprise Systems | 2 | 0.43 | 2014 |
| A Query Structured Approach for Model Transformation. | 2 | 0.39 | 2014 |
| The Definition and Assessment of a Safety Argument | 1 | 0.36 | 2014 |
| Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving | 12 | 0.53 | 2013 |
| Mapping-Aware Megamodeling: Design Patterns and Laws. | 13 | 0.76 | 2013 |
| What IS a BoK? Large - Extended Abstract -. | 1 | 0.41 | 2013 |
| From System Requirements to Software Requirements in the Four-Variable Model. | 4 | 0.47 | 2013 |
| Large-Scale Enterprise Systems: Changes and Impacts. | 2 | 0.43 | 2012 |
| Specifying and verifying declarative fluent temporal logic properties of workflows | 6 | 0.51 | 2012 |
| Intermodeling, queries, and kleisli categories | 21 | 0.80 | 2012 |
| A Categorical Approach to Structuring and Promoting Z Specifications. | 2 | 0.36 | 2012 |
| Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity | 0 | 0.34 | 2012 |
| An event-b approach to timing issues applied to the generic insulin infusion pump | 6 | 0.49 | 2011 |
| Software certification consortium: certification methods for safety-critical software | 0 | 0.34 | 2010 |
| Software certification: is there a case against safety cases? | 21 | 1.85 | 2010 |
| Certification of software-driven medical devices | 0 | 0.34 | 2010 |
| Specifying and Verifying Business Processes Using PPML | 1 | 0.37 | 2009 |
| A Software Certification Consortium and its Top 9 Hurdles | 7 | 1.14 | 2009 |
| On software certification: we need product-focused approaches | 8 | 0.98 | 2008 |
| A Tableaux System for Deontic Action Logic | 13 | 0.87 | 2008 |
| Design in CommUnity with extension morphisms | 0 | 0.34 | 2007 |
| Verifying temporal properties of community designs | 4 | 0.52 | 2007 |
| On specifying systems that connect to the physical world | 1 | 0.36 | 2006 |
| Towards specification, modelling and analysis of fault tolerance in self managed systems | 19 | 0.99 | 2006 |
| Towards dynamically communicating abstract machines in the b method | 0 | 0.34 | 2005 |
| A Verification Logic for Rewriting Logic | 6 | 0.46 | 2005 |
| Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems | 7 | 0.48 | 2004 |
| Towards dynamic population management of abstract machines in the B method | 2 | 0.43 | 2003 |
| A logical basis for the specification of reconfigurable component-based systems | 16 | 0.78 | 2003 |
| Goal-Oriented Requirements Analysis for Process Control Systems Design | 6 | 0.60 | 2003 |
| A Branching Time Logical System for Open Distributed Systems Development | 1 | 0.36 | 2002 |
| A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems | 24 | 1.20 | 2002 |
