Stefano Russo

Antonio Guerriero

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

Robotics Software Engineering and Certification: Issues and Challenges.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Software Aging and Rejuvenation in the Cloud: A Literature Review.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Search-based optimization for the testing resource allocation problem: research trends and opportunities.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018

In Production Performance Testing of SDN Control Plane for Telecom Operators.

[BibT_eX]

[DOI]

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2017

Editorial: Security and Dependability of Cloud Systems and Services - Part II.

[BibT_eX]

[DOI]

Marco Vieira

IEEE Trans. Serv. Comput., 2017

Editorial: Security and Dependability of Cloud Systems and Services.

[BibT_eX]

[DOI]

Marco Vieira

IEEE Trans. Serv. Comput., 2017

Debugging-workflow-aware software reliability growth analysis.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2017

Optimized task allocation on private cloud for hybrid simulation of large-scale critical systems.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2017

Adaptive coverage and operational profile-based testing for reliability improvement.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

RELAI Testing: A Technique to Assess and Improve Software Reliability.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

To Cloudify or Not to Cloudify: The Question for a Scientific Data Center.

[BibT_eX]

[DOI]

IEEE Trans. Cloud Comput., 2016

Using multi-objective metaheuristics for the optimal selection of positioning systems.

[BibT_eX]

[DOI]

Soft Comput., 2016

How do bugs surface? A comprehensive study on the characteristics of software bugs manifestation.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

Automatic Invariant Selection for Online Anomaly Detection.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2016

Model-Based Software Engineering and Certification: Some Open Issues.

[BibT_eX]

[DOI]

Fabio Scippacercola

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

On Adaptive Sampling-Based Testing for Software Reliability Assessment.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Finding a way in the Model Driven jungle: Invited Keynote Talk.

[BibT_eX]

[DOI]

Proceedings of the 9th India Software Engineering Conference, 2016

An Effort Allocation Method to Optimal Code Sanitization for Quality-Aware Energy Efficiency Improvement.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Measurement and Metrics for Green and Sustainable Software Systems, 2016

Error Monitoring for Legacy Mission-Critical Systems.

[BibT_eX]

[DOI]

Raffaele Della Corte

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

2015

An OS-level Framework for Anomaly Detection in Complex Software Systems.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2015

Defect analysis in mission-critical software systems: a detailed investigation.

[BibT_eX]

[DOI]

Gabriella Carrozza

J. Softw. Evol. Process., 2015

Model-in-the-Loop Testing of a Railway Interlocking System.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering and Software Development, 2015

Model-Driven Engineering of a Railway Interlocking System.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2015, 2015

SysML-based and Prolog-supported FMEA.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

The software aging and rejuvenation repository: Http: //openscience.us/repo/software-aging/.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

Emulating Environment-Dependent Software Faults.

[BibT_eX]

[DOI]

Kishor S. Trivedi

Proceedings of the 1st IEEE/ACM International Workshop on Complex Faults and Failures in Large Software Systems, 2015

Performance of Defect Prediction in Rapidly Evolving Software.

[BibT_eX]

[DOI]

Davide Giacomo Cavezza

Proceedings of the 3rd IEEE/ACM International Workshop on Release Engineering, 2015

Prioritizing Correction of Static Analysis Infringements for Cost-Effective Code Sanitization.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, 2015

State-based robustness testing of IaaS cloud platforms.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Cloud Data and Platforms, 2015

Impact of Malfunction on the Energy Efficiency of Batch Processing Systems.

[BibT_eX]

[DOI]

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

A Reliable Crisis Information System to Share Data after the Event of a Large-Scale Disaster.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 2015

Sampling UAV Most Informative Diagnostic Signals.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on P2P, 2015

2014

Scalable Analytics for IaaS Cloud Availability.

[BibT_eX]

[DOI]

IEEE Trans. Cloud Comput., 2014

Dynamic test planning: a study in an industrial context.

[BibT_eX]

[DOI]

Gabriella Carrozza

Int. J. Softw. Tools Technol. Transf., 2014

A survey of software aging and rejuvenation studies.

[BibT_eX]

[DOI]

ACM J. Emerg. Technol. Comput. Syst., 2014

Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities.

[BibT_eX]

[DOI]

CoRR, 2014

