Filter your results
- 757
- 199
- 30
- 582
- 255
- 43
- 38
- 20
- 8
- 8
- 7
- 7
- 6
- 5
- 4
- 1
- 1
- 1
- 6
- 1
- 1
- 986
- 61
- 56
- 30
- 28
- 17
- 12
- 10
- 10
- 8
- 4
- 4
- 1
- 27
- 3
- 61
- 91
- 57
- 57
- 88
- 88
- 90
- 76
- 69
- 107
- 41
- 24
- 22
- 13
- 9
- 7
- 9
- 5
- 9
- 3
- 7
- 6
- 6
- 3
- 4
- 3
- 6
- 4
- 2
- 3
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 864
- 117
- 4
- 1
- 682
- 260
- 54
- 44
- 22
- 15
- 15
- 14
- 13
- 12
- 12
- 12
- 11
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 97
- 88
- 56
- 37
- 33
- 32
- 31
- 26
- 25
- 25
- 24
- 23
- 20
- 20
- 19
- 18
- 17
- 16
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
|
Construction and stepwise refinement of dependability modelsPerformance Evaluation, 2004, 56 (1-4), pp.277-306
Journal articles
hal-01980966v1
|
||
|
A Modelling Approach to Generating User Acceptance Tests4th International Conference on Decision Support Systems Technologies (ICDSST 2018), May 2018, Heraklion, Greece
Conference papers
hal-02289948v1
|
||
|
Stepwise Construction and Refinement of Dependability Models4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000), Mar 2000, Chicago, United States
Conference papers
hal-01976600v1
|
||
|
Evaluation of bus and ring communication topologies for the DELTA-4 distributed fault-tolerant architecture10th IEEE Symposium on Reliable Distributed Systems, IEEE, Sep 1991, Pise, Italy. ⟨10.1109/RELDIS.1991.145415⟩
Conference papers
hal-01986395v1
|
||
|
SPATIALLY VARYING BLUR RECOVERY. Diagonal Approximations in the Wavelet Domain2012
Reports
hal-00733194v2
|
||
|
Game Jam [4Research]International Conference for Human-Computer Interaction - CHI 2014, Apr 2014, Toronto, Canada. pp. 25-28
Conference papers
hal-01137749v1
|
||
|
PANDA: prototyping using annotation and decision analysis8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), Jun 2016, Brussels, Belgium. pp. 171-176
Conference papers
hal-01712526v1
|
||
|
Managing Reduction in Multidimensional DatabasesInternational Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM, 2018), Jan 2018, Krems an der Donau, Austria. pp.653-666
Conference papers
hal-02548087v1
|
||
|
Une approche basée sur les modèles pour le développement d'applications de simulation numérique haute-performanceGénie logiciel [cs.SE]. Université Paul Sabatier - Toulouse III, 2012. Français. ⟨NNT : ⟩
Theses
tel-00865535v1
|
||
How to write a good state of the art: should it be the first step of your thesis?Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2019), Jul 2019, Toulouse, France
Conference papers
hal-02161403v1
|
|||
UML and RT‐LOTOS. An integration for real‐time system validationJournal Européen des Systèmes Automatisés (JESA), 2002, 36 (7), pp.1029--1042
Journal articles
hal-01674642v1
|
|||
|
Planification multi-site : Modélisation sous forme d'un problème de satisfaction de contraintes dynamiquesInternational Conference on Modeling Optimization & SIMulation (MOSIM 2012), Jun 2012, Bordeaux, France. 10p
Conference papers
hal-00690327v1
|
||
|
Mining human factors general trends from +100k UML class diagrams25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022), ACM SIGSOFT: Special Interest Group on Software Engineering; IEEE, Sep 2022, Montréal, Québec, Canada. pp.913-922, ⟨10.1145/3550356.3559098⟩
Conference papers
hal-03855035v1
|
||
|
On the use of graph transformations for model composition traceability8th International Conference on Research Challenge in Information Science (RCIS 2014), May 2014, Marrakesh, Morocco. pp. 1-11
Conference papers
hal-01387730v1
|
||
|
Open-loop control of three-dimensional wakes2nd MIT Conference on Computational Fluid and Solid Mechanics, Jun 2003, Cambridge, United States
Conference papers
hal-02011187v1
|
||
|
Modélisation Mathématique et Simulation Numérique de Systèmes Fluides QuantiquesMathématiques [math]. Université Paul Sabatier - Toulouse III, 2007. Français. ⟨NNT : ⟩
Theses
tel-00218256v1
|
||
|
A UML-MARTE Temporal Property Verification Tool based on Model CheckingInternational Conference on Embedded Real Time Software and Systems (ERTS 2014), Feb 2014, Toulouse, France
Conference papers
hal-01408375v1
|
||
|
Abstraction and Verification of Properties of a Real-Time Java8th International Conference on Information in Education, Research, and Industrial Applications (ICTERI 2012), Jun 2012, Kherson, Ukraine. pp.1-18
Conference papers
hal-01264525v1
|
||
|
Efficient Online Analysis of Accidental Fault Localization for Dynamic Systems using Hidden Markov ModelSymposium on Theory and Modeling of Simulation (TMS/DEVS 2013), Apr 2013, San Diego, CA, United States. pp.1-8
Conference papers
hal-03668914v1
|
||
|
Modèles pour la Création Interactive et Intuitive d'Objets TridimensionnelsSynthèse d'image et réalité virtuelle [cs.GR]. Université Paul Sabatier - Toulouse III, 2011
Habilitation à diriger des recherches
tel-00918452v1
|
||
|
Une architecture d'agent BDI basée sur la théorie des fonctions de croyance : application à la simulation du comportement des agriculteursJournées Francophones sur les Systèmes Multi-Agents, 2012, Honfleur, France. pp.107-116
Conference papers
hal-00742874v1
|
||
|
Análise do empoderamento da sociedade civil no Território Rural Sul Sergipano por meio da Análise EstratégicaRevista em Gestão, Inovação e Sustentabilidade, 2017, 3 (1), pp.101-118. ⟨10.18472/ReGIS.v3n1.2017.25642⟩
Journal articles
hal-02548075v1
|
||
|
Cartography of multi-agent model parameter space through a reactive dicotomous approach25th European Simulation and Modelling Conference- ESM'2011, Oct 2011, Guimaraes, Portugal
Conference papers
hal-00688412v2
|
||
|
Testing-Based Compiler Validation for Synchronous Languages6th International Symposium on NASA Formal Methods (NFM 2014), Apr 2014, Houston, Texas, United States. pp.246-251, ⟨10.1007/978-3-319-06200-6_19⟩
Conference papers
hal-02092914v1
|
||
|
A Refinement Based Method for Developing Distributed Protocols19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019), Jan 2019, Hangzhou, China. pp.90-97
Conference papers
hal-02453122v1
|
||
|
A Map of Asynchronous Communication ModelsRefinement Workshop, in World Congress on Formal Methods (REFINE 2019), Oct 2019, Porto, Portugal. pp.1-15, ⟨10.1007/978-3-030-54997-8_20⟩
Conference papers
hal-02930097v1
|
||
|
Taylor Series RevisitedInternational Colloquium on Theoretical Aspects of Computing (ICTAC 2019), Oct 2019, Hammamet, Tunisia. pp.335-352
Conference papers
hal-02950743v1
|
||
|
Johnson's procedure: mechanization and parallelization7th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2016) in conjunction with ECRTS 2016, Jul 2016, Toulouse, France. pp.9-10
Conference papers
hal-01517378v1
|
||
|
A comparative study of two formal semantics of the SIGNAL languageFrontiers of Computer Science, 2013, vol. 7 (n° 5), pp. 673-693. ⟨10.1007/s11704-013-3908-2⟩
Journal articles
hal-01154264v1
|
||
|
Dynamic Agent-Based Network Generation9th International Conference on Agents and Artificial Intelligence (ICAART 2017), Feb 2017, Porto, Portugal. pp. 599-606
Conference papers
hal-01740008v1
|