191![Probabilistic Model Checking Part 1: Discrete-Time Markov Chains Joost-Pieter Katoen RWTH Aachen University Software Modeling and Verification Group Course on Probabilistic Model Checking, IMT Lucca, Italy, 2014 Probabilistic Model Checking Part 1: Discrete-Time Markov Chains Joost-Pieter Katoen RWTH Aachen University Software Modeling and Verification Group Course on Probabilistic Model Checking, IMT Lucca, Italy, 2014](https://www.pdfsearch.io/img/baf45cc82e793247da305e2acd891ebd.jpg) | Add to Reading ListSource URL: dl.dropboxusercontent.com |
---|
192![Embracing Process Compliance and Flexibility through Behavioral Consistency Checking in ACM A Repair Service Management Case Thanh Tran Thi Kim1, Erhard Weiss1, Christoph Ruhsam1 Christoph Czepa2, Huy Tran2, Uwe Zdun2 1 Embracing Process Compliance and Flexibility through Behavioral Consistency Checking in ACM A Repair Service Management Case Thanh Tran Thi Kim1, Erhard Weiss1, Christoph Ruhsam1 Christoph Czepa2, Huy Tran2, Uwe Zdun2 1](https://www.pdfsearch.io/img/140a7a2ca0f1aa6aaa734a772ea100aa.jpg) | Add to Reading ListSource URL: eprints.cs.univie.ac.at- Date: 2015-07-20 06:43:53
|
---|
193![Model Checking Multitask Applications for OSEK Compliant Real Time Operating Systems Mark L. McKelvin, Jr. and Gerard Holzmann Jet Propulsion Laboratory, Laboratory for Reliable Software California Institute of Technolog Model Checking Multitask Applications for OSEK Compliant Real Time Operating Systems Mark L. McKelvin, Jr. and Gerard Holzmann Jet Propulsion Laboratory, Laboratory for Reliable Software California Institute of Technolog](https://www.pdfsearch.io/img/d4af1f370b9930dd3c1704edcd158509.jpg) | Add to Reading ListSource URL: spinroot.com- Date: 2013-08-11 14:51:27
|
---|
194![SMT-based approaches to Model Checking of Distributed Broadcast Algorithms Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani Universit` a degli Studi di Milano / Fondazione Centro San Raffaele SMT-based approaches to Model Checking of Distributed Broadcast Algorithms Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani Universit` a degli Studi di Milano / Fondazione Centro San Raffaele](https://www.pdfsearch.io/img/ed796d34e26e6432361f557ddc996938.jpg) | Add to Reading ListSource URL: forsyte.at- Date: 2015-06-25 07:24:42
|
---|
195![Quality Checking and Matching Linked Dictionary Data Kun Ji, Shanshan Wang, and Lauri Carlson University of Helsinki, Department of Modern Languages {kun.ji,shanshan.wang,lauri.carlson}@helsinki.fi Quality Checking and Matching Linked Dictionary Data Kun Ji, Shanshan Wang, and Lauri Carlson University of Helsinki, Department of Modern Languages {kun.ji,shanshan.wang,lauri.carlson}@helsinki.fi](https://www.pdfsearch.io/img/0eb27add940f0c4b0fa3296717008ee3.jpg) | Add to Reading ListSource URL: disi.unitn.it- Date: 2016-09-08 05:32:12
|
---|
196![Counterexample Analysis for Supporting Containment Checking of Business Process Models Faiz UL Muram, Huy Tran, Uwe Zdun Software Architecture Group University of Vienna, Austria. faiz.ulmuram|huy.tran| Counterexample Analysis for Supporting Containment Checking of Business Process Models Faiz UL Muram, Huy Tran, Uwe Zdun Software Architecture Group University of Vienna, Austria. faiz.ulmuram|huy.tran|](https://www.pdfsearch.io/img/5a4de4e21364e3cb3957e834399ec330.jpg) | Add to Reading ListSource URL: eprints.cs.univie.ac.at- Date: 2015-08-23 04:36:51
|
---|
197![Static Cleanness Checking Static Cleanness Checking](https://www.pdfsearch.io/img/51d5daef19db774f5acd51434ebcefbb.jpg) | Add to Reading ListSource URL: www.cs.tau.ac.il- Date: 2015-11-22 08:27:16
|
---|
198![Supporting Structural Consistency Checking in Adaptive Case Management Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Stefanie Rinderle-Ma1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1 Faculty of Computer Supporting Structural Consistency Checking in Adaptive Case Management Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Stefanie Rinderle-Ma1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1 Faculty of Computer](https://www.pdfsearch.io/img/1200fb1cb4c23cb527eb47746c2e51d0.jpg) | Add to Reading ListSource URL: eprints.cs.univie.ac.at- Date: 2015-10-12 06:30:03
|
---|
199![Gran: model checking grsecurity RBAC policies Michele Bugliesi Stefano Calzavara Riccardo Focardi Marco Squarcina DAIS, Università Ca’ Foscari Venezia, Italy Gran: model checking grsecurity RBAC policies Michele Bugliesi Stefano Calzavara Riccardo Focardi Marco Squarcina DAIS, Università Ca’ Foscari Venezia, Italy](https://www.pdfsearch.io/img/3732e9927db76638ad020779df56c428.jpg) | Add to Reading ListSource URL: www.dais.unive.it- Date: 2015-10-21 08:22:44
|
---|