The Dual Nature of Software Aging: Twenty Years of Software Aging Research.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Using Invariants for Anomaly Detection: The Case Study of a SaaS Application.

[BibT_eX]

[DOI]

Flavio Frattini

Santonu Sarkar

Jyotiska Nath Khasnabish

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Reproducibility of Environment-Dependent Software Failures: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

On the Impact of Debugging on Software Reliability Growth Analysis: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

Mining Invariants from SaaS Application Logs (Practical Experience Report).

[BibT_eX]

[DOI]

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

2013

Combining Operational and Debug Testing for Improving Reliability.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2013

A measurement-based ageing analysis of the JVM.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2013

Engineering Air Traffic Control Systems with a Model-Driven Approach.

[BibT_eX]

[DOI]

IEEE Softw., 2013

Special Issue on Software Aging and Rejuvenation - Guest Editorial.

[BibT_eX]

[DOI]

Michael Grottke

Perform. Evaluation, 2013

Testing techniques selection based on ODC fault types and software metrics.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

On reliability in publish/subscribe services.

[BibT_eX]

[DOI]

Comput. Networks, 2013

Cost-Benefit Analysis of Virtualizing Batch Systems: Performance-Energy-Dependability Trade-Offs.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM 6th International Conference on Utility and Cloud Computing, 2013

State-Driven Testing of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems - 17th International Conference, 2013

Requirements engineering in rail transit production: An experience report.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Towards fast OS rejuvenation: An experimental evaluation of fast OS reboot techniques.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Analysis and Prediction of Mandelbugs in an Industrial Software System.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

A learning-based method for combining testing techniques.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Towards secure monitoring and control systems: Diversify!

[BibT_eX]

[DOI]

Antonio Pecchia

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012

Detection of Software Failures through Event Logs: An Experimental Study.

[BibT_eX]

[DOI]

Antonio Pecchia

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Integrating MDT in an Industrial Process in the Air Traffic Control Domain.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

On the Aging Effects Due to Concurrency Bugs: A Case Study on MySQL.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Software Rejuvenation: Do IT & Telco Industries Use It?

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

Achieving Reliable and Timely Event Dissemination over WAN.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012

2011

ROCRSSI++: An Efficient Localization Algorithm for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Flavio Frattini

Int. J. Adapt. Resilient Auton. Syst., 2011

Bug Localization in Test-Driven Development.

[BibT_eX]

[DOI]

Adv. Softw. Eng., 2011

On the Benefit of Network Coding for Timely and Reliable Event Dissemination in WAN.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems Workshops, 2011

Criticality-Driven Component Integration in Complex Software Systems.

[BibT_eX]

[DOI]

Antonio Pecchia

Proceedings of the Computer Safety, Reliability, and Security, 2011

A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2011

Architecture-Based Criticality Assessment of Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th Latin-American Symposium on Dependable Computing, 2011

Towards identifying OS-level anomalies to detect application software failures.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Workshop on Measurement and Networking, 2011

Software Aging and Rejuvenation: Where We Are and Where We Are Going.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Workshop on Software Aging and Rejuvenation, 2011

Workload Characterization for Software Aging Analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

2010

Software Reliability and Testing Time Allocation: An Architecture-Based Approach.

[BibT_eX]

[DOI]

Kishor S. Trivedi

IEEE Trans. Software Eng., 2010

Memory leak analysis of mission-critical middleware.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

A Method to Support Fault Tolerance Design in Service Oriented Computing Systems.

[BibT_eX]

[DOI]

Int. J. Syst. Serv. Oriented Eng., 2010

Supporting ubiquitous location information in interworking 3G and wireless networks.

[BibT_eX]

[DOI]

Commun. ACM, 2010

An Investigation on Flexible Communications in Publish/Subscribe Services.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Software Aging Analysis of the Linux Operating System.

[BibT_eX]

[DOI]

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Reliable Event Dissemination over Wide-Area Networks without Severe Performance Fluctuations.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

Online Monitoring of Software System Reliability.

[BibT_eX]

[DOI]

Kishor S. Trivedi

Proceedings of the Eighth European Dependable Computing Conference, 2010

2009

A hybrid positioning system for technology-independent location-aware computing.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2009

Guest Editorial.

[BibT_eX]

[DOI]

J. Softw., 2009

Assessment and Improvement of Hang Detection in the Linux Operating System.

