Luciano Baresi

According to our database1, Luciano Baresi authored at least 201 papers between 1993 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
A Unified Model for the Mobile-Edge-Cloud Continuum.
ACM Trans. Internet Techn., 2019

2018
Activity Diagrams.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Multi-party business process compliance monitoring through IoT-enabled artifacts.
Inf. Syst., 2018

What Are We Missing When Testing Our Android Apps?
IEEE Computer, 2018

A comparison framework for runtime monitoring approaches (journal-first abstract).
Proceedings of the 25th International Conference on Software Analysis, 2018

On the Timed Analysis of Big-Data Applications.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

TDeX: A Description Model for Heterogeneous Smart Devices and GUI Generation.
Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

LIQDROID: towards seamlessly distributed Android applications.
Proceedings of the 5th International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden, May 27, 2018

Towards Vertically Scalable Spark Applications.
Proceedings of the Euro-Par 2018: Parallel Processing Workshops, 2018

2017
Efficient Dynamic Updates of Distributed Components Through Version Consistency.
IEEE Trans. Software Eng., 2017

A Logic-Based Approach for the Verification of UML Timed Models.
ACM Trans. Softw. Eng. Methodol., 2017

A comparison framework for runtime monitoring approaches.
Journal of Systems and Software, 2017

Test oracles for simulink-like models.
Autom. Softw. Eng., 2017

10th International Workshop on Dynamic Software Product Lines (DSPL'17): Adaptive Systems through Runtime Variability.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Supporting the Decision of Migrating to Microservices Through Multi-layer Fuzzy Cognitive Maps.
Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

MAGNET: A middleware for the proximal interaction of devices based on Wi-Fi direct.
Proceedings of the IEEE International Conference on Communications, 2017

Empowering Low-Latency Applications Through a Serverless Edge Computing Architecture.
Proceedings of the Service-Oriented and Cloud Computing, 2017

Microservices Identification Through Interface Analysis.
Proceedings of the Service-Oriented and Cloud Computing, 2017

mArtifact: an Artifact-driven Process Monitoring Platform.
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

2016
A distributed architecture for efficient Web service discovery.
Service Oriented Computing and Applications, 2016

GODA: A goal-oriented requirements engineering framework for runtime dependability analysis.
Information & Software Technology, 2016

WiDiSi: A Wi-Fi direct simulator.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2016

MicroCloud: A Container-Based Solution for Efficient Resource Management in the Cloud.
Proceedings of the 2016 IEEE International Conference on Smart Cloud, 2016

Analysis of Energy-Efficient Buildings through Simulation and Formal Methods.
Proceedings of the 6th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2016), 2016

A discrete-time feedback controller for containerized cloud applications.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

How bit-vector logic can help improve the verification of LTL specifications over infinite domains.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A3Droid: A framework for developing distributed crowdsensing.
Proceedings of the 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, 2016

Learning and evolution in dynamic software product lines.
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

Welcome Message from the Chairs of WICSA, QoSA and CBSE.
Proceedings of the 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2016

On Handling Business Process Anomalies through Artifact-based Modeling.
Proceedings of the CAiSE'16 Forum, 2016

Using the Guard-Stage-Milestone Notation for Monitoring BPMN-based Processes.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2016

2015
Formal verification and validation of embedded systems: the UML-based MADES approach.
Software and System Modeling, 2015

Building Software for the Internet of Things.
IEEE Internet Computing, 2015

Evolution in dynamic software product lines: challenges and perspectives.
Proceedings of the 19th International Conference on Software Product Line, 2015

Event-Based Monitoring of Service-Oriented Smart Spaces (Invited Paper).
Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015

Distributed Coordinated Adaptation of Cloud-Based Applications.
Proceedings of the Software Engineering and Formal Methods, 2015

Dynamically Evolving the Structural Variability of Dynamic Software Product Lines.
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

