Search - Université Toulouse 1 Capitole Access content directly

Filter your results

986 Results
Domains : info.info-mo
Image document

Construction and stepwise refinement of dependability models

Claudia Betous-Almeida , Karama Kanoun
Performance Evaluation, 2004, 56 (1-4), pp.277-306
Journal articles hal-01980966v1
Image document

A Modelling Approach to Generating User Acceptance Tests

Leandro Antonelli , Guy Camilleri , Julian Grigera , Mariangeles Hozikian , Cécile Sauvage et al.
4th International Conference on Decision Support Systems Technologies (ICDSST 2018), May 2018, Heraklion, Greece
Conference papers hal-02289948v1
Image document

Stepwise Construction and Refinement of Dependability Models

Claudia Betous-Almeida , Karama Kanoun
4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000), Mar 2000, Chicago, United States
Conference papers hal-01976600v1
Image document

Evaluation of bus and ring communication topologies for the DELTA-4 distributed fault-tolerant architecture

Karama Kanoun , David Powell
10th IEEE Symposium on Reliable Distributed Systems, IEEE, Sep 1991, Pise, Italy. ⟨10.1109/RELDIS.1991.145415⟩
Conference papers hal-01986395v1
Image document

SPATIALLY VARYING BLUR RECOVERY. Diagonal Approximations in the Wavelet Domain

Paul Escande , Pierre Weiss , François Malgouyres
2012
Reports hal-00733194v2
Image document

Game Jam [4Research]

Menno Deen , Robert Cercos , Alan Chatham , Amani Naseem , Allan Fowler et al.
International Conference for Human-Computer Interaction - CHI 2014, Apr 2014, Toronto, Canada. pp. 25-28
Conference papers hal-01137749v1
Image document

PANDA: prototyping using annotation and decision analysis

Jean-Luc Hak , Marco Winckler , David Navarre
8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), Jun 2016, Brussels, Belgium. pp. 171-176
Conference papers hal-01712526v1
Image document

Managing Reduction in Multidimensional Databases

Franck Ravat , Jiefu Song , Olivier Teste
International 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
Image document

Une approche basée sur les modèles pour le développement d'applications de simulation numérique haute-performance

Marc Palyart
Gé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?

Cassia Trojahn dos Santos
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 validation

Pierre de Saqui-Sannes , Ludovic Apvrille , Christophe Lohr , Patrick Sénac , Jean-Pierre Courtiat et al.
Journal Européen des Systèmes Automatisés (JESA), 2002, 36 (7), pp.1029--1042
Journal articles hal-01674642v1
Image document

Planification multi-site : Modélisation sous forme d'un problème de satisfaction de contraintes dynamiques

Mariem Trojet , Fehmi H'Mida , Pierre Lopez , Patrick Esquirol
International 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 diagrams

Maxime Savary-Leblanc , Xavier Le Pallec , Philippe Palanque , Célia Martinie , Arnaud Blouin et al.
25th 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
Image document

On the use of graph transformations for model composition traceability

Youness Laghouaouta , Adil Anwar , Mahmoud Nassar , Jean-Michel Bruel
8th International Conference on Research Challenge in Information Science (RCIS 2014), May 2014, Marrakesh, Morocco. pp. 1-11
Conference papers hal-01387730v1
Image document

Open-loop control of three-dimensional wakes

Philippe Poncet , Georges-Henri Cottet
2nd MIT Conference on Computational Fluid and Solid Mechanics, Jun 2003, Cambridge, United States
Conference papers hal-02011187v1
Image document

Modélisation Mathématique et Simulation Numérique de Systèmes Fluides Quantiques

Samy Gallego
Mathématiques [math]. Université Paul Sabatier - Toulouse III, 2007. Français. ⟨NNT : ⟩
Theses tel-00218256v1
Image document

A UML-MARTE Temporal Property Verification Tool based on Model Checking

Ning Ge , Marc Pantel , Xavier Crégut
International Conference on Embedded Real Time Software and Systems (ERTS 2014), Feb 2014, Toulouse, France
Conference papers hal-01408375v1
Image document

Abstraction and Verification of Properties of a Real-Time Java

Nadezhda Baklanova , Martin Strecker
8th International Conference on Information in Education, Research, and Industrial Applications (ICTERI 2012), Jun 2012, Kherson, Ukraine. pp.1-18
Conference papers hal-01264525v1
Image document

Efficient Online Analysis of Accidental Fault Localization for Dynamic Systems using Hidden Markov Model

Ning Ge , Shin Nakajima , Marc Pantel
Symposium on Theory and Modeling of Simulation (TMS/DEVS 2013), Apr 2013, San Diego, CA, United States. pp.1-8
Conference papers hal-03668914v1
Image document

Modèles pour la Création Interactive et Intuitive d'Objets Tridimensionnels

Loic Barthe
Synthèse d'image et réalité virtuelle [cs.GR]. Université Paul Sabatier - Toulouse III, 2011
Habilitation à diriger des recherches tel-00918452v1
Image document

Une architecture d'agent BDI basée sur la théorie des fonctions de croyance : application à la simulation du comportement des agriculteurs

Patrick Taillandier , Olivier Therond , Benoit Gaudou
Journées Francophones sur les Systèmes Multi-Agents, 2012, Honfleur, France. pp.107-116
Conference papers hal-00742874v1
Image document

Análise do empoderamento da sociedade civil no Território Rural Sul Sergipano por meio da Análise Estratégica

Marcos Aurélio Santos da Silva , Neíza Cristina Santos Batista , Sonise dos Santos Medeiros , Deise Maria Oliveira Galvãod
Revista em Gestão, Inovação e Sustentabilidade, 2017, 3 (1), pp.101-118. ⟨10.18472/ReGIS.v3n1.2017.25642⟩
Journal articles hal-02548075v1
Image document

Cartography of multi-agent model parameter space through a reactive dicotomous approach

Patrick Taillandier , Frédéric Amblard
25th European Simulation and Modelling Conference- ESM'2011, Oct 2011, Guimaraes, Portugal
Conference papers hal-00688412v2
Image document

Testing-Based Compiler Validation for Synchronous Languages

Pierre-Loïc Garoche , Folk Howar , Temesghen Kahsai , Xavier Thirioux
6th 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
Image document

A Refinement Based Method for Developing Distributed Protocols

Paulius Stankaitis , Alexei Iliasov , Yamine Aït-Ameur , Tsutomou Kobayashi , Fuyuki Ishikawa et al.
19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019), Jan 2019, Hangzhou, China. pp.90-97
Conference papers hal-02453122v1
Image document

A Map of Asynchronous Communication Models

Florent Chevrou , Aurélie Hurault , Shin Nakajima , Philippe Quéinnec
Refinement 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
Image document

Taylor Series Revisited

Xavier Thirioux , Alexis Maffart
International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), Oct 2019, Hammamet, Tunisia. pp.335-352
Conference papers hal-02950743v1
Image document

Johnson's procedure: mechanization and parallelization

M Filali , Nabil Zaidi
7th 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
Image document

A comparative study of two formal semantics of the SIGNAL language

Zhibin Yang , Jean-Paul Bodeveix , M Filali
Frontiers of Computer Science, 2013, vol. 7 (n° 5), pp. 673-693. ⟨10.1007/s11704-013-3908-2⟩
Journal articles hal-01154264v1
Image document

Dynamic Agent-Based Network Generation

Audren Bouadjio Boulic , Frédéric Amblard , Benoit Gaudou
9th International Conference on Agents and Artificial Intelligence (ICAART 2017), Feb 2017, Porto, Portugal. pp. 599-606
Conference papers hal-01740008v1