Filtrer vos résultats
- 82
- 21
- 48
- 39
- 12
- 2
- 2
- 47
- 103
- 1
- 3
- 4
- 7
- 5
- 7
- 4
- 3
- 4
- 2
- 4
- 5
- 2
- 7
- 2
- 5
- 4
- 2
- 1
- 2
- 5
- 1
- 4
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 94
- 9
- 88
- 56
- 38
- 25
- 11
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 103
- 21
- 17
- 12
- 11
- 11
- 11
- 10
- 8
- 8
- 8
- 8
- 7
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 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
- 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
103 résultats
|
|
Scenario realizability with constraint optimization[Research Report] 2013
Rapport
hal-00769656v1
|
||
|
|
Net systems semantics of Web Services Orchestrations modeled in Orc[Research Report] PI 1780, 2006
Rapport
inria-00001103v1
|
||
|
|
Distributing Automata for Asynchronous Networks of Processors[Research Report] RR-2341, INRIA. 1994
Rapport
inria-00074336v1
|
||
|
|
Reachability analysis on distributed executions[Research Report] RR-1720, INRIA. 1992
Rapport
inria-00076958v1
|
||
|
|
A General approach to trace-checking in distributed computing systems[Research Report] RR-2238, INRIA. 1994
Rapport
inria-00074432v1
|
||
|
|
A multi-processor Estelle to C compiler to experiment distributed algorithms on parallel machines9th IFIP International Workshop on Protocol Specification, Testing and Verification, University of Twente, 1989, The Netherlands, Netherlands
Communication dans un congrès
hal-00765072v1
|
||
|
|
Testing Systems Specified as Partial Order Input\slashOutput AutomataProceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems (TestCom'08) and 8th International Workshop on Formal Approaches to Testing of Software (FATES'08), 2008, Tokyo, Japan, Japan. pp.169-183, ⟨10.1007/978-3-540-68524-1_13⟩
Communication dans un congrès
inria-00638305v1
|
||
Fault Diagnosis for Distributed Asynchronous Dynamically Reconfigured Discrete Event SystemsProceedings of the 16th IFAC World Congress (IFAC'05), 2005, Prague, Czech Republic, Czech Republic
Communication dans un congrès
inria-00638317v1
|
|||
|
|
Scenario Realizability with Constraint OptimizationFASE 2013, Mar 2013, Rome, France. pp.194-209
Communication dans un congrès
hal-00840393v1
|
||
|
|
BDL: A Semantics Backbone for UML Dynamic Diagrams[Research Report] RR-4003, INRIA. 2000
Rapport
inria-00072641v1
|
||
|
|
Une approche pour des capteurs d'alarmes intelligents dans les réseaux[Rapport de recherche] RR-2982, INRIA. 1996
Rapport
inria-00073716v1
|
||
|
|
On the use of unfoldings to abstract communicating automata into sets of scenarios[Research Report] PI 1751, 2005, pp.23
Rapport
inria-00001030v1
|
||
|
|
L'Expérimentation d'algorithmes distribués sur machines parallèles avec Echidna[Rapport de recherche] RR-1528, INRIA. 1991
Rapport
inria-00075034v1
|
||
|
|
Deriving trace checkers for distributed systems[Research Report] RR-0635, INRIA. 1987
Rapport
inria-00075918v1
|
||
Probabilistic QoS and soft contracts for transaction based web servicesProceedings of the 6th International Conference on Web Services (ICWS'07), 2007, Salt Lake City, Utah, USA, United States. pp.126-133, ⟨10.1109/ICWS.2007.144⟩
Communication dans un congrès
inria-00638311v1
|
|||
|
|
Discrete Parameters in Petri NetsApplication and Theory of Petri Nets and Concurrency, 36th International Conference, PETRI NETS 2015, Jun 2015, Bruxelles, Belgium. pp.137-156, ⟨10.1007/978-3-319-19488-2_7⟩
Communication dans un congrès
hal-01222021v1
|
||
|
|
QoS-Aware Management of Monotonic Service OrchestrationsFormal Methods in System Design, 2014, 44 (1), pp.1-43. ⟨10.1007/s10703-013-0191-7⟩
Article dans une revue
hal-00840362v1
|
||
|
|
Proof of the Instrumented Semantics for Orc[Research Report] LINA-University of Nantes. 2015
Rapport
hal-01101340v2
|
||
|
|
The EPOC project: Energy Proportional and Opportunistic Computing systemInternational Conference on Smart Cities and Green ICT Systems (SMARTGREENS), May 2015, Lisbonne, Portugal
Communication dans un congrès
hal-01131602v1
|
||
Diagnosis of Asynchronous Discrete Event Systems, A~Net Unfolding ApproachProceedings of the 6th Workshop on Discrete Event Systems (WODES'02), 2002, Zaragoza, Spain, Spain. pp.182-190
Communication dans un congrès
inria-00638345v1
|
|||
|
|
Diagnosis of Asynchronous Discrete Event Systems: A Net Unfolding Approach.IEEE Transactions on Automatic Control, 2003, 48 (5), pp.714-727. ⟨10.1109/TAC.2003.811249⟩
Article dans une revue
inria-00638224v1
|
||
|
|
A UML-integrated test description language for component testingLecture Notes in Informatics (LNI), Oct 2001, Dortmund, Germany
Communication dans un congrès
hal-00794311v1
|
||
|
|
Symbolic Unfoldings for Networks of Timed Automata4th Int. Symp. on Automated Technology for Verification and Analysis (ATVA'06), Oct 2006, Beijing, China. pp.307--321
Communication dans un congrès
inria-00363033v1
|
||
|
|
Robustness of Time Petri Nets under architectural constraintsFormal Modeling and Analysis of Timed Systems, Sep 2013, Warwik, United Kingdom. pp.11-26
Communication dans un congrès
hal-00879818v1
|
||
|
|
Consistent Shared Data Types: Beyond Memory[Research Report] Université de Nantes. 2014
Rapport
hal-01052437v1
|
||
Sémantique concurrente symbolique des réseaux de Petri saufs et dépliages finis des réseaux temporelsActes de la 10ème Conférence Internationale sur les NOuvelles TEchnologies de la RÉpartition (NOTERE'10), 2010, Tozeur, Tunisia, Tunisie
Communication dans un congrès
hal-00779904v1
|
|||
|
|
Bounded-memory algorithms for verification on-the-fly[Research Report] RR-1462, INRIA. 1991
Rapport
inria-00075100v1
|
||
|
|
An Effective Equivalence for Sets of Scenarios Represented by HMSCs[Research Report] RR-3499, INRIA. 1998
Rapport
inria-00073186v1
|
||
|
|
Measuring Concurrency of Regular Distributed Computations[Research Report] RR-2394, INRIA. 1994
Rapport
inria-00074281v1
|
||
|
|
Event Structure Semantics of Orc[Research Report] PI 1853, 2007, pp.33
Rapport
inria-00155782v1
|