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

• File:Ricou.jpg  + (14:47:48, 13 March 2019)
• File:Pommellet.png  + (14:48:51, 13 March 2019)
• NewsEntry (2019/03/06)  + (15:27:21, 14 March 2019)
• NewsEntry (2018/12/14)  + (15:29:17, 14 March 2019)
• NewsEntry (2018/07/04)  + (15:40:21, 14 March 2019)
• Category:News  + (15:40:53, 14 March 2019)
• Category:Courses  + (15:43:26, 14 March 2019)
• Category:Jobs  + (15:43:38, 14 March 2019)
• Category:LrdeBulletin  + (15:43:47, 14 March 2019)
• Category:OlenaNews  + (15:43:53, 14 March 2019)
• Category:Seminars  + (15:44:32, 14 March 2019)
• Jobs  + (15:51:34, 14 March 2019)
• NewsEntry (2019/03/01)  + (16:37:55, 14 March 2019)
• NewsEntry (2019/03/04)  + (15:24:59, 18 March 2019)
• Towards a Software Architecture for Generic Image Processing  + (04:22:51, 24 March 2019)
• Olivier Ricou  + (15:57:02, 27 March 2019)
• Open positions - PhD  + (09:59:32, 28 March 2019)
• Publications/carlinet.19.ismm.inc  + (12:36:07, 28 March 2019)
• Mechanizing the Minimization of Deterministic Generalized Büchi Automata  + (09:29:45, 1 April 2019)
• SAT-based Minimization of Deterministic ω-Automata  + (09:29:49, 1 April 2019)
• Compositional Approach to Suspension and Other Improvements to LTL Translation  + (09:29:50, 1 April 2019)
• 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)