2008 |
19 | EE | Carlo Montangero,
Laura Semini:
Barbed Model-Driven Software Development: A Case Study.
Electr. Notes Theor. Comput. Sci. 207: 171-186 (2008) |
18 | EE | Carlo Montangero,
Stephan Reiff-Marganiec,
Laura Semini:
Logic-based Conflict Detection for Distributed Policies.
Fundam. Inform. 89(4): 511-538 (2008) |
2007 |
17 | EE | Carlo Montangero,
Stephan Reiff-Marganiec,
Laura Semini:
Logic-Based Detection of Conflicts in AppelPolicies.
FSEN 2007: 257-271 |
16 | EE | Stephen Gorton,
Carlo Montangero,
Stephan Reiff-Marganiec,
Laura Semini:
StPowla: SOA, Policies and Workflows.
ICSOC Workshops 2007: 351-362 |
2006 |
15 | EE | Carlo Montangero,
Laura Semini:
A Logical View of Choreography.
COORDINATION 2006: 179-193 |
14 | EE | Alessandro Fantechi,
Stefania Gnesi,
Laura Semini:
Achieving Fault Tolerance by a Formally Validated Interaction Policy.
RODIN Book 2006: 133-152 |
13 | EE | Gianluca Amato,
Massimo Coppola,
Stefania Gnesi,
Francesca Scozzari,
Laura Semini:
Modeling Web Applications by the Multiple Levels of Integrity Policy.
Electr. Notes Theor. Comput. Sci. 157(2): 167-185 (2006) |
2005 |
12 | | Gianluca Amato,
Massimo Coppola,
Stefania Gnesi,
Francesca Scozzari,
Laura Semini:
Modeling Web Applications by the Multiple Levels of Integrity Policy.
WWV 2005: 161-175 |
2004 |
11 | EE | Carlo Montangero,
Laura Semini,
Simone Semprini:
Logic Based Coordination for Event-Driven Self-healing Distributed Systems.
COORDINATION 2004: 248-263 |
2003 |
10 | EE | Carlo Montangero,
Laura Semini:
Distributed States Temporal Logic
CoRR cs.LO/0304046: (2003) |
2002 |
9 | EE | Carlo Montangero,
Laura Semini:
istributed States Logic.
TIME 2002: 55-57 |
8 | | Gian Luigi Ferrari,
Carlo Montangero,
Laura Semini,
Simone Semprini:
Mark, a Reasoning Kit for Mobility.
Autom. Softw. Eng. 9(2): 137-150 (2002) |
2000 |
7 | EE | Gian Luigi Ferrari,
Carlo Montangero,
Laura Semini,
Simone Semprini:
Mobile Agents Coordination in Mobadtl.
COORDINATION 2000: 232-248 |
1999 |
6 | EE | Carlo Montangero,
Laura Semini:
Composing Specifications for Coordination.
COORDINATION 1999: 118-133 |
5 | | Stefania Gnesi,
Laura Semini:
Implementation of Coordination Primitives in a Mobile Architecture.
PDPTA 1999: 1012-1018 |
4 | | Laura Semini,
Carlo Montangero:
A Refinement Calculus for Tuple Spaces.
Sci. Comput. Program. 34(2): 79-140 (1999) |
1996 |
3 | | Vincenzo Ambriola,
Giovanni A. Cignoni,
Laura Semini:
A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming.
Comput. Lang. 22(2/3): 79-93 (1996) |
1994 |
2 | | Vincenzo Ambriola,
Giovanni A. Cignoni,
Laura Semini:
Everything buT Assignment.
GULP-PRODE (2) 1994: 132-146 |
1 | EE | Vincenzo Ambriola,
Giovanni A. Cignoni,
Laura Semini:
A Proposal to Merge Object Orientation, Logic Programming, and Multiple Tuple Spaces.
ICLP Workshop: Process-Based Parallel Logic Programming 1994: 64-69 |