Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Model Checking using Generalized Testing Automata + (09:29:52, 1 April 2019)
- Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata + (09:29:54, 1 April 2019)
- Explicit State Model Checking with Generalized Büchi and Rabin Automata + (09:29:58, 1 April 2019)
- Implementation Concepts in Vaucanson 2 + (09:30:09, 1 April 2019)
- A Type System for Weighted Automata and Rational Expressions + (09:30:10, 1 April 2019)
- On-the-fly Emptiness Check of Transition-based Streett Automata + (09:30:12, 1 April 2019)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking + (09:30:13, 1 April 2019)
- Manipulating LTL formulas using Spot 1.0 + (09:30:14, 1 April 2019)
- LTL Translation Improvements in Spot 1.0 + (09:30:15, 1 April 2019)
- Heuristics for Checking Liveness Properties with Partial Order Reductions + (09:30:15, 1 April 2019)
- Spot 2.0 — a framework for LTL and ω-automata manipulation + (09:30:16, 1 April 2019)
- LTL Model Checking with Neco + (09:30:17, 1 April 2019)
- Three SCC-based Emptiness Checks for Generalized Büchi Automata + (09:30:28, 1 April 2019)
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking + (09:30:29, 1 April 2019)
- Parallel Explicit Model Checking for Generalized Büchi Automata + (09:30:29, 1 April 2019)
- Variations on Parallel Explicit Model Checking for Generalized Büchi Automata + (09:30:30, 1 April 2019)
- Seminar/2019-04-10 + (12:41:01, 2 April 2019)
- NewsEntry (2019/04/10) + (15:59:01, 10 April 2019)
- TickTac + (13:35:34, 16 April 2019)
- Adrien Pommellet + (09:19:15, 22 May 2019)
- Climb + (12:09:39, 11 June 2019)
- Method Combinators + (08:44:33, 18 June 2019)
- Lisp, Jazz, Aikido + (08:44:33, 18 June 2019)
- Parallelizing Quickref + (08:44:34, 18 June 2019)
- Generic Image Processing with Climb + (14:51:36, 18 June 2019)
- Binary Methods Programming: the CLOS Perspective + (14:51:38, 18 June 2019)
- Binary Methods Programming: the CLOS Perspective (extended version) + (14:51:39, 18 June 2019)
- Extensible languages: blurring the distinction between DSLs and GPLs + (14:51:41, 18 June 2019)
- CLoX: Common Lisp objects for XEmacs + (15:00:46, 18 June 2019)
- File:SSU Logo.jpg + (12:33:57, 27 June 2019)
- File:CNRS Logo.png + (12:44:05, 27 June 2019)
- File:CNRS.png + (12:48:34, 27 June 2019)
- File:LIP6 Logo.png + (13:34:12, 27 June 2019)
- Soutenance de thèse de Ludovic LE FRIOUX + (13:43:18, 27 June 2019)
- NewsEntry (2019/07/03) + (13:49:32, 27 June 2019)
- NewsEntry (2019/07/01) + (14:29:17, 27 June 2019)
- Student Seminar 2019-07-02 + (14:50:19, 27 June 2019)
- NewsEntry (2019/07/02) + (14:58:24, 27 June 2019)
- Artificial states generation in state spaces using kernel density estimation + (17:53:53, 27 June 2019)
- Detecting danger in marine environnement + (17:58:45, 27 June 2019)
- Parallélisation et Indexation de Quickref + (17:58:46, 27 June 2019)
- Integrating Mathematical Morphology within Deep Convolutional Neural Networks + (17:58:49, 27 June 2019)
- Modelling and Identifying Troll Farm Accounts on Twitter + (17:58:58, 27 June 2019)
- Implementing Baker's SUBTYPEP decision procedure + (17:59:01, 27 June 2019)
- Implémentation de l'algorithme de SUBTYPEP de Baker + (17:59:01, 27 June 2019)
- Mathematical morphology and deep convolutional neural networks + (03:11:47, 28 June 2019)
- Création d'un lien entre une bibliothèque de traitement d'image en C++ hautes performances vers Python + (09:18:04, 28 June 2019)
- Morphologie mathématique et réseaux convolutionnels profonds + (10:20:22, 28 June 2019)
- Student Seminar 2019-07-01 + (11:04:18, 28 June 2019)
- Exploring various implementations for goroutines support in go2pins + (13:45:01, 30 June 2019)
- Category:Student Seminar + (12:26:59, 1 July 2019)
