C. Montangero, L. Semini, S. Reiff-Marganiec
Model-driven development of adaptable service-oriented business processes.
in Rigorous Software Engineering for Service-Oriented Systems , to appear, LNCS 2010

M. ter Beek, S. Gnesi, C. Montangero, L. Semini
Detecting policy conflicts by model checking UML state machines.
10th Int. Conference on Feature Interactions, , IOS Press, 2009

C. Montangero, S. Reiff-Marganiec, L. Semini
Logic-based Conflict Detection for Distributed Policies
Fundamenta Informaticae, vol. 89 n. 4 pages 511-538, 2008

C. Montangero, L. Semini
Barbed Model-Driven Software Development: A Case Study.
Electr. Notes Theor. Comput. Sci. 207, pages 171-186, 2008.

S. Gorton, C. Montangero, S. Reiff-Marganiec, L. Semini
StPowla: SOA, Policies and Workflows.
Revised Selected Papers of Workshops, ICSOC'07, pages 351-362, LNCS 4907, Springer, 2007

C. Montangero, S. Reiff-Marganiec, L. Semini
Logic-Based Detection of Conflicts in APPEL Policies.
Int. Symp. on Fundamentals of Software Engineering, FSEN 2007, Tehran, Iran pages 257-271, LNCS 4767, Springer, 2007

Carlo Montangero, Laura Semini
A Logical View of Choreography.
Proc. 7th Int. Conf. on Coordination Models and Languages, COORDINATION'06,   pages 179-193, LNCS n. 4038, Springer 2006

G. Amato and M. Coppola and S. Gnesi and F. Scozzari and L. Semini
Modeling Web Applications by the Multiple Levels of Integrity Policy.
1st International Workshop on Automated Specification and Verification of Web sites (WWV 2005).
ENTCS vol. 157, issue 2, Elsevier Science, 2006

Carlo Montangero, Laura Semini, Alberto Zanardo
DSTL: A Logic For Global Computing.
AICA 2005, pages 445-454, 2005

Carlo Montangero, Laura Semini and Simone Semprini
Logic Based Coordination for Event-Driven Self-Healing Distributed Systems.
Proc. 6th Int. Conf. on Coordination Models and Languages, COORDINATION'04,   pages 248-262, LNCS n. 2949, Springer 2004

Carlo Montangero, Laura Semini
Formalizing an Adaptive Security Infrastructure in Mobadtl.
Proc. FCS'04 Workshop on Foundations of Computer Security,   pages 301-318, 2004 ( pdf)

Carlo Montangero Laura Semini and Simone Semprini
Service discovery in Mobadtl.
FM03 Workshop on Service-Based Software Engineering,   pages 79-93, 2003

Gianluigi Ferrari, Carlo Montangero Laura Semini and Simone Semprini
Mark, a reasoning kit for mobility.
Automated Software Engineering, 9(2),  pages 137-150, Kluwer Academic Publisher

Carlo Montangero and  Laura Semini
Distributed States Logic.
Proc.   9th International Symposium on Temporal Representation and Reasoning (TIME'02),
Manchester, UK,  July 2002,
IEEE CS Press.

Carlo Montangero and  Laura Semini
Software specification and design:  from formal methods to standard middleware.
Proc. 6th ERCIM Inter. Workshop on Formal Methods for Industrial Critical Systems  (FMICS'01)

Gianluigi Ferrari, Carlo Montangero Laura Semini and Simone Semprini
Ad Hoc Network Applications: Specification, Design, and Verification  in Mob_adtl.
Proc. ICSE'01 Workshop on Software Engineering and Mobility, Toronto, CA, 2001

Gianluigi Ferrari, Carlo Montangero, Laura Semini and Simone Semprini
Mobile Agents Coordination in  Mob_adtl
Proc. 4th Int. Conf. on Coordination Models and Languages (Coordination 2000). LNCS 1906, 2000.

Carlo Montangero and  Laura Semini
Specification and Composition of Software Components:  formal methods meet standards.
 NSF ``Monterey'' Workshop on Modelling Software System Structures in a fastly moving scenario. S. Margherita,  Italy June 13-16, 2000.

Gianluigi Ferrari, Carlo Montangero Laura Semini and Simone Semprini
 Multiple Security Policies in Mob_adtl
 Proc. Workshop on Issues in the Theory of Security (WITS'00), 2000.

Laura Semini and Carlo Montangero
A Refinement Calculus for Tuple Spaces
Science of Computer Programming. vol.34, pp.79-140, 1999. ( Abstract )

Gianluigi Ferrari, Carlo Montangero Laura Semini and Simone Semprini
A refinement calculus for mobility: expressing security policies
Distributed object security workshop, OOPSLA'99, Denver, November 1999.

Carlo Montangero and Laura Semini
Composing specifications for coordination
Proc. 3nd Int. Conf. on Coordination Models and Languages (Coordination'99). LNCS 1594, 1999. ( ps ,ps.gz )

Stefania Gnesi and Laura Semini
Implementation of coordination primitives in a mobile architecture
Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications, PDPTA'99, Las Vegas 1999. ( ps)

Alessandro Fantechi, Stefania Gnesi, Laura Semini
Formal Description and Validation for an Integrity Policy Supporting Multiple Levels of Criticality. Proc. DCCA-7, Seventh IFIP Int. Conf. on Dependable Computing for Critical Applications, San Jose, CA, Jan 1999. IEEE Computer Society( ps ,ps.gz )

Carlo Montangero and Laura Semini
Refinement calculi for distributed software architectures
Proc. WSDAAL'98, Pontignano (Siena), Sep. 1998. ( ps , ps.gz )

Stefania Gnesi and Laura Semini
Modelling asynchronous applications in a mobile environment
Proc. WSDAAL'98, Pontignano (Siena), Sep. 1998. ( ps ,ps.gz )

Laura Semini and Luis Monteiro
Verification Calculus for the TAO Coordination Model
Proc. of the International Workshop on Verification, Model Checking and Abstract Interpretation, Port Jefferson, Long Island NY, Oct. 1997. ( ps , ps.gz )

Laura Semini
Refinement in Tuple Space Languages
PhD thesis, Dipartimento di Informatica, Università di Pisa, TD 10-96, 1996.  ( ps ,ps.gz , pdf )

Carlo Montangero and Laura Semini
Refining by Architectural Styles
Proc 2nd International Software Architecture Workshop, San Francisco, Ca, 1996. (ps , ps.gz )

Carlo Montangero and Laura Semini
Applying Refinement Calculi to Software Process Modelling
Proc 4th International Conference on the Software Process, Brighton, UK, 1996. ( ps , ps.gz )

Vincenzo Ambriola, Giovanni Antonio Cignoni, Laura Semini
A Proposal to Merge Object Orientation, Logic Programming, and Multiple Tuple Spaces
In Journal of Computer Languages, 22(2/3), pages 79-93, 1996. ( ps , ps.gz )
 

Before 1996