Giovanni Chiola

Maurizio Aiello

Comput. Networks, 2019

2016

Mobile executions of Slow DoS Attacks.

[BibT_eX]

[DOI]

Log. J. IGPL, 2016

2015

Designing and Modeling the Slow Next DoS Attack.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference, 2015

2013

Slow DoS attacks: definition and categorisation.

[BibT_eX]

[DOI]

Int. J. Trust. Manag. Comput. Commun., 2013

2010

On the Integrity of Network Coding-Based Anonymous P2P File Sharing Networks.

[BibT_eX]

[DOI]

Proceedings of The Ninth IEEE International Symposium on Networking Computing and Applications, 2010

2009

Degree-Optimal Routing for P2P Systems.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2009

Resource Management with X.509 Inter-domain Authorization Certificates (InterAC).

[BibT_eX]

[DOI]

Proceedings of the Public Key Infrastructures, Services and Applications, 2009

StemCerts-2: Pairs of X.509 v3 Certificates for Greater Security, Flexibility and Convenience.

[BibT_eX]

[DOI]

Paolo Gasti

Proceedings of the 6th IEEE Consumer Communications and Networking Conference, 2009

2008

Optimizing the finger tables in Chord-like DHTs.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2008

Neighbor-of-neighbor routing over deterministically modulated Chord-like DHTs.

[BibT_eX]

[DOI]

Marina Ribaudo

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

2006

Optimizing the finger table in chord-like DHTs.

[BibT_eX]

[DOI]

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

Designing and Implementing XService: A Generative Communication Web Service Container System.

[BibT_eX]

Daniele Comes

Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2005

Overlay networks with class.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Parallel Architectures, 2005

An empirical study of data redundancy for high availability in large overlay networks.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Hot Topics in Peer-to-Peer Systems, 2005

2004

Extended Fibonacci distances for fault-tolerant routing in Chord-like DHTs.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Hot Topics in Peer-to-Peer Systems, 2004

2003

Using a Gigabit Ethernet Cluster as a Distributed Disk Array with Multiple Fault Tolerance.

[BibT_eX]

[DOI]

Alessandro Di Marco

Proceedings of the 28th Annual IEEE Conference on Local Computer Networks (LCN 2003), 2003

2002

Selected Papers from the IEEE Cluster2000 Conference: Technology and Applications.

[BibT_eX]

[DOI]

Clust. Comput., 2002

2001

On the Use of Coscheduling in Fast Communication Systems.

[BibT_eX]

[DOI]

Rubén Carvajal-Schiaffino

Cosimo Anglano

Parallel Process. Lett., 2001

Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets.

[BibT_eX]

[DOI]

Giorgio Delzanno

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

A Reachability Graph Construction Algorithm Based on Canonical Transition Firing Count Vectors.

[BibT_eX]

[DOI]

Rubén Carvajal-Schiaffino

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Topic 09: Distributed Systems and Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000

Efficient parallel processing on low-cost clusters with GAMMA active ports.

[BibT_eX]

[DOI]

Parallel Comput., 2000

GAMMA and MPI/GAMMA on Gigabit Ethernet.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2000

Workshop on Personal Computer Based Networks of Workstation.

[BibT_eX]

[DOI]

Gianni Conte

Luigi V. Mancini

Proceedings of the Parallel and Distributed Processing, 2000

Low-cost Gigabit Ethernet at Work.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE International Conference on Cluster Computing (CLUSTER 2000), November 28th, 2000

1999

GAMMA on DEC 2114x with Efficient Flow Control.

[BibT_eX]

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

1998

Active Ports: A Performance-Oriented Operating System Support to Fast LAN Communications.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '98 Parallel Processing, 1998

Some Research Projects on Clusters of Personal Computers.

[BibT_eX]

[DOI]

Proceedings of the 24th EUROMICRO '98 Conference, 1998

Fast Barrier Synchronization on Shared Fast Ethernet.

[BibT_eX]

[DOI]

Proceedings of the Network-Based Parallel Computing: Communication, 1998

Manual and Automatic Exploitation of Symmetries in SPN Models.

[BibT_eX]

[DOI]

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

Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models.

[BibT_eX]

[DOI]

Elisa Bertino

Luigi V. Mancini

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

1997

A Symbolic Reachability Graph for Coloured Petri Nets.

[BibT_eX]

[DOI]

Claude Dutheillet

Serge Haddad

Theor. Comput. Sci., 1997

Implementing a Low Cost, Low Latency Parallel Platform.

[BibT_eX]

[DOI]

Parallel Comput., 1997

GAMMA: A low-cost network of workstations based on active messages.

[BibT_eX]

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

Architectural Issues and Preliminary Benchmarking of a Low-cost Network of Workstations based on Active Messages.

[BibT_eX]

Proceedings of the Architektur von Rechensystemen, Arbeitsteilige Systemarchitekturen: Konzepte, Lösungen, Anwendungen, Trends, 1997

Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets.

[BibT_eX]

[DOI]

Serge Haddad

