Conference Proceedings

Bliudze S, Bruni R, Bruni R, Carbone M, Silva A.  2012.  Towards Interaction Reliability in Concurrent Applications. Scientific Annals of Computer Science. 22:1-4. Abstractxxii1_0.pdf

Developing trustworthy concurrent applications is a seemingly never ending quest, which is necessary but dicult. It is necessary because mainstream systems and applications are inherently concurrent and they are pervasive to our daily life activities. It is dicult because such systems are inherently interactive and heterogeneous, so that boundaries can hardly be established for studying subsystems in isolation.
Formal methods are a key instrument in resolving ambiguities and design reliable applications in a rigorous way. The authors overview major problems in the application of formal methods and outline how they are tackled by the papers collected in this volume.

Carbone M, Lanese I, Silva A, Sokolova A.  2012.  Proceedings Fifth Interaction and Concurrency Experience. ICE. 104
Constable RL, Silva A.  2012.  Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science. 7230
Mokhtar SB, Bliudze S, Bruni R, Silva A, Troina A.  2011.  Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction {ICE}. 38 Abstractxxi1_6.pdf

The authors emphasize the actual relevance and need of formal methods for the advancements of complex systems, and brie y present the other papers contained in this issue.

Jacobs B, Niqui M, Rutten J, Silva A.  2011.  Special issue CMCS Tenth Anniversary Meeting. 412:4967–5110.
Bliudze S, Bruni R, Grohmann D, Silva A.  2010.  Proceedings ICE 2010. 38
Jacobs B, Niqui M, Rutten J, Silva A.  2010.  Proceedings CMCS 2010. 264:1–198.
Jacobs B, Niqui M, Rutten J, Silva A.  2010.  Short Contributions CMCS 2010. :1–32.