web-archive-it.com » IT » C » CNR.IT

Total: 89

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • SEFM School 2010 - Important Dates
    News Photos Important Dates Application deadline 30 July 2010 SEFM 2010 School 6 10 September 2010 www sefm2010 isti cnr it SEFM 2010 School Home News Downloads rss feed css

    Original URL path: http://www.sefm2010.isti.cnr.it/school/deadlines.php (2015-08-19)
    Open archived version from archive


  • SEFM School 2010 - Courses
    Stochastic COWS and its applications We will present sCOWS an extension of COWS that semantically embeds stochasticity and hence allows modelling services whose behaviour can be analysed using Markovian techniques For instance Markov chains corresponding to sCOWS terms can be model checked against CSL Continuous Stochastic Logic formulas As an example we will detail how probabilistic model checking can be performed over sCOWS by applying a tool named sCOWS LTS and available at http disi unitn it cappello index php vis dl sCOWS LTS generates the Labelled Transition System corresponding to the specification and its subsequent translation to a Continuous Time Markov Chain that can be used as input for the PRISM probabilistic model checker This will also involve a brief presentation of PRISM available from http www prismmodelchecker org Slides applications in orchestration of web services pugliese quaglia tiezzi pdf PDF file 3 Applications in systems biology Duration 6 hours Day September 8 Lecturers Paolo Milazzo University of Pisa Italy Antonio Cerone UNU IIST Macau SAR China Davide Chiarugi University of Siena Italy Abstract Click to Show Hide Abstract We will present some approaches to the formal modeling of biological systems and to the verification of properties of such systems Biological systems of interest include intra and inter cellular processes such as gene regulation mechanisms metabolic pathways signaling pathways cell growth tumor development tissue development etc Initially an introduction to the necessary notions of biology will be given with motivations for the application of formal modeling and analysis techniques in this field Subsequently some formal modeling approaches will be discussed including the use of the Calculus of Looping Sequence a recently proposed formalism for the description of cellular processes These approaches allow biological systems to be described unambiguously and analysis tools to be developed by taking also into account also quantitative aspects of the described systems The complexity of biological systems and the often incomplete knowledge of the parameters often make it difficult to apply formal verification techniques such as model checking We will present some abstraction and model reduction techniques that can be exploited to enable the application of probabilistic model checking to biological systems Slides applications in systems biology milazzo cerone zip ZIP archive 4 Applications to safety critical systems Duration 3 hours Day September 9 Morning Lecturer Alessandro Fantechi University of Florence Italy Abstract Click to Show Hide Abstract Due to the possibility offered by model checking to give a definite result on the satisfaction of a property by a system model checking has been considered as a very interesting technique in the realm of critical systems where safety could be put at stake by software errors However modern safety critical systems are very complex and application of model checking of such large systems has to face important scalability problems Moreover relations with guidelines and norms for safety critical systems have to be taken into account another important issue from the industrial point of view is the availability of commercial or industrial strength tool and their

    Original URL path: http://www.sefm2010.isti.cnr.it/school/courses.php (2015-08-19)
    Open archived version from archive

  • SEFM School 2010 - Program
    Tuesday Sept 7th nbsp 09 00 10 45 Applications in orchestration of web services Rosario Pugliese Francesco Tiezzi nbsp 10 45 11 15 Coffee break nbsp 11 15 13 00 Applications in orchestration of web services Rosario Pugliese Francesco Tiezzi nbsp 13 00 14 30 Lunch break nbsp 14 30 16 30 Applications in orchestration of web services Paola Quaglia Wednesday Sept 8th nbsp 09 00 10 45 Applications in systems biology Davide Chiarugi nbsp 10 45 11 15 Coffee break nbsp 11 15 13 00 Applications in systems biology Antonio Cerone nbsp 13 00 14 30 Lunch break nbsp 14 30 16 30 Applications in systems biology Paolo Milazzo Thursday Sept 9th nbsp 09 30 10 45 Applications to safety critical systems Alessandro Fantechi nbsp 10 45 11 00 Coffee break nbsp 11 00 12 30 Applications to safety critical systems Alessandro Fantechi nbsp 12 30 14 30 Lunch break nbsp 14 30 15 45 Applications in human computer interaction Antonio Cerone nbsp 15 45 16 00 Coffee break nbsp 16 00 17 30 Applications in human computer interaction Antonio Cerone Friday Sept 10th nbsp 09 30 10 45 Applications in human computer interaction Mieke Massink nbsp 10 45

    Original URL path: http://www.sefm2010.isti.cnr.it/school/program.php (2015-08-19)
    Open archived version from archive

  • SEFM School 2010 - Venue
    Address Via Moruzzi 1 56124 Pisa Tuscany Italy Click here for a larger Map In this section pages you will soon find even further information about Hotel Information Local Directions and Local Attractions For further information you can check the SEFM 2010 Conference Venue Website Pages SEFM 2010 Venue main page Accomodation and Hotel Information How to Reach Us Useful Links Maps of the city or visit the local tourist

    Original URL path: http://www.sefm2010.isti.cnr.it/school/schoolvenue.php (2015-08-19)
    Open archived version from archive

  • SEFM School 2010 - Downloads
    Programme final detailed version Courses Slides 01 Diego Latella Introduction and Motivations 02 Rosario Pugliese Paola Quaglia Francesco Tiezzi Applications in orchestration of web services 03 Paolo Milazzo Antonio Cerone Davide Chiarugi Applications in systems biology 04 Alessandro Fantechi Applications to Safety critical systems 05 Mieke Massink Antonio Cerone Applications in human computer interaction 06 Pierpaolo Degano Roberto Zunino Applications in security of systems www sefm2010 isti cnr it SEFM

    Original URL path: http://www.sefm2010.isti.cnr.it/school/downloads.php (2015-08-19)
    Open archived version from archive

  • SEFM School 2010 - Photos
    Important Dates Courses Program Venue Downloads News Photos Photo Gallery www sefm2010 isti cnr it SEFM 2010 School Home News Downloads rss feed css 2 1 last updated 10 Sep

    Original URL path: http://www.sefm2010.isti.cnr.it/school/photos.php (2015-08-19)
    Open archived version from archive

  • SEFM School 2010 - Downloads
    Programme final detailed version Courses Slides 01 Diego Latella Introduction and Motivations 02 Rosario Pugliese Paola Quaglia Francesco Tiezzi Applications in orchestration of web services 03 Paolo Milazzo Antonio Cerone Davide Chiarugi Applications in systems biology 04 Alessandro Fantechi Applications to Safety critical systems 05 Mieke Massink Antonio Cerone Applications in human computer interaction 06 Pierpaolo Degano Roberto Zunino Applications in security of systems www sefm2010 isti cnr it SEFM

    Original URL path: http://www.sefm2010.isti.cnr.it/school/Downloads.php (2015-08-19)
    Open archived version from archive

  • SEFM 2010 School - dinner photos
    SEFM 2010 School dinner photos

    Original URL path: http://www.sefm2010.isti.cnr.it/school/photos/index.html (2015-08-19)
    Open archived version from archive



  •