Libero Nigro

Christian Nigro

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

Modelling and verification of starvation-free mutual exclusion algorithms based on weak semaphores.

[BibT_eX]

[DOI]

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014

Modelling and Analysis of Parallel/Distributed Time-dependent Systems: An Approach Based on JADE.

[BibT_eX]

[DOI]

Proceedings of the Internet and Distributed Computing Systems, 2014

Agent-Based Control Framework In Jade.

[BibT_eX]

[DOI]

Proceedings of the 28th European Conference on Modelling and Simulation, 2014

A Control Framework for Model Continuity in JADE.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2014

2013

Using time stream Petri nets for workflow modelling analysis and enactment.

[BibT_eX]

[DOI]

Simul., 2013

Modelling Java Concurrency: An Approach and a Uppaal Library.

[BibT_eX]

[DOI]

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

A Smartphone Application For The Monitoring Of Domestic Consumption Of Electricity.

[BibT_eX]

[DOI]

Proceedings of the 27th European Conference on Modelling and Simulation, 2013

Agent Methodological Layers In Repast Simphony.

[BibT_eX]

[DOI]

Proceedings of the 27th European Conference on Modelling and Simulation, 2013

An Agent Framework for High Performance Simulations over Multi-core Clusters.

[BibT_eX]

[DOI]

Proceedings of the AsiaSim 2013, 2013

2012

Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2012

Agents Over The Grid: An Experience Using The Globus Toolkit 4.

[BibT_eX]

[DOI]

Proceedings of the 26th European Conference on Modelling and Simulation, 2012

Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2012

2011

Modelling and simulation of complex manufacturing systems using statechart-based actors.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2011

HLA_ACTOR_REPAST: An approach to distributing RePast models for high-performance simulations.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2011

Performance of a multi-agent system over a multi-core cluster managed by Terracotta.

[BibT_eX]

[DOI]

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

Modelling And Verification Of Concurrent Programs Using UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the 25th European Conference on Modelling and Simulation, 2011

Dynamic Sociality Minority Game.

[BibT_eX]

[DOI]

Proceedings of the 25th European Conference on Modelling and Simulation, 2011

Distributed Simulation of Situated Multi-agent Systems.

[BibT_eX]

[DOI]

Andrea Giordano

Proceedings of the 15th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2011

2010

A service-based architecture for dynamically reconfigurable workflows.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

Temporal verification of RT-DEVS models with implementation aspects.

[BibT_eX]

[DOI]

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Using time stream Petri nets over a service architecture for workflow modelling and enactment.

[BibT_eX]

[DOI]

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Parallel Simulation of Multi-agent Systems Using Terracotta.

[BibT_eX]

[DOI]

Proceedings of the DS-RT '10 Proceedings of the 2010 IEEE/ACM 14th International Symposium on Distributed Simulation and Real Time Applications, 2010

2009

An Agent Infrastructure over HLA for Distributed Simulation of Reconfigurable Systems and its Application to UAV Coordination.

[BibT_eX]

[DOI]

Simul., 2009

A development methodology for embedded systems based on RT-DEVS.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2009

Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Modelling and Simulation, 2009

Distributing RePast Simulations Using Actors.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Modelling and Simulation, 2009

Distributed Simulation of RePast Models over HLA/Actors.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2009

2008

Embedded Control Systems Design based on RT-DEVS and temporal analysis using UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

Actor-Based Simulation of PDEVS systems over HLA.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), 2008

2007

Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty.

[BibT_eX]

[DOI]

Real Time Syst., 2007

Exploiting agents for modelling and simulation of coverage control protocols in large sensor networks.

[BibT_eX]

[DOI]

J. Syst. Softw., 2007

A General Brokering Architecture Layer and its application to Video on-Demand over the Internet.

[BibT_eX]

[DOI]

Informatica (Slovenia), 2007

Timed verification of hierarchical communicating real-time state machines.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2007

Conflict management in PDEVS: an experience in modelling and simulation of time petri nets.

[BibT_eX]

[DOI]

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

An Agent Infrastructure for Distributed Simulations over HLA and a Case Study Using Unmanned Aerial Vehicles.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 40th Annual Simulation Symposium (ANSS-40 2007), 2007

Integration and Interoperability between Jini services andWeb Services.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

2006

Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines.

[BibT_eX]

[DOI]

Real Time Syst., 2006

MADAMS: A software architecture for the management of networked measurement services.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2006

An Approach to Protocol Modeling and Validation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2006

2005

Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case Study.

[BibT_eX]

Proceedings of the IASTED International Conference on Software Engineering, 2005

Model checking hierarchical communicating real-time state machines.

[BibT_eX]

