Luca Martini

According to our database, Luca Martini authored at least 49 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Building Consistent Characters through Open-Source Generative AI.

Luca Martini, Lara La Tessa, Daniele Zolezzi

Int. J. Emerg. Technol. Learn., 2024

From Risk to Readiness: VR-Based Safety Training for Industrial Hazards.

Gianni Viardo Vercelli, Saverio Iacono, Luca Martini, Michele Zardetto, Daniele Zolezzi

CoRR, 2024

Comunicazione Digitale XR: Assessing the impact of extended reality technologies on learning.

Daniele Zolezzi, Saverio Iacono, Luca Martini, Gianni Viardo Vercelli

Comput. Educ. X Real., 2024

2017

MPLS Label Switched Path (LSP) Pseudowire (PW) Status Refresh Reduction for Static PWs.

Luca Martini, George Swallow, Elisa Bellagamba

RFC, October, 2017

Pseudowire Setup and Maintenance Using the Label Distribution Protocol (LDP).

Luca Martini, Giles Heron

RFC, February, 2017

A Framework for Visual Search in Broadcast archives.

Federico Maria Pandolfi, Davide Desirello, Luca Martini, Rosario Di Stabile

Proceedings of the 8th Italian Information Retrieval Workshop, 2017

2015

Using a Generic Associated Channel Label as a Virtual Circuit Connectivity Verification Channel Indicator.

Thomas D. Nadeau, Luca Martini, Stewart Bryant

RFC, November, 2015

Thermal control system based on thin film heaters and amorphous silicon diodes.

Nicola Lovecchio, Giulia Petrucci, Domenico Caputo, Samia Alameddine, Matteo Carpentiero, Luca Martini, Emanuele Parisi, Giampiero de Cesare, Augusto Nascetti

Proceedings of the 6th International Workshop on Advances in Sensors and Interfaces, 2015

2014

Explicit Path Routing for Dynamic Multi-Segment Pseudowires.

Pranjal Kumar Dutta, Matthew Bocci, Luca Martini

RFC, December, 2014

Label Advertisement Discipline for LDP Forwarding Equivalence Classes (FECs).

Kamran Raza, Sami Boutros, Luca Martini, Nicolai Leymann

RFC, October, 2014

Inter-Chassis Communication Protocol for Layer 2 Virtual Private Network (L2VPN) Provider Edge (PE) Redundancy.

Luca Martini, Samer Salam, Ali Sajassi, Matthew Bocci, Satoru Matsushima, Thomas D. Nadeau

RFC, June, 2014

Dynamic Placement of Multi-Segment Pseudowires.

Luca Martini, Matthew Bocci, Florin Balus

RFC, June, 2014

2013

LDP Downstream-on-Demand in Seamless MPLS.

Thomas Beckhaus, Bruno Decraene, Kishore Tiruveedhula, Maciek Konstantynowicz, Luca Martini

RFC, October, 2013

2012

Packet Pseudowire Encapsulation over an MPLS PSN.

Stewart Bryant, Luca Martini, George Swallow, Andrew G. Malis

RFC, July, 2012

Pseudowire Status for Static Pseudowires.

Luca Martini, George Swallow, Giles Heron, Matthew Bocci

RFC, May, 2012

Efficient Genotype Elimination via Adaptive Allele Consolidation.

Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini

IEEE ACM Trans. Comput. Biol. Bioinform., 2012

2011

Using the Generic Associated Channel Label for Pseudowire in the MPLS Transport Profile (MPLS-TP).

Han Li, Luca Martini, Jia He, Feng Huang

RFC, November, 2011

Pseudowire (PW) Operations, Administration, and Maintenance (OAM) Message Mapping.

Mustapha Aïssaoui, Peter Busschbach, Luca Martini, Monique Morrow, Thomas D. Nadeau, Yaakov Stein

RFC, July, 2011

Segmented Pseudowire.

Luca Martini, Chris Metz, Thomas D. Nadeau, Matthew Bocci, Mustapha Aïssaoui

RFC, January, 2011

2010

Checking Secure Information Flow in Programs.

Luca Martini

PhD thesis, 2010

Using abstract interpretation to add type checking for interfaces in Java bytecode verification.

Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini

Theor. Comput. Sci., 2010

Partial model checking via abstract interpretation.

Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini

Inf. Process. Lett., 2010

Celer: an Efficient Program for Genotype Elimination

Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini

Proceedings of the Proceedings First Workshop on Applications of Membrane computing, 2010

