Valerio Senni - RankMe

46 papers B 4C 6Journal 15Unranked 18

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Secure outsourcing of manufacturing compliance checks. Int. J. Inf. Sec. Aikaterini Triakosia, Panagiotis Rizomiliotis, Cecilia Tonelli, Fabio Federici, Valerio Senni
2022	B	`conf`	Homomorphic Encryption in Manufacturing Compliance Checks. TrustBus Aikaterini Triakosia, Panagiotis Rizomiliotis, Konstantinos Tserpes, Cecilia Tonelli, Valerio Senni, Fabio Federici
2022	C	`conf`	Risk-driven Model-based Architecture Design for Secure Information Flows in Manufacturing Infrastructures. SECRYPT Loris Dal Lago, Fabio Federici, Davide Martintoni, Valerio Senni
2022	—	`conf`	Sensitive information protection in blockchain-based supply-chain management for aerospace. COINS Davide Martintoni, Valerio Senni, Ernesto Gómez-Marín, Antonio Javier Cabrera Gutiérrez
2021	—	`conf`	Secure Remote Maintenance via Workflow-Driven Security Framework. Blockchain Prabhakaran Kasinathan, Davide Martintoni, Benedikt Hofmann, Valerio Senni, Martin Wimmer
2019	—	`ch.`	Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems. Resilience of Cyber-Physical Systems Marco Rocchetto, Alberto Ferrari, Valerio Senni
2017	J	`jnl`	An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
2017	J	`jnl`	An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
2017	—	`conf`	Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems. IMBSA Orlando Ferrante, Luigi Di Guglielmo, Valerio Senni, Alberto Ferrari
2016	—	`conf`	An Application of SMC to continuous validation of heterogeneous systems. SimuTools Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
2015	J	`jnl`	A formalized framework for mobile cloud computing. Serv. Oriented Comput. Appl. Michele Amoretti, Alessandro Grazioli, Valerio Senni, Francesco Tiezzi, Francesco Zanichelli
2015	J	`jnl`	Efficient generation of test data structures using constraint logic programming and program transformation. J. Log. Comput. Fabio Fioravanti, Maurizio Proietti, Valerio Senni
2015	—	`conf`	On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
2014	—	`conf`	Backwards State-space Reduction for Planning in Dynamic Knowledge Bases. GRAPHITE Valerio Senni, Michele Stawowy
2014	—	`ed.`	Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014. HCVS Nikolaj S. Bjørner, Fabio Fioravanti, Andrey Rybalchenko, Valerio Senni
2014	—	`conf`	Programming and Verifying Component Ensembles. FPS@ETAPS Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi
2014	—	`conf`	Stochastically timed predicate-based communication primitives for autonomic computing. QAPL Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
2014	C	`conf`	Towards a Formal Approach to Mobile Cloud Computing. PDP Michele Amoretti, Alessandro Grazioli, Francesco Zanichelli, Valerio Senni, Francesco Tiezzi
2013	J	`jnl`	Controlling Polyvariance for Specialization-based Verification. Fundam. Informaticae Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2013	J	`jnl`	Generalization strategies for the verification of infinite state systems. Theory Pract. Log. Program. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2013	J	`jnl`	Proving Theorems by Program Transformation. Fundam. Informaticae Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2012	—	`conf`	Applying Mean-Field Approximation to Continuous Time Markov Chains. ROCKS Anna Kolesnichenko, Valerio Senni, Alireza Pourranjbar, Anne Remke
2012	J	`jnl`	Constraint-based correctness proofs for logic program transformations. Formal Aspects Comput. Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2012	—	`conf`	Generation of Test Data Structures Using Constraint Logic Programming. TAP@TOOLS Valerio Senni, Fabio Fioravanti
2012	J	`jnl`	Improving Reachability Analysis of Infinite State Systems by Specialization. Fundam. Informaticae Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2011	—	`conf`	Controlling Polyvariance for Specialization-based Verification. CILC Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2011	J	`jnl`	Generalization Strategies for the Verification of Infinite State Systems CoRR Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2011	—	`conf`	Improving Reachability Analysis of Infinite State Systems by Specialization. RP Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2011	—	`conf`	Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. FroCoS Christophe Ringeissen, Valerio Senni
2011	—	`conf`	Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. TABLEAUX (Workshops, Tutorials, and Short Papers) Christophe Ringeissen, Valerio Senni
2011	J	`jnl`	Program transformation for development, verification, and synthesis of programs. Intelligenza Artificiale Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2011	C	`conf`	Using Real Relaxations during Program Specialization. LOPSTR Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2010	—	`conf`	A Transformation Strategy for Verifying Logic Programs on Infinite Lists. CILC Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2010	—	`conf`	Generalization Strategies for the Verification of Infinite State Systems. CILC Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2010	C	`conf`	Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. LOPSTR Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2010	—	`ch.`	The Transformational Approach to Program Development. 25 Years GULP Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2010	J	`jnl`	Transformations of Logic Programs on Infinite Lists CoRR Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2010	J	`jnl`	Transformations of logic programs on infinite lists. Theory Pract. Log. Program. Alberto Pettorossi, Valerio Senni, Maurizio Proietti
2009	J	`jnl`	A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs. Fundam. Informaticae Valerio Senni, Alberto Pettorossi, Maurizio Proietti
2009	C	`conf`	Deciding Full Branching Time Logic by Program Transformation. LOPSTR Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2008	B	`conf`	A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. ICLP Valerio Senni, Alberto Pettorossi, Maurizio Proietti
2008	—	`conf`	Program Transformation for Development, Verification, and Synthesis of Software. Il Milione Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2007	B	`conf`	Automatic Correctness Proofs for Logic Program Transformations. ICLP Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2006	B	`conf`	Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. ICLP Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2005	—	`conf`	Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. Transformation Techniques in Software Engineering Alberto Pettorossi, Maurizio Proietti, Valerio Senni
2005	C	`conf`	Transformational Verification of Parameterized Protocols Using Array Formulas. LOPSTR Alberto Pettorossi, Maurizio Proietti, Valerio Senni