![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Valerio Senni
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j13]Aikaterini Triakosia, Panagiotis Rizomiliotis, Cecilia Tonelli, Fabio Federici, Valerio Senni:
Secure outsourcing of manufacturing compliance checks. Int. J. Inf. Sec. 23(1): 609-627 (2024) - 2022
- [c26]Davide Martintoni, Valerio Senni
, Ernesto Gómez-Marín
, Antonio Javier Cabrera Gutiérrez
:
Sensitive information protection in blockchain-based supply-chain management for aerospace. COINS 2022: 1-8 - [c25]Loris Dal Lago
, Fabio Federici
, Davide Martintoni
, Valerio Senni:
Risk-driven Model-based Architecture Design for Secure Information Flows in Manufacturing Infrastructures. SECRYPT 2022: 499-506 - [c24]Aikaterini Triakosia, Panagiotis Rizomiliotis, Konstantinos Tserpes, Cecilia Tonelli, Valerio Senni
, Fabio Federici
:
Homomorphic Encryption in Manufacturing Compliance Checks. TrustBus 2022: 81-95 - 2021
- [c23]Prabhakaran Kasinathan, Davide Martintoni
, Benedikt Hofmann, Valerio Senni
, Martin Wimmer:
Secure Remote Maintenance via Workflow-Driven Security Framework. Blockchain 2021: 29-37
2010 – 2019
- 2019
- [p2]Marco Rocchetto, Alberto Ferrari, Valerio Senni
:
Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems. Resilience of Cyber-Physical Systems 2019: 25-47 - 2017
- [j12]Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien:
An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. 4(10): e3 (2017) - [j11]Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien:
An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. 4(11): e2 (2017) - [c22]Orlando Ferrante, Luigi Di Guglielmo, Valerio Senni
, Alberto Ferrari:
Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems. IMBSA 2017: 243-254 - 2016
- [c21]Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien:
An Application of SMC to continuous validation of heterogeneous systems. SimuTools 2016: 76-85 - 2015
- [j10]Fabio Fioravanti
, Maurizio Proietti, Valerio Senni
:
Efficient generation of test data structures using constraint logic programming and program transformation. J. Log. Comput. 25(6): 1263-1283 (2015) - [j9]Michele Amoretti, Alessandro Grazioli
, Valerio Senni
, Francesco Tiezzi, Francesco Zanichelli
:
A formalized framework for mobile cloud computing. Serv. Oriented Comput. Appl. 9(3-4): 229-248 (2015) - [c20]Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
:
On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems 2015: 619-640 - 2014
- [c19]Rocco De Nicola
, Alberto Lluch-Lafuente
, Michele Loreti
, Andrea Morichetta, Rosario Pugliese
, Valerio Senni
, Francesco Tiezzi:
Programming and Verifying Component Ensembles. FPS@ETAPS 2014: 69-83 - [c18]Michele Amoretti
, Alessandro Grazioli
, Francesco Zanichelli
, Valerio Senni
, Francesco Tiezzi:
Towards a Formal Approach to Mobile Cloud Computing. PDP 2014: 743-750 - [c17]Diego Latella
, Michele Loreti
, Mieke Massink
, Valerio Senni
:
Stochastically timed predicate-based communication primitives for autonomic computing. QAPL 2014: 1-16 - [c16]Valerio Senni
, Michele Stawowy:
Backwards State-space Reduction for Planning in Dynamic Knowledge Bases. GRAPHITE 2014: 84-99 - [e1]Nikolaj S. Bjørner, Fabio Fioravanti, Andrey Rybalchenko, Valerio Senni:
Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014. EPTCS 169, 2014 [contents] - 2013
- [j8]Fabio Fioravanti
, Alberto Pettorossi
, Maurizio Proietti
, Valerio Senni
:
Controlling Polyvariance for Specialization-based Verification. Fundam. Informaticae 124(4): 483-502 (2013) - [j7]Fabio Fioravanti
, Alberto Pettorossi
, Maurizio Proietti
, Valerio Senni
:
Proving Theorems by Program Transformation. Fundam. Informaticae 127(1-4): 115-134 (2013) - [j6]Fabio Fioravanti
, Alberto Pettorossi
, Maurizio Proietti
, Valerio Senni
:
Generalization strategies for the verification of infinite state systems. Theory Pract. Log. Program. 13(2): 175-199 (2013) - 2012
- [j5]Alberto Pettorossi
, Maurizio Proietti
, Valerio Senni
:
Constraint-based correctness proofs for logic program transformations. Formal Aspects Comput. 24(4-6): 569-594 (2012) - [j4]Fabio Fioravanti
, Alberto Pettorossi
, Maurizio Proietti
, Valerio Senni
:
Improving Reachability Analysis of Infinite State Systems by Specialization. Fundam. Informaticae 119(3-4): 281-300 (2012) - [c15]Anna Kolesnichenko, Valerio Senni
, Alireza Pourranjbar, Anne Remke:
Applying Mean-Field Approximation to Continuous Time Markov Chains. ROCKS 2012: 242-280 - [c14]Valerio Senni
, Fabio Fioravanti
:
Generation of Test Data Structures Using Constraint Logic Programming. TAP@TOOLS 2012: 115-131 - 2011
- [j3]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Program transformation for development, verification, and synthesis of programs. Intelligenza Artificiale 5(1): 119-125 (2011) - [c13]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Controlling Polyvariance for Specialization-based Verification. CILC 2011: 179-197 - [c12]Christophe Ringeissen, Valerio Senni
:
Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. FroCoS 2011: 211-226 - [c11]Fabio Fioravanti
, Alberto Pettorossi
, Maurizio Proietti
, Valerio Senni
:
Using Real Relaxations during Program Specialization. LOPSTR 2011: 106-122 - [c10]Fabio Fioravanti
, Alberto Pettorossi
, Maurizio Proietti
, Valerio Senni
:
Improving Reachability Analysis of Infinite State Systems by Specialization. RP 2011: 165-179 - [i4]Christophe Ringeissen, Valerio Senni:
Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 64-65 - [i3]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Generalization Strategies for the Verification of Infinite State Systems. CoRR abs/1110.0999 (2011) - 2010
- [j2]Alberto Pettorossi
, Valerio Senni
, Maurizio Proietti
:
Transformations of logic programs on infinite lists. Theory Pract. Log. Program. 10(4-6): 383-399 (2010) - [c9]Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Generalization Strategies for the Verification of Infinite State Systems. CILC 2010 - [c8]Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
A Transformation Strategy for Verifying Logic Programs on Infinite Lists. CILC 2010 - [c7]Fabio Fioravanti
, Alberto Pettorossi
, Maurizio Proietti
, Valerio Senni
:
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. LOPSTR 2010: 164-183 - [p1]Alberto Pettorossi
, Maurizio Proietti
, Valerio Senni
:
The Transformational Approach to Program Development. 25 Years GULP 2010: 112-135 - [i2]Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Transformations of Logic Programs on Infinite Lists. CoRR abs/1007.4157 (2010)
2000 – 2009
- 2009
- [j1]Valerio Senni
, Alberto Pettorossi
, Maurizio Proietti
:
A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs. Fundam. Informaticae 96(3): 373-393 (2009) - [c6]Alberto Pettorossi
, Maurizio Proietti
, Valerio Senni
:
Deciding Full Branching Time Logic by Program Transformation. LOPSTR 2009: 5-21 - 2008
- [c5]Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Program Transformation for Development, Verification, and Synthesis of Software. Il Milione 2008 - [c4]Valerio Senni
, Alberto Pettorossi
, Maurizio Proietti
:
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. ICLP 2008: 284-300 - 2007
- [c3]Alberto Pettorossi, Maurizio Proietti, Valerio Senni
:
Automatic Correctness Proofs for Logic Program Transformations. ICLP 2007: 364-379 - 2006
- [c2]Alberto Pettorossi, Maurizio Proietti, Valerio Senni
:
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. ICLP 2006: 179-195 - 2005
- [c1]Alberto Pettorossi
, Maurizio Proietti
, Valerio Senni
:
Transformational Verification of Parameterized Protocols Using Array Formulas. LOPSTR 2005: 23-43 - [i1]Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. Transformation Techniques in Software Engineering 2005
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint