Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
report2011 [2011/05/02 23:33]
piskac
report2011 [2011/05/08 12:31] (current)
silvia.ghilezan
Line 20: Line 20:
  
   * Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, and Tomas Vojnar. Programs with Lists are Counter Automata. Formal Methods in System Design, 38(2):​158--192,​ Springer-Verlag,​ 2011.   * Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, and Tomas Vojnar. Programs with Lists are Counter Automata. Formal Methods in System Design, 38(2):​158--192,​ Springer-Verlag,​ 2011.
 +
 +  * Mariangiola Dezani-Ciancaglini,​ Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic: Types for role based access control of dynamic web data.  WFLP'​10 invited talk, Lecture Notes in Computer Science 6559: 1-29, Springer-Verlag (2011).
  
  
Line 47: Line 49:
   * Project Coconut //(the definition of a formal framework based on a tight integration of design and verification through all refinement steps of an embedded platform design flow, from specifications to logic synthesis and software compilation)//​ http://​www.iaik.tugraz.at/​content/​research/​design_verification/​coconut/​   * Project Coconut //(the definition of a formal framework based on a tight integration of design and verification through all refinement steps of an embedded platform design flow, from specifications to logic synthesis and software compilation)//​ http://​www.iaik.tugraz.at/​content/​research/​design_verification/​coconut/​
  
-  * Tools and Methods for Scalable Software Verification ​(ToMeSo) - http://​www.itu.dk/​research/​pls/​wiki/​index.php/​Tools_and_Methods_for_Scalable_Software_Verification_(TOMESO) (Lars Birkdedal)+  * ToMeSo (Tools and Methods for Scalable Software Verification) - http://​www.itu.dk/​research/​pls/​wiki/​index.php/​Tools_and_Methods_for_Scalable_Software_Verification_(TOMESO) (Lars Birkdedal)
  
-  * Modular Reasoning about Software ​(MOREASO)  - http://​www.itu.dk/​people/​birkedal/​moreaso ​  (Lars Birkdedal)+  * MOREASO (Modular Reasoning about Software) ​ - http://​www.itu.dk/​people/​birkedal/​moreaso ​  (Lars Birkdedal)
  
 +  * LIME2 (LightweIght formal Methods for distributed component-based Embedded systems) - http://​www.tcs.hut.fi/​Research/​Logic/​LIME2/​ (Ilkka Niemelä)
 +
 +  * StMcDes (Symbolic Testing and Model Checking of Distributed Embedded Systems) - http://​www.tcs.hut.fi/​Research/​Logic/​StMcDes.shtml (Ilkka Niemelä)
 +
 +  * MCM (Methods for Constructing and Solving Large Constraint Models) - http://​www.tcs.hut.fi/​Research/​Logic/​MCM.shtml (Ilkka Niemelä)
 +
 +  * MODSAFE (Model-Based Safety Evaluation of Automation Systems) http://​www.tcs.hut.fi/​Research/​Logic/​MODSAFE/​ (Keijo Heljanko)
 +
 +  * ASCENS http://​www.ascens-ist.eu (Barbara Jobstmann)
 +
 +  * Secure Type Systems and Deduction - DFG Project http://​www4.in.tum.de/​proj/​theoremprov/​local_projects/​rs3.html (Tobias Nipkow)
 +
 +  * SEMACODE (Stratégies d'​Évaluation,​ Machines Abstraites et COntrôle DElimité) INRIA Associate Team Project (Hugo Herbelin, Silvia Ghilezan)
  
 ===== 3) Events (workshops, conferences) ===== ===== 3) Events (workshops, conferences) =====
Line 70: Line 85:
  
   * Peter Schneider-Kamp is a PC-Chair of the 11th International Workshop on Termination (WST 2010) http://​www.imada.sdu.dk/​~petersk/​WST2010/​   * Peter Schneider-Kamp is a PC-Chair of the 11th International Workshop on Termination (WST 2010) http://​www.imada.sdu.dk/​~petersk/​WST2010/​
 +
 +  * Ilkka Niemelä is a PC Chair of JELIA 2010 (12th European Conference on Logics in Artificial Intelligence) http://​jelia2010.tkk.fi/​
 +
 +  * Tayssir TOUILI is a  Co-chair of CAV 2010 http://​www.liafa.jussieu.fr/​~touili/​cav2010/​
 +
 +  * Barbara Jobstamann is a co-chair for MEMOCODE 2010 http://​www-memocode2010.imag.fr/​
 +
 +  * Rupak Majumdar is a Program Co-Chair, TACAS 2010 (part of ETAPS 2010) http://​tacas10.in.tum.de/​
 +
 +  * Eran Yahav is a co-organizer LFX 2010 http://​research.ihost.com/​lfx2010/​
 +
 +  * Eran Yahav is a co-organizer PSY 2010 http://​research.ihost.com/​psy2010/​
 +
 +  * Predrag Janicic is an organizer of the Workshops on Formal and Automated Theorem Proving and Applications FATPA 2010 (http://​argo.matf.bg.ac.rs/​events/​2010/​fatpa2010/​fatpa2010.html) and FATPA 2011 (http://​argo.matf.bg.ac.rs/​events/​2011/​fatpa2011/​fatpa2011.html)
 +
 +  * Silvia Ghilezan is a Conference Chair of he 6th Federated Conference on Rewriting, Deduction and Programming - RDP 2011 (http://​www.rdp2011.uns.ac.rs)