Travelled to:1 × Estonia
1 × Germany
1 × The Netherlands
1 × Uruguay
2 × Canada
3 × France
3 × Italy
3 × USA
Collaborated with:Y.Lakhnech M.Bozga J.Sifakis S.Owre A.Basu D.Peled G.Rosu J.Combaz T.Nguyen A.Bouajjani P.Poplavko H.Saïdi A.Triki H.Qu S.Tripakis S.Berezin K.Baukus K.Stahl C.Loiseaux D.Socci P.Bourgos L.Astefanoaei S.B.Rayana Y.Falcone M.Jaber J.Fernandez L.Ghirvu F.Gioulekas P.Katsaros P.Palomo P.A.Abdulla A.Annichini P.Habermehl
Talks about:system (9) verif (5) abstract (4) generat (4) invari (4) model (4) time (4) base (4) composit (3) determinist (2)
Person: Saddek Bensalem
DBLP: Bensalem:Saddek
Contributed to:
2015
2014
2013
2012
2011
20092006
20052001
2000200019991998199619922018Wrote 18 papers:
- DATE-2015-PoplavkoSBBB #execution #modelling #multi #realtime
- Models for deterministic execution of real-time multiprocessor applications (PP, DS, PB, SB, MB), pp. 1665–1670.
- TACAS-2014-AstefanoaeiRBBC #composition #generative #invariant
- Compositional Invariant Generation for Timed Systems (LA, SBR, SB, MB, JC), pp. 263–278.
- FASE-2013-TrikiCBS #implementation #modelling #parallel #realtime
- Model-Based Implementation of Parallel Real-Time Systems (AT, JC, SB, JS), pp. 235–249.
- WRLA-2012-BasuBBS #component #design
- Rigorous Component-Based System Design — (AB, SB, MB, JS), pp. 1–9.
- SEFM-2011-FalconeJNBB #component #runtime #verification
- Runtime Verification of Component-Based Systems (YF, MJ, THN, MB, SB), pp. 204–220.
- CAV-2009-BasuBPS #distributed #model checking #scheduling
- Priority Scheduling of Distributed Systems Based on Model Checking (AB, SB, DP, JS), pp. 79–93.
- CAV-2009-BensalemBNS #composition #concurrent #detection #named #verification
- D-Finder: A Tool for Compositional Deadlock Detection and Verification (SB, MB, THN, JS), pp. 614–619.
- CAV-2006-RosuB #linear #logic #ltl #monitoring #synthesis
- Allen Linear (Interval) Temporal Logic — Translation to LTL and Monitor Synthesis (GR, SB), pp. 263–277.
- IFM-2005-BensalemPQT #generative
- Generating Path Conditions for Timed Systems (SB, DP, HQ, ST), pp. 5–19.
- TACAS-2001-LakhnechBBO #abstraction #incremental #verification
- Incremental Verification by Abstraction (YL, SB, SB, SO), pp. 98–112.
- SAS-2000-BensalemBFGL #approach #generative #invariant
- A Transformational Approach for Generating Non-linear Invariants (SB, MB, JCF, LG, YL), pp. 58–74.
- TACAS-2000-BaukusBLS #network #verification
- Abstracting WS1S Systems to Verify Parameterized Networks (KB, SB, YL, KS), pp. 188–203.
- CAV-1999-AbdullaABBHL #abstraction #analysis #infinity #reachability #verification
- Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis (PAA, AA, SB, AB, PH, YL), pp. 146–159.
- CAV-1998-BensalemLO #abstraction #automation #infinity
- Computing Abstractions of Infinite State Systems Compositionally and Automatically (SB, YL, SO), pp. 319–331.
- CAV-1998-BensalemLO98a #invariant #named #verification
- InVeST: A Tool for the Verification of Invariants (SB, YL, SO), pp. 505–510.
- CAV-1996-BensalemLS #automation #generative #invariant
- Powerful Techniques for the Automatic Generation of Invariants (SB, YL, HS), pp. 323–335.
- CAV-1992-BensalemBLS #simulation
- Property Preserving Simulations (SB, AB, CL, JS), pp. 260–273.
- FASE-2018-GioulekasPKBP #network #parallel #process #streaming
- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism (FG, PP, PK, SB, PP), pp. 94–110.