2008

Requirements for Multi-Segment Pseudowire Emulation Edge-to-Edge (PWE3).

Nabil Bitar, Matthew Bocci, Luca Martini

RFC, October, 2008

Synchronous Optical Network/Synchronous Digital Hierarchy (SONET/SDH) Circuit Emulation Service over MPLS (CEM) Encapsulation.

Andrew G. Malis, Jeremy Brayley, John Shirron, Luca Martini, Steve Vogelsang

RFC, February, 2008

Decomposing bytecode verification by abstract interpretation.

Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci

ACM Trans. Program. Lang. Syst., 2008

2007

Attachment Individual Identifier (AII) Types for Aggregation.

Chris Metz, Luca Martini, Florin Balus, Jeff Sugimoto

RFC, September, 2007

Transport of Layer 2 Frames Over MPLS.

Luca Martini, Eric C. Rosen, Nasser El-Aawar

RFC, June, 2007

Encapsulation Methods for Transport of Layer 2 Frames over MPLS Networks.

Luca Martini, Eric C. Rosen, Nasser El-Aawar

RFC, June, 2007

Wildcard Pseudowire Type.

Luca Martini, George Swallow

RFC, May, 2007

Pseudowire Emulation Edge-to-Edge (PWE3) Asynchronous Transfer Mode (ATM) Transparent Cell Transport Service.

Andrew G. Malis, Luca Martini, Jeremy Brayley, Tom Walsh

RFC, February, 2007

Instruction-level security typing by abstract interpretation.

Nicoletta De Francesco, Luca Martini

Int. J. Inf. Sec., 2007

Instruction-level security analysis for information flow in stack-based assembly languages.

Nicoletta De Francesco, Luca Martini

Inf. Comput., 2007

2006

Encapsulation Methods for Transport of Asynchronous Transfer Mode (ATM) over MPLS Networks.

Luca Martini, J. Jayakumar, Matthew Bocci, Nasser El-Aawar, Jeremy Brayley, Ghassem Koleyni

RFC, December, 2006

Constrained Route Distribution for Border Gateway Protocol/MultiProtocol Label Switching (BGP/MPLS) Internet Protocol (IP) Virtual Private Networks (VPNs).

Pedro R. Marques, Ronald P. Bonica, Luyuan Fang, Luca Martini, Robert Raszuk, Keyur Patel, Jim Guichard

RFC, November, 2006

Encapsulation Methods for Transport of Frame Relay over Multiprotocol Label Switching (MPLS) Networks.

Luca Martini, Claude Kawa, Andrew G. Malis

RFC, September, 2006

Encapsulation Methods for Transport of PPP/High-Level Data Link Control (HDLC) over MPLS Networks.

Luca Martini, Eric C. Rosen, Giles Heron, Andrew G. Malis

RFC, September, 2006

Encapsulation Methods for Transport of Ethernet over MPLS Networks.

Luca Martini, Eric C. Rosen, Nasser El-Aawar, Giles Heron

RFC, April, 2006

Pseudowire Setup and Maintenance Using the Label Distribution Protocol (LDP).

Luca Martini, Eric C. Rosen, Nasser El-Aawar, Toby Smith, Giles Heron

RFC, April, 2006

IANA Allocations for Pseudowire Edge to Edge Emulation (PWE3).

Luca Martini

RFC, April, 2006

Pseudowire Emulation Edge-to-Edge (PWE3) Control Word for Use over an MPLS PSN.

Stewart Bryant, George Swallow, Luca Martini, Danny McPherson

RFC, February, 2006

Using postdomination to reduce space requirements of data flow analysis.

Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci

Inf. Process. Lett., 2006

Using Control Dependencies for Space-Aware Bytecode Verification.

Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci

Comput. J., 2006

2005

A Space-Aware Bytecode Verifier for Java Cards.

Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci

Proceedings of the First Workshop on Bytecode Semantics, 2005

Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations.

Nicoletta De Francesco, Luca Martini

Proceedings of the Formal Aspects in Security and Trust, Third International Workshop, 2005

2004

Checking secure information flow in Java bytecode by code transformation and standard bytecode verification.

Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini

Softw. Pract. Exp., 2004

Java bytecode verification with dynamic structures.

Cinzia Bernardeschi, Luca Martini, Paolo Masci

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

Enforcement of applet boundaries in Java card systems.

Cinzia Bernardeschi, Luca Martini

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

2003

Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract.

Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini

Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003