Search results for "Laura Semini"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini	Model-Driven Development of Adaptable Service-Oriented Business Processes.	Results of the SENSORIA Project	2011	DBLP DOI BibTeX RDF
1	Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini	Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management.	Euro-Par Workshops	2011	DBLP DOI BibTeX RDF
1	Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini	Detecting policy conflicts by model checking UML state machines.	ICFI	2009	DBLP DOI BibTeX RDF
1	Carlo Montangero, Laura Semini	Barbed Model-Driven Software Development: A Case Study.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini	Logic-based Conflict Detection for Distributed Policies.	Fundam. Inform.	2008	DBLP BibTeX RDF
1	Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini	Logic-Based Detection of Conflicts in AppelPolicies.	FSEN	2007	DBLP DOI BibTeX RDF
1	Stephen Gorton, Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini	StPowla: SOA, Policies and Workflows.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF
1	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.	2006	DBLP DOI BibTeX RDF
1	Alessandro Fantechi, Stefania Gnesi, Laura Semini	Achieving Fault Tolerance by a Formally Validated Interaction Policy.	RODIN Book	2006	DBLP DOI BibTeX RDF	Integrity policies, fault tolerance, model checking, process algebras
1	Carlo Montangero, Laura Semini	A Logical View of Choreography.	COORDINATION	2006	DBLP DOI BibTeX RDF
1	Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini	Modeling Web Applications by the Multiple Levels of Integrity Policy.	WWV	2005	DBLP BibTeX RDF
1	Carlo Montangero, Laura Semini, Simone Semprini	Logic Based Coordination for Event-Driven Self-healing Distributed Systems.	COORDINATION	2004	DBLP DOI BibTeX RDF
1	Carlo Montangero, Laura Semini	Distributed States Temporal Logic	CoRR	2003	DBLP BibTeX RDF
1	Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini	Mark, a Reasoning Kit for Mobility.	Autom. Softw. Eng.	2002	DBLP DOI BibTeX RDF
1	Carlo Montangero, Laura Semini	istributed States Logic. (PDF / PS)	TIME	2002	DBLP DOI BibTeX RDF
1	Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini	Mobile Agents Coordination in Mobadtl.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Laura Semini, Carlo Montangero	A Refinement Calculus for Tuple Spaces.	Sci. Comput. Program.	1999	DBLP DOI BibTeX RDF
1	Carlo Montangero, Laura Semini	Composing Specifications for Coordination.	COORDINATION	1999	DBLP DOI BibTeX RDF
1	Stefania Gnesi, Laura Semini	Implementation of Coordination Primitives in a Mobile Architecture.	PDPTA	1999	DBLP BibTeX RDF
1	Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini	A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming.	Comput. Lang.	1996	DBLP DOI BibTeX RDF
1	Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini	Everything buT Assignment.	GULP-PRODE	1994	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF

Publications of "Laura Semini" ( http://dblp.L3S.de/Authors/Laura_Semini )