Luca Martini

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 6

Top Topics

Virtual Private Network

Equivalence Class

Silicon Nitride

Top Venues

Comput. Educ. X Real.

Publications

Daniele Zolezzi, Saverio Iacono, Luca Martini, Gianni Viardo Vercelli
Comunicazione Digitale XR: Assessing the impact of extended reality technologies on learning. Comput. Educ. X Real. 5 (2024)
Luca Martini, Giles Heron
Pseudowire Setup and Maintenance Using the Label Distribution Protocol (LDP). RFC 8077 (2017)
Luca Martini, George Swallow, Elisa Bellagamba
MPLS Label Switched Path (LSP) Pseudowire (PW) Status Refresh Reduction for Static PWs. RFC 8237 (2017)
Federico Maria Pandolfi, Davide Desirello, Luca Martini, Rosario Di Stabile
A Framework for Visual Search in Broadcast archives. IIR (2017)
Nicola Lovecchio, Giulia Petrucci, Domenico Caputo, Samia Alameddine, Matteo Carpentiero, Luca Martini, Emanuele Parisi, Giampiero de Cesare, Augusto Nascetti
Thermal control system based on thin film heaters and amorphous silicon diodes. IWASI (2015)
Thomas D. Nadeau, Luca Martini, Stewart Bryant
Using a Generic Associated Channel Label as a Virtual Circuit Connectivity Verification Channel Indicator. RFC 7708 (2015)
Pranjal Kumar Dutta, Matthew Bocci, Luca Martini
Explicit Path Routing for Dynamic Multi-Segment Pseudowires. RFC 7392 (2014)
Luca Martini, Matthew Bocci, Florin Balus
Dynamic Placement of Multi-Segment Pseudowires. RFC 7267 (2014)
Luca Martini, Samer Salam, Ali Sajassi, Matthew Bocci, Satoru Matsushima, Thomas D. Nadeau
Inter-Chassis Communication Protocol for Layer 2 Virtual Private Network (L2VPN) Provider Edge (PE) Redundancy. RFC 7275 (2014)
Kamran Raza, Sami Boutros, Luca Martini, Nicolai Leymann
Label Advertisement Discipline for LDP Forwarding Equivalence Classes (FECs). RFC 7358 (2014)
Thomas Beckhaus, Bruno Decraene, Kishore Tiruveedhula, Maciek Konstantynowicz, Luca Martini
LDP Downstream-on-Demand in Seamless MPLS. RFC 7032 (2013)
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
Efficient Genotype Elimination via Adaptive Allele Consolidation. IEEE ACM Trans. Comput. Biol. Bioinform. 9 (4) (2012)
Stewart Bryant, Luca Martini, George Swallow, Andrew G. Malis
Packet Pseudowire Encapsulation over an MPLS PSN. RFC 6658 (2012)
Luca Martini, George Swallow, Giles Heron, Matthew Bocci
Pseudowire Status for Static Pseudowires. RFC 6478 (2012)
Han Li, Luca Martini, Jia He, Feng Huang
Using the Generic Associated Channel Label for Pseudowire in the MPLS Transport Profile (MPLS-TP). RFC 6423 (2011)
Luca Martini, Chris Metz, Thomas D. Nadeau, Matthew Bocci, Mustapha Aïssaoui
Segmented Pseudowire. RFC 6073 (2011)
Mustapha Aïssaoui, Peter Busschbach, Luca Martini, Monique Morrow, Thomas D. Nadeau, Yaakov Stein
Pseudowire (PW) Operations, Administration, and Maintenance (OAM) Message Mapping. RFC 6310 (2011)
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
Using abstract interpretation to add type checking for interfaces in Java bytecode verification. Theor. Comput. Sci. 411 (22-24) (2010)
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
Celer: an Efficient Program for Genotype Elimination AMCA-POP (2010)
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini
Partial model checking via abstract interpretation. Inf. Process. Lett. 110 (3) (2010)
Nabil Bitar, Matthew Bocci, Luca Martini
Requirements for Multi-Segment Pseudowire Emulation Edge-to-Edge (PWE3). RFC 5254 (2008)
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci
Decomposing bytecode verification by abstract interpretation. ACM Trans. Program. Lang. Syst. 31 (1) (2008)
Andrew G. Malis, Jeremy Brayley, John Shirron, Luca Martini, Steve Vogelsang
Synchronous Optical Network/Synchronous Digital Hierarchy (SONET/SDH) Circuit Emulation Service over MPLS (CEM) Encapsulation. RFC 5143 (2008)
Andrew G. Malis, Luca Martini, Jeremy Brayley, Tom Walsh
Pseudowire Emulation Edge-to-Edge (PWE3) Asynchronous Transfer Mode (ATM) Transparent Cell Transport Service. RFC 4816 (2007)
Luca Martini, Eric C. Rosen, Nasser El-Aawar
Encapsulation Methods for Transport of Layer 2 Frames over MPLS Networks. RFC 4905 (2007)
Luca Martini, Eric C. Rosen, Nasser El-Aawar
Transport of Layer 2 Frames Over MPLS. RFC 4906 (2007)
Nicoletta De Francesco, Luca Martini
Instruction-level security analysis for information flow in stack-based assembly languages. Inf. Comput. 205 (9) (2007)
Chris Metz, Luca Martini, Florin Balus, Jeff Sugimoto
Attachment Individual Identifier (AII) Types for Aggregation. RFC 5003 (2007)
Luca Martini, George Swallow
Wildcard Pseudowire Type. RFC 4863 (2007)
Nicoletta De Francesco, Luca Martini
Instruction-level security typing by abstract interpretation. Int. J. Inf. Sec. 6 (2-3) (2007)
Stewart Bryant, George Swallow, Luca Martini, Danny McPherson
Pseudowire Emulation Edge-to-Edge (PWE3) Control Word for Use over an MPLS PSN. RFC 4385 (2006)
Luca Martini, Eric C. Rosen, Nasser El-Aawar, Toby Smith, Giles Heron
Pseudowire Setup and Maintenance Using the Label Distribution Protocol (LDP). RFC 4447 (2006)
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
Using postdomination to reduce space requirements of data flow analysis. Inf. Process. Lett. 98 (1) (2006)
Luca Martini, Claude Kawa, Andrew G. Malis
Encapsulation Methods for Transport of Frame Relay over Multiprotocol Label Switching (MPLS) Networks. RFC 4619 (2006)
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
Using Control Dependencies for Space-Aware Bytecode Verification. Comput. J. 49 (2) (2006)
Luca Martini, J. Jayakumar, Matthew Bocci, Nasser El-Aawar, Jeremy Brayley, Ghassem Koleyni
Encapsulation Methods for Transport of Asynchronous Transfer Mode (ATM) over MPLS Networks. RFC 4717 (2006)
Luca Martini, Eric C. Rosen, Giles Heron, Andrew G. Malis
Encapsulation Methods for Transport of PPP/High-Level Data Link Control (HDLC) over MPLS Networks. RFC 4618 (2006)
Luca Martini
IANA Allocations for Pseudowire Edge to Edge Emulation (PWE3). RFC 4446 (2006)
Pedro R. Marques, Ronald P. Bonica, Luyuan Fang, Luca Martini, Robert Raszuk, Keyur Patel, Jim Guichard
Constrained Route Distribution for Border Gateway Protocol/MultiProtocol Label Switching (BGP/MPLS) Internet Protocol (IP) Virtual Private Networks (VPNs). RFC 4684 (2006)
Luca Martini, Eric C. Rosen, Nasser El-Aawar, Giles Heron
Encapsulation Methods for Transport of Ethernet over MPLS Networks. RFC 4448 (2006)
Nicoletta De Francesco, Luca Martini
Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations. Formal Aspects in Security and Trust (2005)
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
A Space-Aware Bytecode Verifier for Java Cards. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification. Softw. Pract. Exp. 34 (13) (2004)
Cinzia Bernardeschi, Luca Martini
Enforcement of applet boundaries in Java card systems. IASTED Conf. on Software Engineering and Applications (2004)
Cinzia Bernardeschi, Luca Martini, Paolo Masci
Java bytecode verification with dynamic structures. IASTED Conf. on Software Engineering and Applications (2004)
Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini
Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract. OTM Workshops (2003)