Luca Martini

51 papers Journal 42Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Results of a Gamification University Experience for Teaching Web Programming: The "Alice in Codeland" Project.
IEEE Trans. Educ.
Daniele Zolezzi, Luca Martini, Saverio Iacono, Gianni Viardo Vercelli
2025 J jnl
Multi-Stage Generative Upscaler: Reconstructing Football Broadcast Images via Diffusion Models.
CoRR
Luca Martini, Daniele Zolezzi, Saverio Iacono, Gianni Viardo Vercelli
2024 J jnl
Building Consistent Characters through Open-Source Generative AI.
Int. J. Emerg. Technol. Learn.
Luca Martini, Lara La Tessa, Daniele Zolezzi
2024 J jnl
Comunicazione Digitale XR: Assessing the impact of extended reality technologies on learning.
Comput. Educ. X Real.
Daniele Zolezzi, Saverio Iacono, Luca Martini, Gianni Viardo Vercelli
2024 J jnl
From Risk to Readiness: VR-Based Safety Training for Industrial Hazards.
CoRR
Gianni Viardo Vercelli, Saverio Iacono, Luca Martini, Michele Zardetto, Daniele Zolezzi
2017 — conf
A Framework for Visual Search in Broadcast archives.
IIR
Federico Maria Pandolfi, Davide Desirello, Luca Martini, Rosario Di Stabile
2017 J jnl
MPLS Label Switched Path (LSP) Pseudowire (PW) Status Refresh Reduction for Static PWs.
RFC
Luca Martini, George Swallow, Elisa Bellagamba
2017 J jnl
Pseudowire Setup and Maintenance Using the Label Distribution Protocol (LDP).
RFC
Luca Martini, Giles Heron
2015 — conf
Thermal control system based on thin film heaters and amorphous silicon diodes.
IWASI
Nicola Lovecchio, Giulia Petrucci, Domenico Caputo, Samia Alameddine, Matteo Carpentiero, Luca Martini, Emanuele Parisi, Giampiero de Cesare, Augusto Nascetti
2015 J jnl
Using a Generic Associated Channel Label as a Virtual Circuit Connectivity Verification Channel Indicator.
RFC
Thomas D. Nadeau, Luca Martini, Stewart Bryant
2014 J jnl
Dynamic Placement of Multi-Segment Pseudowires.
RFC
Luca Martini, Matthew Bocci, Florin Balus
2014 J jnl
Explicit Path Routing for Dynamic Multi-Segment Pseudowires.
RFC
Pranjal Kumar Dutta, Matthew Bocci, Luca Martini
2014 J jnl
Inter-Chassis Communication Protocol for Layer 2 Virtual Private Network (L2VPN) Provider Edge (PE) Redundancy.
RFC
Luca Martini, Samer Salam, Ali Sajassi, Matthew Bocci, Satoru Matsushima, Thomas D. Nadeau
2014 J jnl
Label Advertisement Discipline for LDP Forwarding Equivalence Classes (FECs).
RFC
Kamran Raza, Sami Boutros, Luca Martini, Nicolai Leymann
2013 J jnl
LDP Downstream-on-Demand in Seamless MPLS.
RFC
Thomas Beckhaus, Bruno Decraene, Kishore Tiruveedhula, Maciek Konstantynowicz, Luca Martini
2012 J jnl
Efficient Genotype Elimination via Adaptive Allele Consolidation.
IEEE ACM Trans. Comput. Biol. Bioinform.
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
2012 J jnl
Packet Pseudowire Encapsulation over an MPLS PSN.
RFC
Stewart Bryant, Luca Martini, George Swallow, Andrew G. Malis
2012 J jnl
Pseudowire Status for Static Pseudowires.
RFC
Luca Martini, George Swallow, Giles Heron, Matthew Bocci
2011 J jnl
Pseudowire (PW) Operations, Administration, and Maintenance (OAM) Message Mapping.
RFC
Mustapha Aïssaoui, Peter Busschbach, Luca Martini, Monique Morrow, Thomas D. Nadeau, Yaakov Stein
2011 J jnl
Segmented Pseudowire.
RFC
Luca Martini, Chris Metz, Thomas D. Nadeau, Matthew Bocci, Mustapha Aïssaoui
2011 J jnl
Using the Generic Associated Channel Label for Pseudowire in the MPLS Transport Profile (MPLS-TP).
RFC
Han Li, Luca Martini, Jia He, Feng Huang
2010 — conf
Celer: an Efficient Program for Genotype Elimination
AMCA-POP
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
2010 — —
Checking Secure Information Flow in Programs.
Luca Martini
2010 J jnl
Partial model checking via abstract interpretation.
Inf. Process. Lett.
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini
2010 J jnl
Using abstract interpretation to add type checking for interfaces in Java bytecode verification.
Theor. Comput. Sci.
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
2008 J jnl
Decomposing bytecode verification by abstract interpretation.
ACM Trans. Program. Lang. Syst.
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci
2008 J jnl
Requirements for Multi-Segment Pseudowire Emulation Edge-to-Edge (PWE3).
RFC
Nabil Bitar, Matthew Bocci, Luca Martini
2008 J jnl
Synchronous Optical Network/Synchronous Digital Hierarchy (SONET/SDH) Circuit Emulation Service over MPLS (CEM) Encapsulation.
RFC
Andrew G. Malis, Jeremy Brayley, John Shirron, Luca Martini, Steve Vogelsang
2007 J jnl
Attachment Individual Identifier (AII) Types for Aggregation.
RFC
Chris Metz, Luca Martini, Florin Balus, Jeff Sugimoto
2007 J jnl
Encapsulation Methods for Transport of Layer 2 Frames over MPLS Networks.
RFC
Luca Martini, Eric C. Rosen, Nasser El-Aawar
2007 J jnl
Instruction-level security analysis for information flow in stack-based assembly languages.
Inf. Comput.
Nicoletta De Francesco, Luca Martini
2007 J jnl
Instruction-level security typing by abstract interpretation.
Int. J. Inf. Sec.
Nicoletta De Francesco, Luca Martini
2007 J jnl
Pseudowire Emulation Edge-to-Edge (PWE3) Asynchronous Transfer Mode (ATM) Transparent Cell Transport Service.
RFC
Andrew G. Malis, Luca Martini, Jeremy Brayley, Tom Walsh
2007 J jnl
Transport of Layer 2 Frames Over MPLS.
RFC
Luca Martini, Eric C. Rosen, Nasser El-Aawar
2007 J jnl
Wildcard Pseudowire Type.
RFC
Luca Martini, George Swallow
2006 J jnl
Constrained Route Distribution for Border Gateway Protocol/MultiProtocol Label Switching (BGP/MPLS) Internet Protocol (IP) Virtual Private Networks (VPNs).
RFC
Pedro R. Marques, Ronald P. Bonica, Luyuan Fang, Luca Martini, Robert Raszuk, Keyur Patel, Jim Guichard
2006 J jnl
Encapsulation Methods for Transport of Asynchronous Transfer Mode (ATM) over MPLS Networks.
RFC
Luca Martini, J. Jayakumar, Matthew Bocci, Nasser El-Aawar, Jeremy Brayley, Ghassem Koleyni
2006 J jnl
Encapsulation Methods for Transport of Ethernet over MPLS Networks.
RFC
Luca Martini, Eric C. Rosen, Nasser El-Aawar, Giles Heron
2006 J jnl
Encapsulation Methods for Transport of Frame Relay over Multiprotocol Label Switching (MPLS) Networks.
RFC
Luca Martini, Claude Kawa, Andrew G. Malis
2006 J jnl
Encapsulation Methods for Transport of PPP/High-Level Data Link Control (HDLC) over MPLS Networks.
RFC
Luca Martini, Eric C. Rosen, Giles Heron, Andrew G. Malis
2006 J jnl
IANA Allocations for Pseudowire Edge to Edge Emulation (PWE3).
RFC
Luca Martini
2006 J jnl
Pseudowire Emulation Edge-to-Edge (PWE3) Control Word for Use over an MPLS PSN.
RFC
Stewart Bryant, George Swallow, Luca Martini, Danny McPherson
2006 J jnl
Pseudowire Setup and Maintenance Using the Label Distribution Protocol (LDP).
RFC
Luca Martini, Eric C. Rosen, Nasser El-Aawar, Toby Smith, Giles Heron
2006 J jnl
Using Control Dependencies for Space-Aware Bytecode Verification.
Comput. J.
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
2006 J jnl
Using postdomination to reduce space requirements of data flow analysis.
Inf. Process. Lett.
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
2005 — conf
A Space-Aware Bytecode Verifier for Java Cards.
Bytecode@ETAPS
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
2005 — conf
Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations.
Formal Aspects in Security and Trust
Nicoletta De Francesco, Luca Martini
2004 J jnl
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification.
Softw. Pract. Exp.
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
2004 — conf
Enforcement of applet boundaries in Java card systems.
IASTED Conf. on Software Engineering and Applications
Cinzia Bernardeschi, Luca Martini
2004 — conf
Java bytecode verification with dynamic structures.
IASTED Conf. on Software Engineering and Applications
Cinzia Bernardeschi, Luca Martini, Paolo Masci
2003 — conf
Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract.
OTM Workshops
Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini