Saddek Bensalem

Citado por

	Total	Desde 2019
Citas	6600	1893
Índice h	40	21
Índice i10	107	52

480

240

120

360

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202431 38 68 78 150 107 153 149 147 131 110 125 126 111 190 242 290 275 347 438 417 382 467 365 321 375 317 317 194

Acceso público

Ver todo

36 artículos

7 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

axel legayUCLouvainDirección de correo verificada de uclouvain.be
Felix IngrandLAAS/CNRS, ANITI (Univ. Toulouse)Dirección de correo verificada de laas.fr
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityDirección de correo verificada de cs.biu.ac.il
Stavros TripakisAssociate Professor, Northeastern UniversityDirección de correo verificada de northeastern.edu
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéDirección de correo verificada de irif.fr
Natarajan ShankarSRI International Computer Science LaboratoryDirección de correo verificada de csl.sri.com
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftDirección de correo verificada de csl.sri.com
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyDirección de correo verificada de eecs.berkeley.edu
Andreas GriesmayerImperial College LondonDirección de correo verificada de arm.com
Grigore RosuUniversity of Illinois at Urbana ChampaignDirección de correo verificada de illinois.edu
Barbara JobstmannScientist at EPFLDirección de correo verificada de epfl.ch
Amedeo CestaCNR -- National Research Council of Italy, ISTCDirección de correo verificada de istc.cnr.it
Thomas HenzingerIST AustriaDirección de correo verificada de ist.ac.at
matthew hennessyProfessor of Computer ScienceDirección de correo verificada de cs.tcd.ie
Moshe Y. VardiRice UniversityDirección de correo verificada de cs.rice.edu
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghDirección de correo verificada de inf.ed.ac.uk

Seguir

Saddek Bensalem

Université Grenoble Alpes, VERIMAG

Dirección de correo verificada de univ-grenoble-alpes.fr

system design component-based design formal methods specification and verification logics and automata programming langage


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Statistical model checking: An overview A Legay, B Delahaye, S Bensalem International conference on runtime verification, 122-135, 2010	604	2010
Property preserving abstractions for the verification of concurrent systems C Loiseaux, S Graf, J Sifakis, A Bouajjani, S Bensalem, D Probst Formal methods in system design 6, 11-44, 1995	556	1995
Rigorous component-based system design using the BIP framework A Basu, B Bensalem, M Bozga, J Combaz, M Jaber, TH Nguyen, J Sifakis IEEE software 28 (3), 41-48, 2011	378	2011
An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000	255	2000
Computing abstractions of infinite state systems compositionally and automatically S Bensalem, Y Lakhnech, S Owre Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	227	1998
Compositional verification for component-based systems and application S Bensalem, M Bozga, TH Nguyen, J Sifakis IET software 4 (3), 181-193, 2010	198	2010
Powerful techniques for the automatic generation of invariants S Bensalem, Y Lakhnech, H Saidi Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996	170	1996
D-finder: A tool for compositional deadlock detection and verification S Bensalem, M Bozga, TH Nguyen, J Sifakis Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009	145	2009
Property preserving simulations S Bensalem, A Bouajjani, C Loiseaux, J Sifakis Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993	142	1993
Statistical abstraction and model-checking of large heterogeneous systems A Basu, S Bensalem, M Bozga, B Delahaye, A Legay International Journal on Software Tools for Technology Transfer 14, 53-72, 2012	122	2012
Incremental verification by abstraction Y Lakhnech, S Bensalem, S Berezin, S Owre International Conference on Tools and Algorithms for the Construction and …, 2001	121	2001
Incremental component-based construction and verification using invariants S Bensalem, M Bozga, A Legay, TH Nguyen, J Sifakis, R Yan Formal Methods in Computer Aided Design, 257-256, 2010	118	2010
Dynamic deadlock analysis of multi-threaded programs S Bensalem, K Havelund Haifa Verification Conference, 208-223, 2005	114	2005
InVeSt: A tool for the verification of invariants S Bensalem, Y Lakhnech, S Owre Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	89	1998
Designing autonomous robots S Bensalem, M Gallien, F Ingrand, I Kahloul, N Thanh-Hung IEEE Robotics & Automation Magazine 16 (1), 67-77, 2009	86	2009
Automatic generation of invariants S Bensalem, Y Lakhnech Formal Methods in System Design 15, 75-92, 1999	84	1999
A goal-oriented autonomous controller for space exploration A Ceballos, S Bensalem, A Cesta, L De Silva, S Fratini, F Ingrand, J Ocon, ... ASTRA 11, 2011	78	2011
Runtime verification of component-based systems Y Falcone, M Jaber, TH Nguyen, M Bozga, S Bensalem Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011	78	2011
Incremental component-based construction and verification of a robotic system A Basu, M Gallien, C Lesire, TH Nguyen, S Bensalem, F Ingrand, J Sifakis ECAI 2008, 631-635, 2008	72	2008
Abstracting WS1S systems to verify parameterized networks K Baukus, S Bensalem, Y Lakhnech, K Stahl International Conference on Tools and Algorithms for the Construction and …, 2000	70	2000

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores