| An ontology-based approach with which to assign human resources to software projects |
6 |
| A formal approach to modeling and verification of business process collaborations |
6 |
| Variant-based satisfiability in initial algebras |
6 |
| Formal techniques in the safety analysis of software components of a new dialysis machine |
5 |
| A tool for domain-independent model mutation |
5 |
| Design and implementation of a cross-layer IoT protocol |
4 |
| The two paradigms of software development research |
4 |
| Lub: A pattern for fine grained behavior adaptation at runtime |
4 |
| Orchestrating incomplete TOSCA applications with Docker |
4 |
| A large-scale empirical exploration on refactoring activities in open source software projects |
4 |
| Verification of the European Rail Traffic Management System in Real-Time Maude |
3 |
| An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models |
3 |
| Universal (meta-)logical reasoning: Recent successes |
3 |
| BSP abstract state machines capture bulk synchronous parallel computations |
3 |
| Towards attack-resistant Aggregate Computing using trust mechanisms |
3 |
| Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates |
3 |
| Hierarchical featured state machines |
2 |
| Translating essential OCL invariants to nested graph constraints for generating instances of meta-models |
2 |
| Towards optimal solutions for the low power hard real-time task allocation on multiple heterogeneous processors |
2 |
| Zone-based formal specification and timing analysis of real-time self-adaptive systems |
2 |
| Verified simulation for robotics |
2 |
| Reversible computation vs. reversibility in Petri nets |
2 |
| Non-functional requirements in model-driven development of service-oriented architectures |
2 |
| Technical Debt tracking: Current state of practice A survey and multiple case study in 15 large organizations |
2 |
| A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric |
2 |
| The Dinamica EGO virtual machine |
2 |
| A Scientific Workflow Management System for orchestration of parallel components in a cloud of large-scale parallel processing services |
2 |
| Pre-synthesis of Petri nets based on prime cycles and distance paths |
2 |
| Proof assisted bounded and unbounded symbolic model checking of software and system models |
2 |
| Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset |
2 |
| Sound conformance testing for cyber-physical systems: Theory and implementation |
2 |
| Simulation-based matching of cloud applications |
2 |
| Checking business process evolution |
2 |
| An empirical comparative evaluation of gestUI to include gesture-based interaction in user interfaces |
1 |
| A formal model for Multi Software Product Lines |
1 |
| A family of heuristic search algorithms for feature model optimization |
1 |
| Test case generation, selection and coverage from natural language |
1 |
| CPN simulation-based test case generation from controlled natural-language requirements |
1 |
| A lightweight deadlock analysis for programs with threads and reentrant locks |
1 |
| A hierarchical verification approach to verify complex safety control systems based on STAMP |
1 |
| Structure and behavior preserving statecharts refinements |
1 |
| Model driven engineering of accessible and multi-platform graphical user interfaces by parameterized model transformations |
1 |
| Bisimilarity of open terms in stream GSOS |
1 |
| A Coq library for internal verification of running-times |
1 |
| EXTREMO: An Eclipse plugin for modelling and meta-modelling assistance |
1 |
| Agile validation of model transformations using compound F-Alloy specifications |
1 |
| Integrating formal methods into medical software development: The ASM approach |
1 |
| Realizability of schedules by stochastic time Petri nets with blocking semantics |
1 |
| A rewriting logic approach to resource allocation analysis in business process models |
1 |
| Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems |
1 |