Patrice Moreaux

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

1995

GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets.

[BibT_eX]

[DOI]

Marina Ribaudo

Perform. Evaluation, 1995

Efficient simulation of SWN models.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Characterization of timed well-formed Petri nets behavior by means of occurrence equations.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Performance Comparable Design of Efficient Synchronization Protocols for Distributed Simulation.

[BibT_eX]

[DOI]

Proceedings of the MASCOTS '95, 1995

1994

Accelerating the Evaluation of Parallel Program Performance Models Using Distributed Simulation.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation, 1994

Modeling Symmetric Computer Architectures by SWNs.

[BibT_eX]

[DOI]

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

Self-adaptive logical processes: the probabilistic distributed simulation protocol.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 27th Annual Simulation Symposium, 1994

1993

Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1993

Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications.

[BibT_eX]

[DOI]

Claude Dutheillet

Serge Haddad

IEEE Trans. Computers, 1993

Distributed simulation of Petri nets.

[BibT_eX]

[DOI]

IEEE Parallel Distributed Technol. Syst. Appl., 1993

Operational analysis of timed Petri nets and application to the computation of performance bounds.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

On the structural and behavioural characterization of P/T nets.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

A Simulation Model of a Double Ring Protocol Based on Timed Well-Formed Coloured Petri Nets.

[BibT_eX]

Matteo Sereno

Proceedings of the MASCOTS '93, 1993

Distributed Simulation of Timed Petri Nets: Exploiting the Net Structure to Obtain Efficiency.

[BibT_eX]

[DOI]

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

1992

An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1992

Petri Net Modelling of Parallel Computers - Guest Editor's Introduction.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1992

A symbolic simulation mechanism for well-formed coloured Petri nets.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 25th Annual Simulation Symposium (ANSS-25 1992), 1992

1991

Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector.

[BibT_eX]

[DOI]

Javier Campos

Manuel Silva Suárez

IEEE Trans. Software Eng., 1991

Simulation Framework for Timed and Stochastic Petri Nets.

[BibT_eX]

Int. J. Comput. Simul., 1991

Stochastic Petri Net Modeling of the FDDI Network Protocol.

[BibT_eX]

Proceedings of the Protocol Specification, 1991

A Structural Colour Simplification in Well-Formed Coloured Nets.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

GSPNs versus SPNs: What is the Actual Role of Immediate Transitions?

[BibT_eX]

[DOI]

Susanna Donatelli

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

1989

The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1989

Stochastic petri net simulation.

[BibT_eX]

[DOI]

Proceedings of the 21st Winter Simulation Conference, 1989

An Example of Validation and Evaluation ofa Concurrent Program: Lamport's Fast Mutual Exclusion Algorithm.

[BibT_eX]

Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1989

Panel: Applications of Performance Petri Nets.

[BibT_eX]

Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

Colored GSPN Models and Automatic Symmetry Detection.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector.

[BibT_eX]

[DOI]

Javier Campos

Manuel Silva Suárez

Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

Tight Polynomial Bounds for Steady-State Performance of Marked Graphs.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

1988

Product-Form Solution Techniques for the Performance Analysis of Multiple-Bus Multiprocessor Systems with Nonuniform Memory References.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1988

Improving the efficiency of the analysis of DSPN models.

[BibT_eX]

[DOI]

Andrea Fumagalli

Proceedings of the Advances in Petri Nets 1989, 1988

1987

Timed Petri net model for the accurate performance analysis of CSMA/CD bus LANs.

[BibT_eX]

[DOI]

Andrea Fumagalli

Comput. Commun., 1987

Modeling the Software Architecture of a Prototype Parallel Machine.

[BibT_eX]

[DOI]

Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1987

Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities.

[BibT_eX]

Proceedings of the Second International Workshop on Petri Nets and Performance Models, 1987

On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets.

[BibT_eX]

G. Molinar Roet

Proceedings of the Second International Workshop on Petri Nets and Performance Models, 1987

Applicability of Stochastic Petri Nets to Performance Modeling.

[BibT_eX]

Proceedings of the Computer Performance and Reliability, 1987

Generalized stochastic Petri nets for the performance evaluation of FMS.

[BibT_eX]

[DOI]

G. Molinar Roet

Proceedings of the 1987 IEEE International Conference on Robotics and Automation, Raleigh, North Carolina, USA, March 31, 1987

1986

On the product-form solution of a class of multiple-bus multiprocessor system models.

[BibT_eX]

[DOI]

J. Syst. Softw., 1986

An accurate performance model of CSMA/CD bus LAN.

[BibT_eX]

[DOI]

Andrea Fumagalli

Proceedings of the Advances in Petri Nets 1987, 1986

On Petri nets with deterministic and exponentially distributed firing times.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1987, 1986

1985

On Petri Nets with Stochastic Timing.

[BibT_eX]

Proceedings of the International Workshop on Timed Petri Nets, 1985

A Software Package for the Analysis of Generalized Stochastic Petri Net Models.

[BibT_eX]