Alessandro Aldini

Edoardo Bontà

CoRR, 2018

Introducing a flexible rewarding platform for mobile crowd-sensing applications.

[BibT_eX]

[DOI]

Lorenz Cuno Klopfenstein

Saverio Delpriori

Alessandro Bogliolo

Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018

From Knowledge to Trust: A Logical Framework for Pre-trust Computations.

[BibT_eX]

[DOI]

Mirko Tagliaferri

Proceedings of the Trust Management XII - 12th IFIP WG 11.11 International Conference, 2018

A Trust Logic for Pre-Trust Computations.

[BibT_eX]

[DOI]

Mirko Tagliaferri

Proceedings of the 21st International Conference on Information Fusion, 2018

2017

Design and validation of a trust-based opportunity-enabled risk management system.

[BibT_eX]

[DOI]

Xavier Titi

Jonathan Guislain

Inf. Comput. Secur., 2017

Combining Trust and Aggregate Computing.

[BibT_eX]

[DOI]

Roberto Casadei

Mirko Viroli

Proceedings of the Software Engineering and Formal Methods, 2017

2016

A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016

On Probabilistic Application Compliance.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

2015

Modeling and verification of trust and reputation systems.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2015

Expected-Delay-Summing Weak Bisimilarity for Markov Automata.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Detection of repackaged mobile applications through a collaborative approach.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2015

Formal Modeling and Verification of Opportunity-enabled Risk Management.

[BibT_eX]

[DOI]

Xavier Titi

Jonathan Guislain

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis.

[BibT_eX]

[DOI]

Vincenzo Fano

Pierluigi Graziani

Proceedings of the History and Philosophy of Computing - Third International Conference, 2015

Do the Self-Knowing Machines Dream of Knowing Their Factivity?

[BibT_eX]

[DOI]

Vincenzo Fano

Pierluigi Graziani

Proceedings of the 3rd International Workshop on Artificial Intelligence and Cognition, 2015

2014

On the Tradeoff among Trust, Privacy, and Cost in Incentive-Based Networks.

[BibT_eX]

[DOI]

Alessandro Bogliolo

Proceedings of the Trust Management VIII - 8th IFIP WG 11.11 International Conference, 2014

A Calculus for Trust and Reputation Systems.

[BibT_eX]

[DOI]

Proceedings of the Trust Management VIII - 8th IFIP WG 11.11 International Conference, 2014

2013

A collaborative framework for generating probabilistic contracts.

[BibT_eX]

[DOI]

Proceedings of the 2013 International Conference on Collaboration Technologies and Systems, 2013

2012

Approximating Markovian testing equivalence.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Virtual currency and reputation-based cooperation incentives in user-centric networks.

[BibT_eX]

[DOI]

Proceedings of the 8th International Wireless Communications and Mobile Computing Conference, 2012

2011

Component-oriented verification of noninterference.

[BibT_eX]

[DOI]

J. Syst. Archit., 2011

Performability Measure Specification: Combining CSRL and MSL.

[BibT_eX]

[DOI]

Jeremy Sproston

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2010

Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation.

[BibT_eX]

[DOI]

Edoardo Bontà

J. Syst. Softw., 2010

Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

A Process Algebraic Approach to Software Architecture Design.

[BibT_eX]

[DOI]

Flavio Corradini

Springer, ISBN: 978-1-84800-222-7, 2010

2009

A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Applications of Security Analysis, 2009

2008

Estimating the maximum information leakage.

[BibT_eX]

[DOI]

Alessandra Di Pierro

Int. J. Inf. Sec., 2008

Preface.

[BibT_eX]

[DOI]

Maurice H. ter Beek

Fabio Gadducci

Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008

Preface.

[BibT_eX]

[DOI]

Christel Baier

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems VI, 2008

2007

Mixing logics and rewards for the component-oriented specification of performance measures.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

A formal approach to the integrated analysis of security and QoS.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2007

Preface.

[BibT_eX]

[DOI]

Franck van Breugel

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions.

[BibT_eX]

Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007

2006

Classification of security properties in a Linda-like process algebra.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2006

Component-Oriented Specification of Performance Measures.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

2005

On the usability of process algebra: An architectural view.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Mobile Computing, 2005

2004

A process-algebraic approach for the analysis of probabilistic noninterference.

[BibT_eX]

[DOI]

J. Comput. Secur., 2004

On Quantitative Analysis of Probabilistic Protocols.

[BibT_eX]

[DOI]

Alessandra Di Pierro

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2004

TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Towards a Formal Treatment of Secrecy Against Computational Adversaries.

[BibT_eX]

[DOI]

Angelo Troina

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

Discrete time generative-reactive probabilistic processes with different advancing speeds.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Approximating Imperfect Cryptography in a Formal Model.

[BibT_eX]

[DOI]

Angelo Troina

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

A Quantitative Approach to Noninterference for Probabilistic Systems.

[BibT_eX]

[DOI]

Alessandra Di Pierro

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Coordination Model and Noninterference.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Security Issues in Coordination Models, 2003

On Securing Real-Time Speech Transmission over the Internet: An Experimental Study.

[BibT_eX]

[DOI]

Marco Roccetti

EURASIP J. Adv. Signal Process., 2003

A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism.

[BibT_eX]

[DOI]

Proceedings of the Global Computing. Programming Environments, 2003

A General Approach to Deadlock Freedom Verification for Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the FME 2003: Formal Methods, 2003

2002

Security Analysis of a Probabilistic Non-repudiation Protocol.

[BibT_eX]

[DOI]

Proceedings of the Process Algebra and Probabilistic Methods, 2002

Two Formal Approaches for Approximating Noninterference Properties.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Security Analysis and Design II, 2002

2001

Comparing the QoS of Internet audio mechanisms via formal methods.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2001

Non-determinism in Probabilistic Timed Systems with General Distributions.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Models for Time-Critical Systems, 2001

Expressing Processes with Different Action Durations through Probabilities.

[BibT_eX]

[DOI]

Proceedings of the Process Algebra and Probabilistic Methods, 2001

Probabilistic Information Flow in a Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

2000

An Asynchronous Calculus for Generative-Reactive Probalistic Systems.

[BibT_eX]