[DOI]

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 38th Annual Simulation Symposium (ANSS-38 2005), 2005

2004

Multimedia synchronization based on aspect oriented programming.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2004

Scripting and Monitoring in TPN Designer Simulations: A Case Study Using the Production Cell.

[BibT_eX]

Proceedings of the International Conference on Modeling, 2004

Deployment, configuration and management of mobile actor systems.

[BibT_eX]

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

2003

Temporal Uncertainty Time Warp: An Implementation Based on Java and ActorFoundry.

[BibT_eX]

[DOI]

Antonino Orlando

Simul., 2003

Modelling and simulation of complex systems using TPN Designer.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2003

Real-Time Systems Development Using Hierarchical State Machines.

[BibT_eX]

[DOI]

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

2002

Aspect Oriented Programming Using Actors.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets.

[BibT_eX]

Proceedings of the 16<sup>th</sup> European Simulation Multiconference: Modelling and Simulation 2002, 2002

Distributed Simulation of Timed Coloured Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2002), 2002

Temporal Uncertainty Time Warp: An Agent-Based Implementation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 35th Annual Simulation Symposium (ANSS-35 2002), 2002

2001

Super Actors for Real Time.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

An MBone-Based On-Demand System for Cooperative Off-line Learning.

[BibT_eX]

[DOI]

Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001

Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

2000

A toolset in Java2 for modelling, prototyping and implementing communicating real-time state machines.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2000

ViCRO: An Interactive and Cooperative VideoRecording on-demand System over MBone.

[BibT_eX]

Informatica (Slovenia), 2000

A Cooperative Playback System for On-Demand Multimedia Sessions over Internet.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000

Prototyping distributed multimedia systems using communicating real-time state machines.

[BibT_eX]

[DOI]

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

Exploiting Temporal Uncertainty in Time Warp Simulations.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2000), 2000

A Methodology Centered on Modularization of QoS Constraints for the Development and Performance Evaluation of Multimedia Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 33th Annual Simulation Symposium (SS 2000), 2000

1999

Distributed simulation of timed Petri nets. A modular approach using actors and Time Warp.

[BibT_eX]

[DOI]

IEEE Concurr., 1999

Modeling, Analysis and Implementation of Actor-based Multimedia Systems.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Experimenting Advanced Visualization in the Operational Context of Transportation Networks: The VENN Project.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

Simulation of Multimedia Systems Based on Actors and QoSsynchronizers.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Distributed Interactive Simulation and Real-Time Applications (DIS-RT '99), 1999

1998

Java-based distributed measurement systems.

[BibT_eX]

[DOI]

Domenico Grimaldi

IEEE Trans. Instrum. Meas., 1998

Multicast control of mobile measurement systems.

[BibT_eX]

[DOI]

Domenico Grimaldi

IEEE Trans. Instrum. Meas., 1998

Performance of a Time Warp based simulator of large scale PCS networks.

[BibT_eX]

[DOI]

Simul. Pract. Theory, 1998

QoS Centred Java and Actor-based Framework for Real-virtual Teleconferences.

[BibT_eX]

Proceedings of the EUROMEDIA 1998 featuring WEBTEC-MEDIATEC-COMTEC-APTEC, 1998

A Modular Approach to the Distributed Simulation of Timed Petri-Nets.

[BibT_eX]

Proceedings of the 12<sup>th</sup> European Simulation Multiconference - Simulation, 1998

1997

Distributed measurement systems: An object-oriented architecture and a case study.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 1997

Using Real Time Constraints for Modularisation.

[BibT_eX]

[DOI]

Brian Kirk

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 1997

1996

Timing as a programming-in-the-large issue.

[BibT_eX]

[DOI]

Francesco Tisato

Microprocess. Microsystems, 1996

Distributed simulation of PCS networks using a time warp mechanism.

[BibT_eX]

Salvatore Marano

Proceedings of the EUROSIM'96, 1996

Modeling and Analysing DART Systems Through High-Level Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995

A Real-Time Architecture Based on Shlaer-Mellor Object Lifecycles.

[BibT_eX]

J. Object Oriented Program., 1995

1994

Control Abstractions in Modula-2: A Case Study Using Advanced Backtracking.

[BibT_eX]

Giuseppe Veneziano

Informatica (Slovenia), 1994

1993

On the Type Extensions of Oberon-2.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1993

1990

Programmer-Defined Control Abstractions in Modula-2.

[BibT_eX]

[DOI]

Michele Di Santo

Wilma Russo

Comput. Lang., 1990

1988

Object-based real-time programming.

[BibT_eX]

[DOI]

Francesco Tisato

Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988

1981

On the efficient implementation of retention block-structured languages.

[BibT_eX]

[DOI]

Michele Di Santo