Search - Université Toulouse III

	1 2 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-00593965v4 Reports Nouha Abid, Silvano Dal Zilio, Didier Le Botlan. A Real-Time Specification Patterns Language 2011
	hal-01202799v1 Conference papers Silvano Dal Zilio, Bernard Berthomieu. Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus 1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Teheran, Iran. pp.90-104, ⟨10.1007/978-3-319-28678-5_7⟩
	hal-01346080v1 Conference papers Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Félix Ingrand, Anthony Mallet. Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots 18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan
	hal-01561994v1 Journal articles Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat. Symmetry reduction for time Petri net state classes Science of Computer Programming, Elsevier, 2016, Science of Computer Programming, 132 (Part 2), pp.209 - 225. ⟨10.1016/j.scico.2016.08.008⟩
	hal-00494617v1 Conference papers Silvano Dal Zilio, Nouha Abid. Real-time Extensions for the Fiacre modeling language MoVep 2010, Summer School on Modelling and Verifying Parallel Processes, Jun 2010, Aachen, Germany
	hal-00492327v1 Conference papers Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, Marc Pantel et al. Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vériﬁcation formelle Fiacre IDM 2010 : journées sur l'Ingénierie Dirigée par les Modèles, Mar 2010, Pau, France
	hal-01589479v1 Conference papers Ning Ge, Marc Pantel, Silvano Dal Zilio. Formal Verification of User-Level Real-Time Property Patterns 11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), Sep 2017, Sophia Antipolis, France. 8p
	hal-01778960v1 Conference papers Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand et al. Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms FormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden
	hal-01790120v1 Conference papers Nouha Abid, Silvano Dal Zilio. A Verified Approach to Checking Real-Time Patterns on Fiacre Programs Doctoral Symposium of FM 2012, Aug 2012, Paris, France
	hal-01790208v1 Conference papers Bernard Berthomieu, J.-P Bodeveix, Christele Chaudet, Silvano Dal Zilio, M Filali et al. Formal Verification of AADL Specifications in the Topcased Environment Reliable Software Technologies - Ada Europe 2009, Jun 2009, Brest, France. 15p., ⟨10.1007/978-3-642-01924-1_15⟩
	hal-00593958v1 Other publications Nouha Abid, Silvano Dal Zilio. Real-time Extensions for the Fiacre modeling language 2010, http://automata.rwth-aachen.de/movep2010/index.php?page=about
	hal-01793367v1 Other reports Rafael Scarduelli, Pierre-Alain Bourdil, Silvano Dal Zilio, Didier Le Botlan. Time-accurate Middleware for the Virtualization of Communication Protocols Rapport LAAS n° 18126. 2018, 48p
	hal-00380671v1 Conference papers Rodrigo Saad, François Vernadat, Bernard Berthomieu, Silvano Dal Zilio. Observation Graph implementation for TINA toolbox 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
	hal-00782647v2 Conference papers Nouha Abid, Silvano Dal Zilio, Didier Le Botlan. A Verified Approach for Checking Real-Time Specification Patterns VECoS 2012, 6th International Workshop on Verification and Evaluation of Computer and Communication Systems, Aug 2012, France. pp.11
	hal-00782354v1 Conference papers Rodrigo Saad, Silvano Dal Zilio, Bernard Berthomieu. An Experiment on Parallel Model Checking of a CTL Fragment 10th International Symposium, ATVA 2012, Automated Technology for Verification and Analysis, Oct 2012, Thiruvananthapuram, India. pp.284-299, ⟨10.1007/978-3-642-33386-6_23⟩
	hal-00494348v1 Conference papers Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Pierre Dissaux, Mamoun Filali et al. Formal Veriﬁcation of AADL models with Fiacre and Tina ERTSS 2010 - Embedded Real-Time Software and Systems, May 2010, TOULOUSE (31000), France. pp.1-9
	hal-01232512v1 Conference papers Maxime Chéramy, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Silvano Dal Zilio. Simulation of Real-Time Scheduling Algorithms with Cache Effects 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, Jul 2015, Lund, Sweden. 6p
	hal-00782649v1 Conference papers Nouha Abid, Silvano Dal Zilio, Didier Le Botlan. Real-Time Specification Patterns and Tools 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, Aug 2012, Paris, France. pp. 1-15, ⟨10.1007/978-3-642-32469-7_1⟩
	hal-01949504v1 Other reports Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat. Réduction par symétrie du graphe des classes d'états des Réseaux de Petri Temporels Rapport LAAS n° 14405. Formalisation des activités concurrentes 2014. 2014
	hal-00941248v1 Journal articles Didier Le Botlan, Silvano Dal Zilio, Nouha Abid. A Formal Framework to Specify and Verify Real Time Properties on Critical Systems International Journal of Critical Computer-Based Systems, Inderscience, 2014, 5 (1/2), pp 4-30. ⟨10.1504/IJCCBS.2014.059593⟩
	hal-02992521v1 Preprints, Working Papers, ... Thomas Hujsa, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan. Checking marking reachability with the state equation in Petri net subclasses 2020
	hal-02992541v1 Preprints, Working Papers, ... Thomas Hujsa, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan. On the Petri Nets with a Single Shared Place and Beyond 2020
	hal-00669752v2 Reports Rodrigo Saad, Silvano Dal Zilio, Bernard Berthomieu. Parallel Model Checking With Lazy Cycle Detection - MCLCD 2011
	hal-01275316v1 Conference papers Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat. Symmetry reduced state classes for Time Petri nets 30th Annual ACM Symposium on Applied Computing, Apr 2015, Salamanca, Spain. pp.1751-1758, ⟨10.1145/2695664.2695803⟩
	hal-01121605v1 Reports Bernard Berthomieu, J.-P Bodeveix, Silvano Dal Zilio, M Filali, Didier Le Botlan et al. Real-Time Model Checking Support for AADL [Research Report] LAAS-CNRS. 2015
	hal-00578436v4 Conference papers Nawal Guermouche, Silvano Dal Zilio. Towards Timed Requirement Verification for Service Choreographies 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2012, Pittsburgh, United States. pp.10
	hal-01992470v1 Other reports Mohammed Foughali, Silvano Dal Zilio, Félix Ingrand. On the Semantics of the GenoM3 Framework Rapport LAAS n° 19036. 2019
	hal-00523188v3 Conference papers Rodrigo Saad, Silvano Dal Zilio, Bernard Berthomieu. Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction International Symposium on Parallel and Distributed Computing (ISPDC 2011), Jul 2011, Cluj-Napoca, Romania. 8p
	hal-00473072v2 Conference papers Rodrigo Saad, Silvano Dal Zilio, Bernard Berthomieu. A General Lock-Free Algorithm for Parallel State Space Construction 2010 Ninth International Workshop onParallel and Distributed Methods in Verification (PDMC 2010), Second International Workshop on High Performance Computational Systems Biology (HIBI 2010), Sep 2010, Twente, Netherlands. p.8-16, ⟨10.1109/PDMC-HiBi.2010.10⟩
	hal-01202741v1 Preprints, Working Papers, ... Silvano Dal Zilio, Bernard Berthomieu, Didier Le Botlan. Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina 2015
	1 2 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize

CONTACT