| Developing and Verifying Response Specifications in Hierarchical Event-Based Systems. | 0 | 0.34 | 2016 |
| Developing and Verifying Response Specifications in Hierarchical Event-Based Systems. | 0 | 0.34 | 2016 |
| Proving mutual termination | 2 | 0.36 | 2015 |
| A tool-supported approach for modular design of energy-aware software | 3 | 0.46 | 2014 |
| Specification and verification of event detectors and responses | 5 | 0.45 | 2013 |
| Deriving minimal models for resource utilization | 1 | 0.36 | 2013 |
| A closer look at aspect interference and cooperation | 12 | 0.59 | 2012 |
| Proving mutual termination of programs | 1 | 0.37 | 2012 |
| The common aspect proof environment | 3 | 0.40 | 2012 |
| Transactions on aspect-oriented software development VIII | 23 | 1.04 | 2011 |
| Compositional verification of events and observers: (summary) | 4 | 0.48 | 2011 |
| Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools. | 0 | 0.34 | 2011 |
| Making aspects natural: events and composition | 12 | 0.68 | 2011 |
| Checking the correspondence between UML models and implementation | 2 | 0.37 | 2010 |
| Transactions on aspect-oriented software development VII: a common case study for aspect-oriented modeling | 16 | 1.55 | 2010 |
| MAVEN: modular aspect verification and interference analysis | 14 | 0.65 | 2010 |
| Dataflow analysis for properties of aspect systems | 4 | 0.47 | 2009 |
| Reusing semi-specified behavior models in systems analysis and design | 1 | 0.36 | 2009 |
| Modular verification of strongly invasive aspects: summary | 7 | 0.49 | 2009 |
| Modular Verification of Strongly Invasive Aspects | 4 | 0.44 | 2009 |
| The HighspectJ framework | 2 | 0.41 | 2009 |
| Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday | 14 | 1.31 | 2009 |
| Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering | 10 | 0.63 | 2009 |
| Editorial for Special Section on Dependencies and Interactions with Aspects | 3 | 0.44 | 2009 |
| Incremental analysis of interference among aspects | 26 | 1.40 | 2008 |
| The TDD-Guide Training and Guidance Tool for Test-Driven Development | 8 | 0.56 | 2008 |
| A concern architecture view for aspect-oriented software design | 5 | 0.57 | 2007 |
| VeriTech: a framework for translating among model description notations | 3 | 0.45 | 2007 |
| Using aspects to support the software process: XP over Eclipse | 6 | 0.66 | 2006 |
| Rigorous fault tolerance using aspects and formal methods | 0 | 0.34 | 2006 |
| A Model Curriculum for Aspect-Oriented Software Development | 1 | 0.34 | 2006 |
| Aspect categories and classes of temporal properties | 61 | 2.01 | 2006 |
| Modelling code mobility and migration: an OPM/Web approach | 3 | 0.44 | 2005 |
| Verifying scenario-based aspect specifications | 13 | 0.78 | 2005 |
| A Mechanized Proof Environment for the Convenient Computations Proof Method | 3 | 0.49 | 2003 |
| Superimpositions and Aspect-oriented Programming | 32 | 2.07 | 2003 |
| Architectural views of aspects | 55 | 3.70 | 2003 |
| Aspect Validation Using Model Checking | 15 | 0.95 | 2003 |
| Translations between Textual Transition Systems and Petri Nets | 4 | 0.44 | 2002 |
| OPM/Web – Object-Process Methodology for Developing Web Applications | 13 | 1.44 | 2002 |
| A Framework for Translating Models and Specifications | 14 | 0.91 | 2002 |
| Open Reuse of Component Designs in OPM/We | 5 | 0.69 | 2002 |
| A calculus of superimpositions for distributed systems | 14 | 1.03 | 2002 |
| Developing Web Applications with OPM/Web | 0 | 0.34 | 2001 |
| Faithful Translations among Models and Specifications | 10 | 0.55 | 2001 |
| Extending Memory Consistency of Finite Prefixes to Infinite Computations | 4 | 0.53 | 2001 |
| Saving Space by Fully Exploiting Invisible Transitions | 9 | 0.72 | 1999 |
| Self-Stabilizing Distributed Constraint Satisfaction | 21 | 2.02 | 1999 |
| Mechanizing Proofs of Computation Equivalence | 3 | 0.41 | 1999 |
| Aspects and Superimpositions | 15 | 1.13 | 1999 |
