Lăcrămioara Aştefănoaei

Available identifiers

zbMath Open astefanoaei.lacramioaraWikidataQ102369137 ScholiaQ102369137MaRDI QIDQ433334

List of research outcomes

Publication	Date of Publication	Type
A compositional approach to the verification of hybrid systems	2021-05-20	Paper
Compositional parameter synthesis	2020-01-03	Paper
Compositional Verification for Timed Systems Based on Automatic Invariant Generation	2015-10-29	Paper
Connectors as designs: modeling, refinement and test case generation	2012-07-13	Paper
Using the Maude Term Rewriting Language for Agent Development with Formal Foundations	2010-11-11	Paper
The Refinement of Multi-Agent Systems	2010-11-11	Paper
Using Rewrite Strategies for Testing BUpL Agents	2010-05-04	Paper
The Refinement of Choreographed Multi-Agent Systems	2010-02-02	Paper

Research outcomes over time

This page was built for person: Lăcrămioara Aştefănoaei