Andrea Zisman

According to our database1, Andrea Zisman
  • authored at least 88 papers between 1994 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
D3TraceView: A Traceability Visualization Tool.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

Identifying Conflicting Requirements in Systems of Systems.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Software Architecture Risk Containers.
Proceedings of the Software Architecture - 11th European Conference, 2017


Architectures for Collective Self-aware Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017

Transition Strategies for Increasing Self-awareness in Existing Types of Computing Systems.
Proceedings of the Self-Aware Computing Systems., 2017

2016
An Evaluation of Design Rule Spaces as Risk Containers.
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

Trace++: A Traceability Approach to Support Transitioning to Agile Software Engineering.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Feed me, feed me: an exemplar for engineering adaptive software.
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

2015
A scalable and dynamic application-level secure communication framework for inter-cloud services.
Future Generation Comp. Syst., 2015

3rd International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Managing Security Control Assumptions Using Causal Traceability.
Proceedings of the 8th IEEE/ACM International Symposium on Software and Systems Traceability, 2015

Foreword: Towards Reference Architectures for Systems-of-Systems.
Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, 2015

2014
Trust Assessment Using Cloud Broker.
Proceedings of the Trust Management VIII - 8th IFIP WG 11.11 International Conference, 2014

Software traceability: trends and future directions.
Proceedings of the on Future of Software Engineering, 2014

2013
Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation.
IEEE Trans. Software Eng., 2013

Requirements Issues in SoC and SoS
CoRR, 2013

Improving trace accuracy through data-driven configuration and composition of tracing features.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Trust Model for Cloud Based on Cloud Characteristics.
Proceedings of the Trust Management VII - 7th IFIP WG 11.11 International Conference, 2013

Decomposing Ratings in Service Compositions.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

2012
The quest for Ubiquity: A roadmap for software and systems traceability research.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Trust Model for Optimized Cloud Services.
Proceedings of the Trust Management VI - 6th IFIP WG 11.11 International Conference, 2012

A Framework for Trusted Services.
Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

PRadapt: A framework for dynamic monitoring of adaptable service-based systems.
Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

Proactive adaptation of service composition.
Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

Secure communication using dynamic VPN provisioning in an Inter-Cloud environment.
Proceedings of the 18th IEEE International Conference on Networks, 2012

Opinion Model Based Security Reputation Enabling Cloud Broker Architecture.
Proceedings of the Cloud Computing - Third International Conference, 2012

Using Rules for Traceability Creation.
Proceedings of the Software and Systems Traceability., 2012

Traceability Fundamentals.
Proceedings of the Software and Systems Traceability., 2012

The Grand Challenge of Traceability (v1.0).
Proceedings of the Software and Systems Traceability., 2012

2011
A monitoring approach for runtime service discovery.
Autom. Softw. Eng., 2011

Using Traceability to Support SOA Impact Analysis.
Proceedings of the World Congress on Services, 2011

Discovering Services.
Proceedings of the Software Engineering - International Summer Schools, 2011

QoS-Driven Proactive Adaptation of Service Composition.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Formalizing traceability relations for product lines.
Proceedings of the TEFSE'11, 2011

Identifying, modifying, creating, and removing monitor rules for service oriented computing.
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, 2011

Grand challenges, benchmarks, and TraceLab: developing infrastructure for the software traceability research community.
Proceedings of the TEFSE'11, 2011

2010
Discovering Services during Service-Based System Design Using UML.
IEEE Trans. Software Eng., 2010

Report of the 2nd international workshop on principles of engineering service-oriented systems (PESOS 2010).
ACM SIGSOFT Software Engineering Notes, 2010

A UML-based static verification framework for security.
Requir. Eng., 2010

A Pattern-Based Approach for Monitor Adaptation.
Proceedings of the IEEE International Conference on Software Science, 2010

2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010).
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification.
Proceedings of the Recent Trends in Network Security and Applications, 2010

2009
XTraQue: traceability for product line systems.
Software and System Modeling, 2009

A Query Language for Service Discovery.
Proceedings of the ICSOFT 2009, 2009

Replacement Policies for Service-Based Systems.
Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

2008
Traceability and completeness checking for agent-oriented systems.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A Framework for Dynamic Service Discovery.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Proactive Runtime Service Discovery.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

Property Specification and Static Verification of UML Models.
Proceedings of the The Third International Conference on Availability, 2008

2007
Guest Editors' Introduction: Realizing Service-Centric Software Systems.
IEEE Software, 2007

Architecture-Driven Service Discovery for Service Centric Systems.
Int. J. Web Service Res., 2007

Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE'2005).
Autom. Softw. Eng., 2007

2nd international workshop on service oriented software engineering: (IW-SOSWE 2007).
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

2nd international workshop on service oriented software engineering (IW-SOSWE 2007).
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Traceability for Agent-Oriented Design Models and Code.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

A Platform for Context Aware Runtime Web Service Discovery.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

A Static Verification Framework for Secure Peer-to-Peer Applications.
Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

A Service Discovery Framework based on Linear Composition.
Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

2006
Report on the International Workshop on Service Oriented Software Engineering (IW-SOSE06).
ACM SIGSOFT Software Engineering Notes, 2006

UML-based Service Discovery Tool.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

UML-Based Service Discovery Framework.
Proceedings of the Service-Oriented Computing, 2006

International workshop on service oriented software engineering (IW-SOSE'06).
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005
Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering, 2005

2nd Workshop on the state of the art in automated software engineering.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Supporting Product Line Development through Traceability.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

A Service Discovery Framework for Service Centric Systems.
Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

2004
Model interchange and integration for web services.
ACM SIGSOFT Software Engineering Notes, 2004

Rule-based generation of requirements traceability relations.
Journal of Systems and Software, 2004

OMML: A Behavioural Model Interchange Format.
Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Validating Personal Requirements by Assisted Symbolic Behavior Browsing .
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Behavioral models as service descriptions.
Proceedings of the Service-Oriented Computing, 2004

2003
Managing Inconsistencies in UML Specifications.
Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

Tracing Software Requirements Artifacts.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Overview of OpenModel-based Validation with Partial Information.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2002
Are their Design Specifications Consistent with our Requirements?
Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

Using Web Services to Interoperate Data at the FAO.
Proceedings of the 2002 International Conference on Dublin Core and Metadata Applications, 2002

2001
Knowledge Base Approach to Consistency Management of UML Specification.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Consistency Management of Financial XML Documents.
Proceedings of the Advanced Information Systems Engineering, 13th International Conference, 2001

2000
BOX: Browsing objects in XML.
Softw., Pract. Exper., 2000

Information Monitors: An Architecture Based on XML.
Proceedings of the OOIS'2000, 2000

Using XML to Build Consistency Rules for Distributed Specifications.
Proceedings of the 10th International Workshop on Software Specification and Design, 2000

1999
An approach to interoperation between autonomous database systems.
Distributed Systems Engineering, 1999

XML for Software Engineers.
Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999

1998
Information discovery for interoperable autonomous database systems.
PhD thesis, 1998

1997
Supporting Interoperability of Autonomous Hospital Databases: A Case Study.
Proceedings of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97), 1997

1994
New Concurrency Control Algorithms for Accessing and Compacting B-Trees.
Proceedings of the VLDB'94, 1994


  Loading...