The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Saddek Bensalem" ( http://dblp.L3S.de/Authors/Saddek_Bensalem )

  Author page on DBLP  Author page in RDF  Community of Saddek Bensalem in ASPL-2

Publication years (Num. hits)
1985-2005 (17) 2006-2010 (20) 2011 (15) 2012-2013 (20) 2014-2015 (27) 2016 (16) 2017-2018 (26) 2019 (6)
Publication types (Num. hits)
article(41) incollection(1) inproceedings(99) phdthesis(1) proceedings(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 148 publication records. Showing 147 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga Priority-based scheduling of mixed-critical jobs. Search on Bibsonomy Real-Time Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Iulia Dragomir, Saddek Bensalem Rigorous Design of FDIR Systems with BIP. Search on Bibsonomy ECEASST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga Local Planning Semantics: A Semantics for Distributed Real-Time Systems. Search on Bibsonomy LITES The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem Performance evaluation of a NDN forwarder using statistical model checking. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Doron Peled, Simon Iosti, Saddek Bensalem Control Synthesis Through Deep Learning. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem Performance Evaluation of the NDN Data Plane Using Statistical Model Checking. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Benoît Dupont de Dinechin DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems. Search on Bibsonomy Design Autom. for Emb. Sys. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem Left-eigenvectors are certificates of the Orbit Problem. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Simon Bliudze, Saddek Bensalem (eds.) Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018. Search on Bibsonomy MeTRiD@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket Global and Local Deadlock Freedom in BIP. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay Performance evaluation of stochastic real-time systems with the SBIP framework. Search on Bibsonomy IJCCBS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm. Search on Bibsonomy ISSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros Maximal software execution time: a regression-based approach. Search on Bibsonomy ISSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem Algorithmic Complexity of Correctness Testing in MC-Scheduling. Search on Bibsonomy RTNS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem Mitigating Security Risks Through Attack Strategies Exploration. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. Search on Bibsonomy ISoLA (3) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. Search on Bibsonomy ISoLA (3) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem Tracing Distributed Component-Based Systems, a Brief Overview. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem Predictability in Mixed-Criticality Systems. Search on Bibsonomy RTCSA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis Programming Dynamic Reconfigurable Systems. Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.) Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings Search on Bibsonomy VECoS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem Left-Eigenvectors Are Certificates of the Orbit Problem. Search on Bibsonomy RP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. Search on Bibsonomy FASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga Monitoring Distributed Component-Based Systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga Knowledge Based Optimization for Distributed Real-Time Systems. Search on Bibsonomy APSEC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Steven de Oliveira, Saddek Bensalem, Virgile Prevosto Synthesizing Invariants by Solving Solvable Loops. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros Regression-Based Statistical Bounds on Software Execution Time. Search on Bibsonomy VECoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm. Search on Bibsonomy VECoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem Improved Learning for Stochastic Timed Models by State-Merging Algorithms. Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper). Search on Bibsonomy SEFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan Component-based verification using incremental design and invariants. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Steven de Oliveira, Saddek Bensalem, Virgile Prevosto Synthesizing invariants by solving solvable loops. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Steven de Oliveira, Saddek Bensalem, Virgile Prevosto Polynomial invariants by linear algebra. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem Distinguishing extended finite state machine configurations using predicate abstraction. Search on Bibsonomy J. Software Eng. R&D The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga A Model-Based Approach to Secure Multiparty Distributed Systems. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess Compositional Parameter Synthesis. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem Local Planning of Multiparty Interactions with Bounded Horizons. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga A Compositional Approach to the Verification of Hybrid Systems. Search on Bibsonomy Theory and Practice of Formal Methods The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Steven de Oliveira, Saddek Bensalem, Virgile Prevosto Polynomial Invariants by Linear Algebra. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz Monitoring Multi-threaded Component-Based Systems. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. Search on Bibsonomy RTAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem Performance Evaluation of Complex Systems Using the SBIP Framework. Search on Bibsonomy VECoS The full citation details ... 2016 DBLP  BibTeX  RDF
1Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay Statistical model checking QoS properties of systems with SBIP. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chih-Hong Cheng, Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem Timed Orchestration for Component-based Systems. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz Compositional Verification for Timed Systems Based on Automatic Invariant Generation. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis Optimized distributed implementation of multiparty interactions with Restriction. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron Correctness of Service Components and Service Component Ensembles. Search on Bibsonomy The ASCENS Approach The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga A Timed-Automata Based Middleware for Time-Critical Multicore Applications. Search on Bibsonomy ISORC Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. Search on Bibsonomy ISORC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ahlem Triki, Jacques Combaz, Saddek Bensalem Optimized distributed implementation of timed component-based systems. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Törngren, Saddek Bensalem, John A. McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering. Search on Bibsonomy WESE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga Models for deterministic execution of real-time multiprocessor applications. Search on Bibsonomy DATE The full citation details ... 2015 DBLP  BibTeX  RDF
1Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. Search on Bibsonomy HPCC/CSS/ICESS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga A Theory Agenda for Component-Based Design. Search on Bibsonomy Software, Services, and Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga A Robust Framework for Securing Composed Web Services. Search on Bibsonomy FACS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexios Lekidis, Paraskevas Bourgos, Simplice Djoko Djoko, Marius Bozga, Saddek Bensalem Building distributed sensor network applications using BIP. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz Compositional Verification of Parameterised Timed Systems. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lavindra de Silva, Rongjie Yan, Félix Ingrand, Rachid Alami, Saddek Bensalem A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. Search on Bibsonomy HRI (Extended Abstracts) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Klaus Havelund, Andrea Orlandini Verification and validation meet planning and scheduling. Search on Bibsonomy STTT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem Building faithful high-level models and performance evaluation of manycore embedded systems. Search on Bibsonomy MEMOCODE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexios Lekidis, Marius Bozga, Saddek Bensalem Model-based validation of CANopen systems. Search on Bibsonomy WFCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki Rigorous System Design Flow for Autonomous Systems. Search on Bibsonomy ISoLA (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ayoub Nouri, Balaji Raman 0001, Marius Bozga, Axel Legay, Saddek Bensalem Faster Statistical Model Checking by Means of Abstraction and Learning. Search on Bibsonomy RV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz Compositional Invariant Generation for Timed Systems. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem Compositional Verification of Timed Systems. Search on Bibsonomy VECoS The full citation details ... 2014 DBLP  BibTeX  RDF
1Saddek Bensalem, Yassine Lakhnech, Axel Legay (eds.) From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings Search on Bibsonomy FPS@ETAPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga Model-Driven Information Flow Security for Component-Based Systems. Search on Bibsonomy FPS@ETAPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Axel Legay, Marius Bozga Rigorous embedded design: challenges and perspectives. Search on Bibsonomy STTT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Chih-Hong Cheng, Natarajan Shankar, Harald Ruess, Saddek Bensalem EFSMT: A Logical Framework for Cyber-Physical Systems. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Saddek Bensalem, Lavindra de Silva, Félix Ingrand, Rongjie Yan A Verifiable and Correct-by-Construction Controller for Robot Functional Levels. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Balaji Raman 0001, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty Stochastic modeling and performance analysis of multimedia SoCs. Search on Bibsonomy ICSAMOS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled Synthesizing distributed scheduling implementation for probabilistic component-based systems. Search on Bibsonomy MEMOCODE The full citation details ... 2013 DBLP  BibTeX  RDF
1Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga Mixed Critical Earliest Deadline First. Search on Bibsonomy ECRTS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Axel Legay, Saddek Bensalem (eds.) Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings Search on Bibsonomy RV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay Incremental Generation of Linear Invariants for Component-Based Systems. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket An Abstract Framework for Deadlock Prevention in BIP. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis Model-Based Implementation of Parallel Real-Time Systems. Search on Bibsonomy FASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay Statistical abstraction and model-checking of large heterogeneous systems. Search on Bibsonomy STTT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess Distributed Priority Synthesis Search on Bibsonomy SSV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Félix Ingrand Rigorous design of robot software: A formal component-based approach. Search on Bibsonomy Robotics and Autonomous Systems The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri Statistical Model Checking QoS Properties of Systems with SBIP. Search on Bibsonomy ISoLA (1) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis Optimized distributed implementation of multiparty interactions with observation. Search on Bibsonomy AGERE!@SPLASH The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chih-Hong Cheng, Rongjie Yan, Harald Ruess, Saddek Bensalem Distributed priority synthesis using knowledge. Search on Bibsonomy AGERE!@SPLASH The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Doron A. Peled, Jean Quilbeuf Knowledge Based Transactional Behavior. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis Rigorous Component-Based System Design - (Invited Paper). Search on Bibsonomy WRLA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis Priority scheduling of distributed systems based on model checking. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll Algorithms for Synthesizing Priorities in Component-based Systems Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan, Harald Ruess Distributed Priority Synthesis and its Applications Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis Rigorous Component-Based System Design Using the BIP Framework. Search on Bibsonomy IEEE Software The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled Efficient deadlock detection for concurrent systems. Search on Bibsonomy MEMOCODE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 147 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license