1st International Workshop on Big Data Software Engineering (BIGDSE 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Efficient Scalable Verification of LTL Specifications.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

SPF: A Middleware for Social Interaction in Mobile Proximity Environments.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Mapping Formal Results Back to UML Semi-formal Model.
Proceedings of the ICEIS 2015, 2015

An Architecture-Centric Approach for Dynamic Smart Spaces.
Proceedings of the Software Architecture - 9th European Conference, 2015

A GSM-based Approach for Monitoring Cross-Organization Business Processes Using Smart Objects.
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

2014
Introduction to the Special Section on Best Papers from SEAMS 2012.
TAAS, 2014

Feature Interactions: The Next Generation (Dagstuhl Seminar 14281).
Dagstuhl Reports, 2014

Consistent Runtime Evolution of Service-Based Business Processes.
Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

Short paper: Harmonizing heterogeneous components in SeSaMe.
Proceedings of the IEEE World Forum on Internet of Things, 2014

Self-adaptive systems, services, and product lines.
Proceedings of the 18th International Software Product Line Conference, 2014

Flexible modular formalization of UML sequence diagrams.
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

A Comprehensive Resource Management Solution for Web-based Systems.
Proceedings of the 11th International Conference on Autonomic Computing, 2014

Cloud-Based Systems Need Multi-Level Management.
Proceedings of the Advanced Web Services, 2014

2013
Achieving Self-adaptation through Dynamic Group Management.
Proceedings of the Assurances for Self-Adaptive Systems, 2013

Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata.
J. Comput. Sci. Technol., 2013

A journey through SMScom: self-managing situational computing.
Computer Science - R&D, 2013

Customizing Service Platforms (Dagstuhl Seminar 13171).
Dagstuhl Reports, 2013

A publication culture in software engineering (panel).
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Self-managing Overlays for Infrastructure-less Networks.
Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013

Specifying automated oracles for Simulink models.
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

IRET: Requirements for service platforms.
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Event-Based Multi-level Service Monitoring.
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013


Corrective Evolution of Adaptable Process Models.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2013

SeSaMe: Towards a Semantic Self Adaptive Middleware for Smart Spaces.
Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013

2012
A logic-based semantics for the verification of multi-diagram UML models.
ACM SIGSOFT Software Engineering Notes, 2012

Service-Oriented Dynamic Software Product Lines.
IEEE Computer, 2012

Emerging Research Themes in Services-Oriented Systems.
Proceedings of the 2012 Annual SRII Global Conference, San Jose, CA, USA, July 24-27, 2012, 2012

SCArVeS: services, clouds, and alternative design strategies for variant-rich software systems.
Proceedings of the 16th International Software Product Line Conference, 2012

Architectural Styles for Adaptive Systems: A Tutorial.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012

Flexible logic-based Co-simulation of Modelica models.
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012

Green Move: Towards next generation sustainable smartphone-based vehicle sharing.
Proceedings of the Sustainable Internet and ICT for Sustainability, 2012

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2011
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens.
IEEE Trans. Software Eng., 2011

Self-Supervising BPEL Processes.
IEEE Trans. Software Eng., 2011

A Service-Based Framework for Flexible Business Processes.
IEEE Software, 2011

A-3: An Architectural Style for Coordinating Distributed Components.
Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

SCArVeS: Services, Clouds, and Alternative Design Strategies for Variant-Rich Software Systems.
Proceedings of the Software Product Lines - 15th International Conference, 2011

CLAM: Managing cross-layer adaptation in service-based systems.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Version-consistent dynamic reconfiguration of component-based distributed systems.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

An introduction to the workshop on requirements for systems, services, and systems of systems.
Proceedings of the Requirements Engineering for Systems, 2011

A3: self-adaptation capabilities through groups and coordination.
Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011

A Component-Oriented Metamodel for the Modernization of Software Applications.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Adaptation Goals for Adaptive Service-Oriented Architectures.
Proceedings of the Relating Software Requirements and Architectures., 2011

2010
Comprehensive Monitoring of BPEL Processes.
IEEE Internet Computing, 2010

The disappearing boundary between development-time and run-time.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Consumer Mashups with Mashlight.
Proceedings of the Towards a Service-Based Internet - Third European Conference, 2010

Adaptation of Service-Based Systems.
Proceedings of the Service Research Challenges and Solutions for the Future Internet - S-Cube, 2010

Fuzzy Goals for Requirements-Driven Adaptation.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

From Interaction Overview Diagrams to Temporal Logic.
Proceedings of the Models in Software Engineering, 2010

Adaptive Goals for Self-Adaptive Service Compositions.
Proceedings of the IEEE International Conference on Web Services, 2010

TestFul: An Evolutionary Test Approach for Java.
Proceedings of the Third International Conference on Software Testing, 2010

Mashups with Mashlight.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Anquiro: enabling efficient static verification of sensor network software.
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, 2010

A roadmap towards sustainable self-aware service systems.
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010

Live goals for adaptive service compositions.
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010

TestFul: automatic unit-test generation for Java classes.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Towards the UML-Based Formal Verification of Timed Systems.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Model-Driven Management of Services.
Proceedings of the 8th IEEE European Conference on Web Services (ECOWS 2010), 2010



Software Engineering Processes for Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

Improving evolutionary testing by means of efficiency enhancement techniques.
Proceedings of the IEEE Congress on Evolutionary Computation, 2010

The CASCADAS Framework for Autonomic Communications.
Proceedings of the Autonomic Communication, 2010

2009
Activity Diagrams.
Proceedings of the Encyclopedia of Database Systems, 2009

Editorial.
J. Web Eng., 2009

Towards automated verification of layered graph transformation specifications.
IET Software, 2009

Dynamo + Astro: An Integrated Approach for BPEL Monitoring.
Proceedings of the IEEE International Conference on Web Services, 2009

Multi-dimensional service compositions.
Proceedings of the 31st International Conference on Software Engineering, 2009

TestFul: using a hybrid evolutionary algorithm for testing stateful systems.
Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions.
Proceedings of the Formal Techniques for Distributed Systems, 2009

Multi-level SLAs for Harmonized Management in the Future Internet.
Proceedings of the Towards the Future Internet - A European Research Perspective, 2009

2008
An Efficient Solution for Model Checking Graph Transformation Systems.
Electr. Notes Theor. Comput. Sci., 2008

Using Graph Transformation Systems to Specify and Verify Data Abstractions.
ECEASST, 2008

Loose Compositions for Autonomic Systems.
Proceedings of the Software Composition, 7th International Symposium, 2008

An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations.
Proceedings of the Towards a Service-Based Internet, 2008

Service-Centric Systems and Requirements Engineering.
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Towards a unified framework for the monitoring and recovery of BPEL processes.
Proceedings of the 2008 Workshop on Testing, 2008

A dynamic and reactive approach to the supervision of BPEL processes.
Proceedings of the Proceeding of the 1st Annual India Software Engineering Conference, 2008

Integrated and Composable Supervision of BPEL Processes.
Proceedings of the Service-Oriented Computing, 2008

Towards decentralized self-adaptive component-based systems.
Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

Self-adaptive Web Service Compositions.
Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

A Flexible and Semantic-Aware Publication Infrastructure for Web Services.
Proceedings of the Advanced Information Systems Engineering, 20th International Conference, 2008

2007
Towards Self-healing Composition of Services.
Proceedings of the Contributions to Ubiquitous Computing, 2007

Three empirical studies on estimating the design effort of Web applications.
ACM Trans. Softw. Eng. Methodol., 2007

A framework for the deployment of adaptable web service compositions.
Service Oriented Computing and Applications, 2007

Validation of web service compositions.
IET Software, 2007

Web Services and Web 2.0: Married or Fiancés?
Proceedings of the 9th IEEE International Symposium on Web Systems Evolution, 2007

Introduction.
Proceedings of the Test and Analysis of Web Services, 2007

Self-healing BPEL processes with Dynamo and the JBoss rule engine.
Proceedings of the 2007 International Workshop on Engineering of Software Services for Pervasive Environments, 2007

Playing with time in publish-subscribe using a domain-specific model checker.
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

A service-based infrastructure for advanced logistics.
Proceedings of the 2nd International Workshop on Service Oriented Software Engineering: in conjunction with the 6th ESEC/FSE joint meeting, 2007

Distributed BPEL Processes.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions.
Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007

A Timed Extension of WSCoL.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

A Fault Taxonomy for Web Service Composition.
Proceedings of the Service-Oriented Computing, 2007

On Accurate Automatic Verification of Publish-Subscribe Architectures.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Dynamo and Self-Healing BPEL Compositions.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Policies and Aspects for the Supervision of BPEL Processes.
Proceedings of the Advanced Information Systems Engineering, 19th International Conference, 2007

2006
Style-based modeling and refinement of service-oriented architectures.
Software and System Modeling, 2006

An Introduction to Software Testing.
Electr. Notes Theor. Comput. Sci., 2006

Towards Distributed BPEL Orchestrations.
ECEASST, 2006

Toward Open-World Software: Issue and Challenges.
IEEE Computer, 2006

Verification of Model Transformations: A Case Study with BPEL.
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Towards Open-World Software: Issue and Challenges.
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

A Distributed Approach for the Federation of Heterogeneous Registries.
Proceedings of the Service-Oriented Computing, 2006

Business Process Monitoring for Dependability.
Proceedings of the Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops], 2006

Tutorial: towards dynamic web services.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

W2000 meets J2ME for the Fast Prototyping of Mobile Web Applications.
Proceedings of the IASTED International Conference on Software Engineering, 2006

On the Use of Alloy to Analyze Graph Transformation Systems.
Proceedings of the Graph Transformations, Third International Conference, 2006

Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Towards a Model-driven Approach to Develop Applications based on Physical Active Objects.
Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

W2000: A Modelling Notation for Complex Web Applications.
Proceedings of the Web Engineering, 2006

2005
Formal interpreters for diagram notations.
ACM Trans. Softw. Eng. Methodol., 2005

Special issue on ubiquitous mobile information and collaboration systems (UMICS).
Personal and Ubiquitous Computing, 2005

Toward Translating Design Constraints to Run-Time Assertions.
Electr. Notes Theor. Comput. Sci., 2005

Petri Nets as Semantic Domain for Diagram Notations.
Electr. Notes Theor. Comput. Sci., 2005

WS-Policy for Service Monitoring.
Proceedings of the Technologies for E-Services, 6th International Workshop, 2005

Graph transformation to infer schemata from XML documents.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

First experiences on constraining consistency and adaptivity of W2000 models.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Towards Model-Driven Testing of a Web Application Generator.
Proceedings of the Web Engineering, 5th International Conference, 2005

