Valuetools 2019 (TPC member), 12th EAI International Conference on Performance Evaluation Methodologies and Tools, March 13-15, Palma de Mallorca (Spain).
MobiApps 2018 (TPC member), 5th International Workshop on Mobile Applications, August 6-8, Barcelona (Spain).
ICUMT 2018 (TPC member), 10th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, November 5-9, Moscow (Russia).
SCCCS 2018 (TPC member), International Symposium on Cloud Computing and Cyber-Security, August 15-16, London (UK).
3ICT 2018 (TPC member), International Conference on Innovation and Intelligence for Informatics, Computing, and Technologies, November 18-20, Bhrain
Valuetools 2017 (Program Chair), 11th EAI International Conference on Performance Evaluation Methodologies and Tools, December 5-7, Venice (Italy).
CCNC 2017 (TPC member), The 14th Annual IEEE Consumer Communications & Networking Conference (CCNC 2017), Special Sessions Track on Wireless Models and Simulations for Consumer Communication and Networking, 8-11 January 2017, Las Vegas (USA).
EPEW 2016 (PC member), 13th European Workshop on Performance Engineering (EPEW 2016), 5-7 October, 2016, Chios (Greece).
CCNC 2016 (PC member), The 13th Annual IEEE Consumer Communications & Networking Conference (CCNC 2016), Special Sessions Track on Wireless Models and Simulations for Consumer Communication and Networking, 9-12 January 2016, Las Vegas (USA).
GoodTechs 2016 (Local chair), 2nd EAI International Conference on Smart Objects and Technologies for Social Good (GoodTechs 2016), November 30-December 1, 2016, Venice (Italy).
A. Bossi, D. Macedonio, C. Piazza and S. Rossi.
Information Flow in Secure Contexts. Journal of Computer Security, volume 13, n. 3, pag. 391-422, 2005. IOS Press.
[bibTeX]
A. Bossi, R. Focardi, C. Piazza, and S. Rossi.
Verifying Persistent Security Properties. Computer Languages, Systems and Structures, volume 30, n. 3-4, pag. 231-258, 2004. Elsevier Science.
[bibTeX]
A. Bossi, S. Etalle, and S. Rossi.
Properties of Input-Consuming Derivations. Theory and Practice of Logic Programming (TPLP), volume 2, n. 2, pag. 125-154, 2002. Cambridge University Press.
[bibTeX]
F. Cavallin, A. Marin and S. Rossi.
Product-forms for Probabilistic Input/Output
Automata Proc. of the 24th International Symposium on Modeling, Analysis and Simulation of
Computer and Telecommunication Systems (MASCOTS'16), IEEE Press, 2016.
A. Marin and S. Rossi.
On the Relations between Lumpability and Reversibility Proc. of the 22nd International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'14), IEEE Press, 2014.
A. Marin and S. Rossi.
Autoreversibility: exploiting symmetries in Markov chains Proc. of the 21st International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'13), IEEE Press, 2013.
J. Hillston, A. Marin, C. Piazza and S. Rossi.
Contextual Lumpability Proc. of the 7th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'13), ACM Press, 2013.
M. Bugliesi, L. Gallina, S. Hamadou, A. Marin and S. Rossi.
Interference-sensitive Preorders for MANETs Proc. of the 9th International Conference on Quantitative Evaluation of SysTems (QEST'12), pag. 189-198, IEEE Press, 2012.
L. Gallina, S. Hamadou, A. Marin and S. Rossi.
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks Proc. of the 18th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA'11), LNCS 6751, pag. 316-330, Springer-Verlag, 2011.
M. Bugliesi, D. Macedonio, L. Pino, and S. Rossi.
Compliance Preorders for Web Services Proc. of the 6th International Workshop on Web Services and Formal Methods (WS-FM'09), LNCS 6194, pag. 76-91, Springer-Verlag, 2010.
S. Rossi, and D. Macedonio.
Information Flow Security for Service Compositions Proc. of the IEEE International Workshop on Ubiquitous Multimedia Systems and Applications (UMSA'09) - International Conference on Ultramodern Telecommunications (ICUMT'09), IEEE Press, 2009.
[bibTeX]
G. Bernardi, M. Bugliesi, D. Macedonio, and S. Rossi.
A Theory of Adaptable Contract-based Service Composition Proc. of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'08), pag. 327-334, IEEE Press, 2008.
[bibTeX]
S. Crafa, M. Mio, M. Miculan, C. Piazza, and S. Rossi.
PicNic - Pi-calculus Non-Interference checker. (Tool paper) Proc. of the 8th International Conference on Application of Concurrency to System Design (ACSD'08), pag. 33-38,IEEE Press, 2008.
[bibTeX]
M. Bugliesi, D. Macedonio, and S. Rossi.
Static vs Dynamic Typing for Access Control in Pi-Calculus. Proc. of the 12th Annual Asian Computing Science Conference Focusing on Computer and Network Security (ASIAN'07), LNCS 4846, pag. 282-296, Springer-Verlag, 2007.
[bibTeX]
A. Bossi, C. Piazza and S. Rossi.
Action Refinement in Process Algebra and Security Issues. Proc. of the 17th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'07) LNCS 4915, pag. 201-217, Springer-Verlag, 2008.
[bibTeX]
R. Focardi, S. Rossi, and A. Sabelfeld.
Bridging Language-Based and Process Calculi Security. Proc. of the International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'05), LNCS 3441, pag. 299-315, Springer-Verlag, 2005.
[bibTeX]
C. Piazza, E. Pivato and S. Rossi.
CoPS - Checker of Persistent Security. Proc. of the Tenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04), LNCS 2988, pag. 144-152, Springer-Verlag, 2004.
[bibTeX]
A. Bossi, R. Focardi, C. Piazza, and S. Rossi.
Refinement Operators and Information Flow Security. Proc. of the International Conference on Software Engineering and Formal Methods (SEFM'03), pag. 44-53, IEEE Computer Society Press, 2003.
[bibTeX]
A. Bossi, D. Macedonio, C. Piazza, and S. Rossi.
Information Flow Security and Recursive Systems. Proc. of the Italian Conference on Theoretical Computer Science (ICTCS'03), LNCS 2841, pag. 369-382, Springer-Verlag, 2003.
[bibTeX]
A. Bossi, D. Macedonio, C. Piazza, and S. Rossi.
Secure Contexts for Confidential Data. Proc. of the 16th IEEE Computer Security Foundations Workshop (CSFW'03), pag. 14-28, IEEE Computer Society Press, 2003.
[bibTeX]
A. Bossi, R. Focardi, C. Piazza, and S. Rossi.
A Proof System for Information Flow Security. Proc. of the International Workshop on Logic Based Program Development and Transformation (LOPSTR'02), LNCS 2664, pag. 199-218, Springer-Verlag, 2002.
[bibTeX]
A. Bossi, N. Cocco, and S. Rossi.
Termination of Well-Typed Logic Programs. Proc. of the Third International Conference on Principles and Practice of Declarative Programming (PPDP'01), pag. 73-81, ACM Press, 2001.
[bibTeX]
A. Bossi, S. Etalle, and S. Rossi.
Semantics of Input-Consuming Programs. Proc. of Theory and Extensions of Logic Programming, Stream of CL 2000 First International Conference on Computational Logic, LNCS 1861, pag. 194-208, Springer-Verlag, 2000.
[bibTeX]
G. File', S. Rossi.
Static Analysis of Prolog with Cut. Proc. of the Fourth International Conference on Logic Programming and Automated Reasoning (LPAR'93), LNCS 698, pag. 134-145, Springer-Verlag, 1993.
[bibTeX]
