Search the dblp DataBase

Publications of Author

1. Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci
   Automatic generation of optimal controllers through model checking techniques. [Citation Graph (0, 0)][DBLP]
   ICINCO-ICSO, 2006, pp:26-33 [Conf]
   
2. Benedetto Intrigila, Igor Melatti, Alberto Tofani, Guido Macchiarelli
   Computational models of myocardial endomysial collagen arrangement. [Citation Graph (0, 0)][DBLP]
   Computer Methods and Programs in Biomedicine, 2007, v:86, n:3, pp:232-244 [Journal]
   
3. 
   Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing - Like Algorithms. [Citation Graph (, )][DBLP]
   
   
4. 
   A Case Study on Automated Generation of Integration Tests. [Citation Graph (, )][DBLP]
   
   
5. 
   Ontological Framework to Model Critical Infrastructures and their Interdependencies. [Citation Graph (, )][DBLP]