Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Francesco Logozzo

Formal Techniques for Java-Like Programs

English

Related publications

Provably Correct Inline Monitoring for Multithreaded Java-Like Programs

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2010English

JavaMarker: A Marking System for Java Programs

International Journal of Computer Applications
2011English

Permission-Based Separation Logic for Multithreaded Java Programs

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Formal Verification of Programs for Abstract Register Machines

Bulletin of the Novosibirsk Computing Center. Series:Computer Science
2013English

Special Edition. Recent Editing Techniques for TV Programs. 2. Editing Techniques. 2-1. Editing Techniques for Drama Programs.

The Journal of the Institute of Television Engineers of Japan
1990English

Designing Robust Java Programs With Exceptions

ACM SIGSOFT Software Engineering Notes
2000English

Formal Techniques for Distributed Objects, Components, and Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Computing Bounds for Fault Tolerance Using Formal Techniques

2009English

Certifying Native Java Card API by Formal Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy