Luca Paolini

Theor. Comput. Sci., 2022

FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

Efficient static analysis and verification of featured transition systems.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

Programming the Interaction with Quantum Coprocessors.

[BibT_eX]

[DOI]

ERCIM News, 2022

2021

Interleaving classical and reversible.

[BibT_eX]

[DOI]

CoRR, 2021

Variability modules for Java-like languages.

[BibT_eX]

[DOI]

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Static analysis and family-based model checking of featured transition systems with VMC.

[BibT_eX]

[DOI]

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Static analysis and family-based model checking with VMC.

[BibT_eX]

[DOI]

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Splitting Recursion Schemes into Reversible and Classical Interacting Threads.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 13th International Conference, 2021

2020

A class of Recursive Permutations which is Primitive Recursive complete.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

The fixed point problem of a simple reversible language.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

On the Expressivity of Total Reversible Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 12th International Conference, 2020

On Slicing Software Product Line Signatures.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

On Two Characterizations of Feature Models.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

2019

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2019

A formal model for Multi Software Product Lines.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

On the expressiveness of modal transition systems with variability constraints.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

QPCF: Higher-Order Languages and Quantum Circuits.

[BibT_eX]

[DOI]

Margherita Zorzi

J. Autom. Reason., 2019

Static analysis of featured transition systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions.

[BibT_eX]

[DOI]

New Gener. Comput., 2018

Quantum programming made easy.

[BibT_eX]

[DOI]

Margherita Zorzi

Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

Multi Software Product Lines in the Wild.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

The Fixed Point Problem for General and for Linear SRL Programs is Undecidable.

[BibT_eX]

[DOI]

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

2017

Essential and relational models.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2017

Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus.

[BibT_eX]

[DOI]

Giulio Guerrieri

Log. Methods Comput. Sci., 2017

qPCF: A Language for Quantum Circuit Computations.

[BibT_eX]

[DOI]

Margherita Zorzi

Proceedings of the Theory and Applications of Models of Computation, 2017

A Formal Model for Multi SPLs.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2016

On the reification of semantic linearity.

[BibT_eX]

[DOI]

Marco Gaboardi

Math. Struct. Comput. Sci., 2016

2015

A Class of Reversible Primitive Recursive Functions.

[BibT_eX]

[DOI]

Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015

A Certified Study of a Reversible Programming Language.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015

Standardization of a Call-By-Value Lambda-Calculus.

[BibT_eX]

[DOI]

Giulio Guerrieri

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

From Featured Transition Systems to Modal Transition Systems with Variability Constraints.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2012

Preface.

[BibT_eX]

[DOI]

Silvia Ghilezan

Fundam. Informaticae, 2012

Call-by-Value Solvability, Revisited.

[BibT_eX]

[DOI]

Beniamino Accattoli

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011

Strong normalization from an unusual point of view.

[BibT_eX]

[DOI]

Elaine Pimentel

Theor. Comput. Sci., 2011

Linearity and PCF: a semantic insight!

[BibT_eX]

[DOI]

Marco Gaboardi

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2009

Logical Semantics for Stability.

[BibT_eX]

[DOI]

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

2008

Parametric lambda -theories.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

A Process-Model for Linear Programs.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, International Conference, 2008

Semantically linear programming languages.

[BibT_eX]

[DOI]

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

2006

A stable programming language.

[BibT_eX]

[DOI]

Inf. Comput., 2006

An Operational Characterization of Strong Normalization.

[BibT_eX]

[DOI]

Elaine Pimentel

Proceedings of the Foundations of Software Science and Computation Structures, 2006

2004

The Parametric Lambda Calculus - A Metamodel for Computation

[BibT_eX]

[DOI]

Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-10394-4, 2004

Lambda]-theories.

[BibT_eX]

[DOI]

PhD thesis, 2004

Parametric parameter passing Lambda-calculus.

[BibT_eX]

[DOI]

Inf. Comput., 2004

Lazy Strong Normalization.

[BibT_eX]

[DOI]

Elaine Pimentel

Proceedings of the Third International Workshop on Intersection Types and Related Systems, 2004

2003

Lazy Logical Semantics.

[BibT_eX]

[DOI]

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

2001

Call-by-Value Separability and Computability.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

1999

Call-by-value Solvability.

[BibT_eX]

[DOI]