[BibT_eX]

[DOI]

Roberto Natella

Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

AVR-INJECT: A tool for injecting faults in Wireless Sensor Nodes.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

2008

Securing services in nomadic computing environments.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2008

Dependability Evaluation and Modeling of the Bluetooth Data Communication Channel.

[BibT_eX]

[DOI]

Proceedings of the 16th Euromicro International Conference on Parallel, 2008

An experiment in memory leak analysis with a mission-critical middleware for air traffic control.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Reliability Engineering Workshops, 2008

Performance assessment of OMG compliant data distribution middleware.

[BibT_eX]

[DOI]

Dario Di Crescenzo

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Software Faults Diagnosis in Complex OTS Based Safety Critical Systems.

[BibT_eX]

[DOI]

Gabriella Carrozza

Proceedings of the Seventh European Dependable Computing Conference, 2008

2007

The Esperanto Broker: a communication platform for nomadic computing systems.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2007

Design and implementation of a high performance architecture for providing digital time stamping services to mobile devices.

[BibT_eX]

Comput. Syst. Sci. Eng., 2007

Characterizing Aging Phenomena of the Java Virtual Machine.

[BibT_eX]

[DOI]

Salvatore Orlando

Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

Modeling and Assessing the Dependability ofWireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

Supporting Mobile Ubiquitous Applications with Mobility Prediction and Soft Handoff.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2007

2006

An architecture for providing Java applications with indoor and outdoor hybrid location sensing.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems and the Second International Workshop on Collaborative Computing, 2006

Unearthing Design Patterns to Support Context-Awareness.

[BibT_eX]

[DOI]

Oriana Riva

Kimmo E. E. Raatikainen

Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006

Java Virtual Machine Monitoring for Dependability Benchmarking.

[BibT_eX]

[DOI]

Salvatore Orlando

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

An OptimizedWorkload for Failure Data Analysis of Mobile P2P over Bluetooth Ad-Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

Failure classification and analysis of the Java Virtual Machine.

[BibT_eX]

[DOI]

Salvatore Orlando

Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 2006

Collecting and Analyzing Failure Data of Bluetooth Personal Area Networks.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

2005

Achieving all the time, everywhere access in next-generation mobile networks.

[BibT_eX]

[DOI]

ACM SIGMOBILE Mob. Comput. Commun. Rev., 2005

Reliable Monitoring of Network-related Performance Parameters inWireless Environments.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

A Strategy for Application-Transparent Integration of Nomadic Computing Domains.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2005

A Pattern-Oriented Approach to Enhance Context Infrastructures.

[BibT_eX]

[DOI]

Oriana Riva

Kimmo E. E. Raatikainen

Proceedings of the 2005 IEEE/IPSJ International Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops), 31 January, 2005

Mobility Management and Communication Support for Nomadic Applications.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

An Automated Distributed Infrastructure for Collecting Bluetooth Field Failure Data.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Indoor and Outdoor Location Based Services for Portable Wireless Devices.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

A User-Driven Adaptation Strategy for Mobile Video Streaming Applications.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

CSAR-2: A Case Study of Parallel File System Dependability Analysis.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing and Communications, 2005

A Communication Broker for Nomadic Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing and Communications, 2005

ESPERANTO: a middleware platform to achieve interoperability in nomadic computing domains.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004

Implementing Positioning Services over an Ubiquitous Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004

Supporting Location-Aware Distributed Applications on Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the Applied Parallel Computing, 2004

Indoor Positioning for Location-Aware Applications on Java-Based Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

A Distributed Object Platform to Achieve Nomadic Interactions.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Security requirements in service oriented architectures for ubiquitous computing.

[BibT_eX]

[DOI]

Almerindo Graziano

Proceedings of the 2nd Workshop on Middleware for Pervasive and Ad-hoc Computing, 2004

2003

A real time-based architecture for qos multimedia provisioning.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2003

An Enhanced Service Oriented Architecture for Developing Web-based Applications.

[BibT_eX]

[DOI]

J. Web Eng., 2003

An architecture for security-oriented perfective maintenance of legacy software.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2003

Improving Dependability of Service Oriented Architectures for Pervasive Computing.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

Providing Digital Time Stamping Services to Mobile Devices.

[BibT_eX]

[DOI]

Giacinto Paolo Saggese

Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

Modeling and Detecting Failures in Next-generation Distributed Multimedia Applications.

[BibT_eX]

[DOI]

Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003

A QoS-aware network supporting an E-learning framework.

[BibT_eX]

[DOI]

Proceedings of the Quality Education @ a Distance, 2003

2002

Building a dependable system from a legacy application with CORBA.

[BibT_eX]

[DOI]

J. Syst. Archit., 2002

A fault tolerant access to legacy database systems using CORBA technology.

[BibT_eX]

Comput. Syst. Sci. Eng., 2002

Service Differentiation of Communication-bound Processes in a Real-Time Operating System.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

Metadata models for QoS-aware information management systems.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Integration of Legacy Client-Server Applications in a Secure Multi-Tier Architecture.

[BibT_eX]

[DOI]

Proceedings of the 10th Euromicro Workshop on Parallel, 2002

A Jini Framework for Distributed Service Flexibility.

[BibT_eX]

[DOI]

Proceedings of the 10th Euromicro Workshop on Parallel, 2002

Implementing a CORBA-Based Architecture for Leveraging the Security Level of Existing Applications.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30, 2002

2001

Integrating Mobile Agent Infrastructures with CORBA-based Distributed Multimedia Applications.

[BibT_eX]

[DOI]

Proceedings of the Ninth Euromicro Workshop on Parallel and Distributed Processing, 2001

2000

A CORBA-Based Architecture for Adding Dependability to Legacy Servers.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 2000

Experience with the GESTALT On-Line Learning Support System.

[BibT_eX]

[DOI]

Almerindo Graziano

Paolo Maresca

Proceedings of the 26th EUROMICRO 2000 Conference, 2000

1999

A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

1998

Formal Specification of Concurrent Systems: A Structured Approach.

[BibT_eX]

[DOI]

Comput. J., 1998

1997

A method for predictive performance of distributed programs.

[BibT_eX]

[DOI]

Simul. Pract. Theory, 1997

A Systematic Approach to the Petri Net Based Specification of Concurrent Systems.

[BibT_eX]

[DOI]

Real Time Syst., 1997

Formal methods integration for the specification of dependable distributed systems.

[BibT_eX]

[DOI]

Valeria Vittorini

J. Syst. Archit., 1997

PVM communication performance over an ATM MAN.

[BibT_eX]

Giulio Iannello

J. Syst. Archit., 1997

Keeping Pace with an Information Society.

[BibT_eX]

[DOI]

Computer, 1997

Detecting deadlock with client-server analysis.

[BibT_eX]

Proceedings of the Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), 1997

Workshop on Software Engineering for Parallel and Distributed Systems.

[BibT_eX]

[DOI]

Gul Agha

Proceedings of the Pulling Together, 1997

Distributed Coordination in Optimization Algorithms.

[BibT_eX]

[DOI]

Proceedings of the High-Performance Computing and Networking, 1997

Integrating Trace Logic and Petri Nets Specifications.

[BibT_eX]

[DOI]

Valeria Vittorini

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

Client - server programs analysis in the EPOCA environment.

[BibT_eX]

[DOI]

Distributed Syst. Eng., 1996

EPOCA: status and prospects.

[BibT_eX]

Proceedings of the Software Engineering for Parallel and Distributed Systems, 1996

Petri Net Modelling of PARSE Designs.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995

An Operating System Independent WORM Archival System.

[BibT_eX]

[DOI]

Guido Russo

Benoît Pirenne

Softw. Pract. Exp., 1995

Paradigms for the Parallelization of Branch and Bound Algorithms.

[BibT_eX]

[DOI]

Beniamino Di Martino

Proceedings of the Applied Parallel Computing, 1995

1994

Use of GSPNs for concurrent software validation in EPOCA.

[BibT_eX]

[DOI]

Giuliana Franceschinis

Marina Ribaudo

Inf. Softw. Technol., 1994

A Mapping Method for Distributed Hetergoneous Systems.

[BibT_eX]

Proceedings of the Massively Parallel Processing Applications and Develompent, 1994

Software Architecture of the EPOCA Integrated Environment.

[BibT_eX]

[DOI]

Giuliana Franceschinis

Proceedings of the Computer Performance Evaluation, 1994

1992

Using CSP languages to program parallel workstation systems.

[BibT_eX]

[DOI]

Antonino Mazzeo