Saddek Bensalem

Citado por

	Total	Desde 2020
Citas	6844	1757
Índice h	40	19
Índice i10	114	46

480

240

120

360

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202531 38 68 78 150 109 153 149 147 131 110 125 127 110 191 243 289 275 349 438 418 385 466 368 320 376 320 317 370 48

Acceso público

Ver todo

38 artículos

6 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	630	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	565	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	391	2011
An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000	260	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	228	1998
Compositional verification for component-based systems and application S Bensalem, M Bozga, TH Nguyen, J Sifakis IET software 4 (3), 181-193, 2010	203	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	172	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	146	2009
Property preserving simulations S Bensalem, A Bouajjani, C Loiseaux, J Sifakis Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993	144	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	123	2012
Incremental verification by abstraction Y Lakhnech, S Bensalem, S Berezin, S Owre International Conference on Tools and Algorithms for the Construction and …, 2001	122	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	119	2010
Dynamic deadlock analysis of multi-threaded programs S Bensalem, K Havelund Haifa Verification Conference, 208-223, 2005	115	2005
A survey of safety and trustworthiness of large language models through the lens of verification and validation X Huang, W Ruan, W Huang, G Jin, Y Dong, C Wu, S Bensalem, R Mu, ... Artificial Intelligence Review 57 (7), 175, 2024	95	2024
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	88	2009
Automatic generation of invariants S Bensalem, Y Lakhnech Formal Methods in System Design 15, 75-92, 1999	86	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	73	2008

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