Upcoming events
Past events
  • The paper Using SMT for dealing with nondeterminism in ASM-based runtime verification has been accepted in AVoCS 2014, 14th International Workshop on Automated Verification of Critical Systems, Enschede, The Netherlands, September 24-26, 2014
  • The paper Modeling and formal analysis of a client-server application for Cloud services has been accepted in WS-FM:FASOCC 2014, 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing, Eindhoven, The Netherlands, September 11-12, 2014
  • The paper An Abstraction Technique for Testing Decomposable Systems by Model Checking has been accepted in TAP 2014, 8th International Conference on Tests & Proofs, York, UK, July 24-25, 2014
  • The paper Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module has been accepted in ABZ 2014, - Case study track, Toulouse, France, June 2 - 6, 2014
  • The paper Modeling and Analyzing Using ASMs: The Landing Gear System Case Study has been accepted in ABZ 2014, - Case study track, Toulouse, France, June 2 - 6, 2014
  • The paper Using mutation to assess fault detection capability of model review has been published in Software Testing, Verification and Reliability, 2014 (early view)
  • The paper Test Generation for Sequential Nets of Abstract State Machines with Information Passing has been published in Science of Computer Programming, 94, Part 2(0):93-108, 2014
  • The paper Validation of Models and Tests for Constrained Combinatorial Interaction Testing has been accepted in IWCT 2014, 3rd International Workshop on Combinatorial Testing, Cleveland, Ohio, USA, March 31, 2014
  • The paper Online testing of LTL properties for Java code has been accepted in HVC 2013, Ninth Haifa Verification Conference, Haifa, Israel, November 5 - 7, 2013
  • Elvinia has been one of the organizers of the Dagstuhl Seminar Integration of Tools for Rigorous Software Construction and Analysis (13372), Schloss Dagstuhl, Germany, September 8 - 13, 2013
  • Elvinia has been program chair for Eclipse-IT 2013, Crema (MI), Italy, September 19 - 20, 2013
  • The paper Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism has been accepted in A-MOST 2013, 9th Workshop on Advances in Model Based Testing, Luxembourg, March 22 2013 -- Best paper award
  • The book chapter Formal Semantics for Metamodel-Based Domain Specific Languages has been published in the book Formal and Practical Aspects of Domain-Specific Languages: Recent Developments Editors: Dr. Marjan Mernik (University of Maribor, Slovenia). IGI Global.
  • The paper Components monitoring through formal specifications has been accepted in WCOP 2012, Seventeenth International Doctoral Symposium on Components and Architecture, Bertinoro, Italy, June 25 2012
  • The paper Test Generation for Sequential Nets of Abstract State Machines has been accepted in ABZ 2012, ASM, Alloy, B and Z, Pisa, Italy, June 18 - 22, 2012
  • Elvinia has been conference chair for ABZ 2012, ASM, Alloy, B and Z, Pisa, Italy, June 18 - 22, 2012
  • The short paper Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions has been accepted in ASE 2011, 26th IEEE/ACM International Conference On Automated Software Engineering, Lawrence, Kansas, USA, November 6 - 11, 2011
  • The paper CoMA: Conformance Monitoring of Java programs by Abstract State Machines has been accepted in RV 2011, 2nd International Conference on RUNTIME VERIFICATION, San Francisco, California, USA, September 27 - 30, 2011
  • Angelo has been program chair for TAP 2010, 4th International Conference on Tests & Proofs, July 1 - 2, 2010, Malaga, Spain
  • The paper Automatic Review of Abstract State Machines by Meta Property Verification has been accepted in NFM 2010, Second NASA Formal Methods Symposium, Washington D.C., USA, April 13 - 15, 2010
  • The paper AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications has been accepted in ABZ 2010, Orford, Québec, Canada February 22-25, 2010