Cachan - PDFSEARCH.IO - Document Search Engine

Cachan
Results: 458

#	Item
301	Parameterized Communicating Automata! Complementation and Model Checking Benedikt Bollig, Paul Gastin, and Akshay Kumar Laboratoire Spécification et Vérification! ENS Cachan & CNRS, France Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-12-19 10:07:04
302	The Odds of Staying on Budget Christoph Haase1? and Stefan Kiefer2 1 Laboratoire Sp´ecification et V´erification (LSV), CNRS & ENS de Cachan, France 2 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-04-22 06:12:56 Markov chain Markov decision process Stochastic process Probability space PP Statistics Markov processes Quantum complexity theory
303	Parameterized Verification of Communicating Automata under Context Bounds Benedikt Bollig1 , Paul Gastin1 , and Jana Schubert2 1 Laboratoire Sp´ecification et V´erification Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-06-19 05:17:04
304	Verification of security protocols — reducing the number of agents — Laboratory, institution and university LSV, ENS Cachan and LORIA, Nancy universités The internship will be located at Nancy and/or at ENS Cachan d Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-21 15:33:34 Information Cryptographic protocols Free software ProVerif Ciphertext indistinguishability Communications protocol Cryptographic primitive Authentication Tor Cryptography Cryptographic software Data
305	Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-08 10:04:52 Computational complexity theory Automata theory Symposium on Theoretical Aspects of Computer Science Cryptographic protocols Model checking Network topology
306	Logic for Communicating Automata with Parameterized Topology Benedikt Bollig LSV, ENS Cachan, CNRS & Inria, France Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-09-19 10:49:56 Mathematical analysis Topological space Lp space Model theory Bounded set Operator topologies Topology General topology Mathematics
307	Path queries for Web data Title Path queries for Web data Supervisors Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-27 04:26:27 Information Database theory Graph database Data integration Datalog Database Alberto O. Mendelzon Database management systems Data management Data
308	Synth`ese de contrˆole hybride en pr´esence d’information partielle 1 Encadrants Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: French - Date: 2014-10-21 15:41:59
309	Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-03 08:24:08 Computational complexity theory Automata theory Symposium on Theoretical Aspects of Computer Science Cryptographic protocols Model checking Network topology
310	HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-25 18:43:01 Markov processes Models of computation Markov models Differential equations Petri net Probabilistic automaton Markov chain Hybrid automaton Random variable Statistics Probability and statistics Automata theory

UPDATE