225 results  save search

inria-00554321v1  Conference papers
Ananda BasuSaddek BensalemMarius BozgaBenoît CaillaudBenoit Delahaye et al.  Statistical Abstraction and Model-Checking of Large Heterogeneous Systems
Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, Jun 2010, Amsterdam, Netherlands. pp.32-46
hal-01903752v1  Conference papers
Pascal FradetMaxime LesourdJean-François MoninSophie Quinton. A Generic Coq Proof of Typical Worst-Case Analysis
RTSS 2018 - 39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States. pp.1-12
hal-01878100v1  Conference papers
Pascal FradetXiaojie GuoJean-François MoninSophie Quinton. A Generalized Digraph Model for Expressing Dependencies
RTNS '18 - 26th International Conference on Real-Time Networks and Systems, Oct 2018, Chasseneuil-du-Poitou, France. pp.1-11, ⟨10.1145/3273905.3273918⟩
inria-00554321v2  Conference papers
Ananda BasuSaddek BensalemMarius BozgaBenoît CaillaudBenoit Delahaye et al.  Statistical Abstraction and Model-Checking of Large Heterogeneous Systems
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.32-46, ⟨10.1007/978-3-642-13464-7_4⟩
hal-00600087v1  Conference papers
David MonniauxLaure Gonnord. Using Bounded Model Checking to Focus Fixpoint Iterations
Static analysis symposium (SAS), Sep 2011, Venezia, Italy. pp.369-385, ⟨10.1007/978-3-642-23702-7_27⟩
hal-01215190v5  Conference papers
Karine AltisenStéphane DevismesAnaïs DurandFranck Petit. Gradual Stabilization under τ-Dynamics
Euro-Par 2016 - 22nd International Conference on Parallel and Distributed Computing, Aug 2016, Grenoble, France. pp.588-602, ⟨10.1007/978-3-319-43659-3_43⟩
hal-00753526v1  Conference papers
M. AlrasPaul CaspiAlain GiraultPascal Raymond. Model-Based Design of Embeded Control Systems by means of a Synchronous Intermediate Model
International Conference on Embedded Systems and Software, ICESS'09, May 2009, Hangzhou, China. pp.3--10, ⟨10.1109/ICESS.2009.36⟩
inria-00602874v1  Conference papers
Guillaume SalagnacSergio YovineDiego Garbervetsky. Fast Escape Analysis for Region-based Memory Management
1st International Workshop on Abstract Interpretation of Object-Oriented Languages, 2005, Paris, France
hal-00000840v1  Conference papers
Fabien GaucherErwan JahierFlorence MaraninchiBertrand Jeannet. Automatic State Reaching for Debugging Reactive Programs
the Fifth International Workshop on Automated Debugging (AADEBUG 2003), Sep 2003, Ghent, France
hal-01206882v3  Conference papers
David MonniauxLaure Gonnord. Cell morphing: from array programs to array-free Horn clauses
23rd Static Analysis Symposium (SAS 2016), Sep 2016, Edimbourg, United Kingdom
inria-00429230v1  Journal articles
Frédéric DadeauAmal HaddadThierry Moutet. Test fonctionnel de conformité vis-à-vis d'une politique de contôle d'accès
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2009, Supervision et sécurité dans les grands réseaux, 28 (4), pp.533-563. ⟨10.3166/tsi.28.533-563⟩
inria-00510018v2  Conference papers
Yliès FalconeJean-Claude FernandezThierry JéronHervé MarchandLaurent Mounier. More Testable Properties
22nd International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. pp.30-46, ⟨10.1007/978-3-642-16573-3_4⟩
hal-00926573v3  Conference papers
Stéphane DevismesAnissa LamaniFranck PetitSébastien Tixeuil. Optimal Torus Exploration by Oblivious Robots
NETYS 2015 - Third International Conference on Networked Systems, May 2015, Agadir, Morocco. pp.183-199, ⟨10.1007/978-3-319-26850-7_13⟩
inria-00001058v1  Conference papers
Albert BenvenisteBenoît CaillaudLuca CarloniPaul CaspiAlberto Sangiovanni-Vincentelli. Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Nov 2004, Leiden, The Netherlands, pp.1-16, ⟨10.1007/b100112⟩
hal-01406591v1  Conference papers
Ayoub NouriMarius BozgaAxel LegaySaddek Bensalem. Performance Evaluation of Complex Systems Using the SBIP Framework
he International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), Oct 2016, Tunis, Tunisia
hal-00557802v1  Conference papers
Saddek BensalemMarius BozgaAxel LegayThanh-Hung NguyenJoseph Sifakis et al.  Incremental Component-based Construction and Verification using Invariants
Formal Methods in Computer Aided Design, FMCAD 2010, Oct 2010, Lugano, Switzerland. pp.257-266
hal-00557515v1  Conference papers
Kevin MarquetMatthieu MoyBertrand Jeannet. Efficient Encoding of SystemC/TLM in Promela
DATICS-IMECS, Mar 2011, Hong Kong SAR China
hal-00756844v1  Conference papers
Erwan JahierMireille Ducassé. A generic approach to monitor program executions
International Conference on Logic Programming, 1999, Las Cruces, United States
hal-00557717v1  Conference papers
Ananda BasuSaddek BensalemMarius BozgaBenoit DelahayeAxel Legay et al.  Verification of an AFDX infrastructure using simulation and probabilities
Runtime Verification - First International Conference, RV 2010, Nov 2010, St. Julians, Malta. pp.330-344, ⟨10.1007/978-3-642-16612-9⟩
hal-01956812v1  Journal articles
Victor MagronMohab Safey El Din. RealCertify: a Maple package for certifying non-negativity
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2018, 52 (2), pp.34-37. ⟨10.1145/3282678.3282681⟩
hal-01257059v1  Journal articles
Susanne GrafSophie Quinton. Knowledge-based construction of distributed constrained systems
International Journal on Software and Systems Modeling, 2015, ⟨10.1007/s10270-014-0451-z⟩
hal-00308880v1  Conference papers
Christophe RippertDaniel Hagimont. An evaluation of the Java Card environment
Advanced Topic Workshop Middleware for Mobile Computing, in association with the 3rd ACM/IFIP Middleware conference, Nov 2001, Heidelberg, Germany
hal-00308882v1  Conference papers
Christophe RippertJean-Bernard Stefani. Protection in the Think exokernel
4th CaberNet European Research Seminar on Advances in Distributed Systems, May 2001, Bertinoro, Italy
inria-00555841v1  Journal articles
Albert BenvenisteBenoît CaillaudLuca CarloniPaul CaspiAlberto Sangiovanni-Vincentelli. Composing Heterogeneous Reactive Systems
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2008, 7 (4, x-editorial-board = yes, x-international-audience = yes), ⟨10.1145/1376804.1376811⟩