Dynamo: Dynamic Monitoring of WS-BPEL Processes.
Proceedings of the Service-Oriented Computing, 2005

Towards Dynamic Monitoring of WS-BPEL Processes.
Proceedings of the Service-Oriented Computing, 2005

An Introduction to Self-Healing Web Services.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Hybrid service-oriented architectures: a case-study in the automotive domain.
Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005

From Graph Transformation to Software Engineering and Back.
Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004
Style-Based Refinement of Dynamic Software Architectures.
Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Workflow Partitioning in Mobile Information Systems.
Proceedings of the Mobile Information Systems, 2004

Smart monitors for composed services.
Proceedings of the Service-Oriented Computing, 2004

Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.
Proceedings of the Graph Transformations, Second International Conference, 2004

Validation of Component and Service Federations in Automotive Software Applications.
Proceedings of the Automotive Software, 2004

2003
Context-Aware Composition of E-services.
Proceedings of the Technologies for E-Services, 4th International Workshop, 2003

Modeling and validation of service-oriented architectures: application vs. style.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Estimating the Design Effort of Web Applications.
Proceedings of the 9th IEEE International Software Metrics Symposium (METRICS 2003), 2003

UMICS '03 Preface.
Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003

2002
PLCTools: Graph Transformation Meets PLC Design.
Electr. Notes Theor. Comput. Sci., 2002

An Empirical Study on the Design Effort of Web Applications.
Proceedings of the 3rd International Conference on Web Information Systems Engineering, 2002

Assertions to better specify the amazon bug.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.
Proceedings of the Graph Transformation, First International Conference, 2002

A Toolbox for Automating Visual Software Engineering.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

Meta-modeling Techniques Meet Web Application Design Tools.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001
Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001.
Electr. Notes Theor. Comput. Sci., 2001

Improving UML with Petri nets.
Electr. Notes Theor. Comput. Sci., 2001

Supporting Reusable Web Design with HDM-Edit.
Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

Extending UML for Modeling Web Applications.
Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

On Formalizing UML with High-Level Petri Nets.
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

2000
PLCTOOLS: design, formal validation, and code generation for programmable controllers.
Proceedings of the IEEE International Conference on Systems, 2000

Can Graph Grammars Make Formal Methods More Human?
Proceedings of the ICALP Workshops 2000, 2000

From Web Sites to Web Applications: New Issues for Conceptual Modeling.
Proceedings of the Conceptual Modeling for E-Business and the Web, 2000

1999
WIDE workflow development methodology.
Proceedings of the international joint conference on Work activities coordination and collaboration 1999, 1999

A Formal Definition of Stuctured Analysis with Programmable Graph Grammars.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998
Toward Formalizing Structured Analysis.
ACM Trans. Softw. Eng. Methodol., 1998

1997
Software methodologies in VHDL code analysis.
Journal of Systems Architecture, 1997

Introducing Formal Specification Methods in Industrial Practice.
Proceedings of the Pulling Together, 1997

LEMMA: a language for easy medical models analysis.
Proceedings of the 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97), 1997

1996
Software methodologies for VHDL code static analysis based on flow graphs.
Proceedings of the conference on European design automation, 1996

1995
Experiences in the Implementation of a Process-centered Software Engineering Environment Using Object-Oriented Technology.
TAPOS, 1995

Customizable notations for kernel formalisms.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

IDERS: an integrated environment for the development of hard real-time systems.
Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

1993
Requirements and Early Experiences in the Implementation of the SPADE Repository.
Proceedings of the State of the Practice in Process Technology, 1993

Requirements and Early Experiences in the Implementation of the SPADE Repository using Object-Oriented Technology.
Proceedings of the Object Technologies for Advanced Software, 1993


  Loading...