IRISA)

Identifiers

• name variant IRISA) 0.60 · backfill

Papers (8)

1. Co-processor-based Behavior Monitoring: Application to the Detection of Attacks Against the System Management Mode cs.CR · 2018 · author #10
2. The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results cs.LO · 2017 · author #21
3. The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results cs.LO · 2016 · author #16
4. Optimization results for a generalized coupon collector problem cs.DS · 2015 · author #2
5. Toward a Motor Theory of Sign Language Perception cs.CL · 2012 · author #2
6. A Model for Probabilistic Reasoning on Assume/Guarantee Contracts cs.PF · 2008 · author #4
7. Distributed Slicing in Dynamic Systems cs.DC · 2007 · author #3
8. The convergence to equilibrium of neutral genetic models math.PR · 2007 · author #2

Mentions

• 1201.1652 #2 · backfill · confidence 0.70 IRISA)
• 0811.1151 #4 · backfill · confidence 0.70 IRISA)
• 0712.3980 #3 · backfill · confidence 0.70 IRISA)

Frequent Coauthors

• 2) 1 shared papers
• (2) CIDRE Team 1 shared papers
• (2) Universit\'e Libre de Bruxelles 1 shared papers
• (3) Graz University of Technology 1 shared papers
• (4) University of Oxford 1 shared papers
• (5) LRDE 1 shared papers
• (6) CNRS 1 shared papers
• Adam Walker (Independent Researcher) 1 shared papers
• Alexander Legg (Data 61 1 shared papers
• Anne-Marie Kermarrec (IRISA) 1 shared papers
• Antonio Fernandez (LADYR) 1 shared papers
• Ayrat Khalimov (3) 1 shared papers
• Ayrat Khalimov (Graz University of Technology) 1 shared papers
• Beno\^it Caillaud (IRISA 1 shared papers
• Beno\^it Delahaye (IRISA) 1 shared papers
• Bernd Finkbeiner (1) 1 shared papers
• Bruno Sericola (INRIA - IRISA) 1 shared papers
• CentraleSup\'elec 1 shared papers
• CNRS 1 shared papers
• CSIRO (formerly NICTA) 1 shared papers