Filtrer vos résultats
- 28
- 11
- 27
- 10
- 1
- 1
- 39
- 1
- 1
- 1
- 1
- 3
- 4
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 1
- 3
- 1
- 36
- 3
- 33
- 6
- 6
- 5
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 39
- 25
- 10
- 9
- 6
- 6
- 5
- 5
- 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
- 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
39 résultats
|
|
|
triés par
|
Extreme Symmetries in Complex Distributed Systems: the Bag-Oriented ApproachDevelopment, Operation and Management of Large-Scale Complex IT Systems, 17th Monterey Workshop, Revised Selected Papers, 2012, Oxford, United Kingdom. pp.330-352, ⟨10.1007/978-3-642-34059-8_17⟩
Communication dans un congrès
hal-01282265v1
|
|||
Controllability for Discrete Event Systems Modeled in VeriJInternational Journal of Critical Computer-Based Systems, 2014, 5 (3/4), pp.218-240. ⟨10.1504/IJCCBS.2014.064668⟩
Article dans une revue
hal-01176427v1
|
|||
The CARE Platform for the Analysis of Behavior Model Inference TechniquesInformation and Software Technology, 2015, 60, pp.32-50. ⟨10.1016/j.infsof.2014.12.004⟩
Article dans une revue
hal-01176438v1
|
|||
|
|
Using the Event Coordination Notation for ValidationAlgorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2018, Oct 2018, Augsburg, Germany. pp.13-20
Communication dans un congrès
hal-03565053v1
|
||
Model Engineering on Petri Nets for ISO/IEC 15909-2: API Framework for Petri Net Types MetamodelsPetri Net Newsletter, 2005, 69, pp.22-40
Article dans une revue
hal-00084187v1
|
|||
|
|
MCC’2015 – The Fifth Model Checking ContestLNCS Transactions on Petri Nets and Other Models of Concurrency, 2016, Lecture Notes in Computer Science, 9930, pp.262-273. ⟨10.1007/978-3-662-53401-4_12⟩
Article dans une revue
hal-01361274v1
|
||
UML Behavioral Consistency Checking Using Instantiable Petri netsInnovations in Systems and Software Engineering, 2008, 4 (3), pp.293-300. ⟨10.1007/s11334-008-0065-0⟩
Article dans une revue
istex
hal-01175957v1
|
|||
|
|
PN standardisation: a survey26th international conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Sep 2006, Paris, France. pp.307-322, ⟨10.1007/11888116_23⟩
Communication dans un congrès
hal-00084198v1
|
||
An Approach to Model Variations of a Scenario: Application to Intelligent Transport SystemsFourth International Workshop on Modelling of Objects, Components and Agents (MOCA '06), Jun 2006, Turku, Finland. pp.65-86
Communication dans un congrès
hal-01336640v1
|
|||
|
|
Automation and intelligent scheduling of distributed system functional testingInternational Journal on Software Tools for Technology Transfer, 2017, 19 (3), pp.281-308. ⟨10.1007/s10009-016-0440-3⟩
Article dans une revue
hal-01397009v1
|
||
{Extending PNML Scope: the Prioritised Petri Nets Experience}Petri Net and Software Engineering (PNSE 2011), Jun 2011, Newcastle, United Kingdom. pp.92-106
Communication dans un congrès
hal-01282491v1
|
|||
Automated Deployment and Management of Self-* Applications on Hybrid CloudsCloudscape Brazil and Workshop on Cloud Networks 2017, EUBrasilCloudFORUM, Jul 2017, São Paulo, Brazil
Communication dans un congrès
hal-01559443v1
|
|||
Exact and Efficient Temporal Steering of Software Behavioral Model Inference19th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Aug 2014, Tianjin, China. pp.166-175, ⟨10.1109/ICECCS.2014.31⟩
Communication dans un congrès
hal-01217268v1
|
|||
|
|
Software Product Line Extraction from Bytecode based applicationsInternational Conference on Engineering of Complex Computer Systems, Dec 2018, Melbourne, Australia
Communication dans un congrès
hal-01879394v1
|
||
|
|
Presentation of the 9th Edition of the Model Checking ContestTools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩
Communication dans un congrès
hal-02094047v1
|
||
|
|
CosyVerif: An Open Source Extensible Verification Environment18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Jul 2013, Singapore, Singapore. pp.33-36, ⟨10.1109/ICECCS.2013.15⟩
Communication dans un congrès
hal-00926165v1
|
||
Extending PNML Scope: a Framework to Combine Petri Nets TypesLNCS Transactions on Petri Nets and Other Models of Concurrency, 2012, Lecture Notes in Computer Science, 7400 (VI), pp.46-70. ⟨10.1007/978-3-642-35179-2_3⟩
Article dans une revue
hal-01272447v1
|
|||
Application des méthodes formelles à la robotique modulaireJournal Européen des Systèmes Automatisés (JESA), 2008, 42 (4), pp.459-478. ⟨10.3166/jesa.42.459-478⟩
Article dans une revue
istex
hal-01175915v1
|
|||
|
|
Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory9th International Workshop on Discrete Event Systems (WODES'08), May 2008, Goteborg, Sweden. pp.346-351, ⟨10.1109/WODES.2008.4605970⟩
Communication dans un congrès
hal-01303699v1
|
||
|
|
Towards automated deployment of self-adaptive applications on hybrid clouds15th International Conference on Software Engineering and Formal Methods (SEFM 2017), Sep 2017, Trento, Italy
Communication dans un congrès
hal-01538157v1
|
||
|
|
Petri Nets Repository: a tool to benchmark and debug Petri Net tools38th International Conference, PETRI NETS 2017, University of Zaragoza, Jun 2017, Zaragoza, Spain. pp.125-135
Communication dans un congrès
hal-01492419v1
|
||
The MIDAS Cloud Platform for Testing SOA Applications8th International IEEE Conference on Software Testing, Verification and Validation (ICST), Apr 2015, Graz, Austria. pp.1-8, ⟨10.1109/ICST.2015.7102636⟩
Communication dans un congrès
hal-01212852v1
|
|||
|
|
Layered Data: A Modular Formal Definition without FormalismsPetri Nets and Software Engineering (PNSE 2016), Jun 2016, Toruń, Poland. pp.287-306
Communication dans un congrès
hal-01353944v1
|
||
Self-Reconfigurable Modular Robots and their Symbolic Configuration SpaceModeling, Development and Verification of Adaptative Computer Systems: the Grand Challenge for Robust Software, 16th Monterey Workshop 2010, Redmond, Revised Selected Papers, Mar 2010, Redmond, United States. pp.103-121, ⟨10.1007/978-3-642-21292-5_6⟩
Communication dans un congrès
istex
hal-01288061v1
|
|||
Optimization of the Product Configuration System of RenaultSAC '23: 38th ACM/SIGAPP Symposium on Applied Computing, Mar 2023, Tallinn, Estonia. pp.1486-1489, ⟨10.1145/3555776.3577830⟩
Communication dans un congrès
hal-04518666v1
|
|||
Design, Modeling and Analysis of ITS using UML and Petri Nets10th International IEEE Conference on Intelligent Transportation Systems, Sep 2007, Seattle, WA, United States. pp.314-319, ⟨10.1109/ITSC.2007.4357718⟩
Communication dans un congrès
hal-01334867v1
|
|||
|
|
Service functional test automation10th Workshop on System Testing and Validation, Fraunhofer Fokus, Oct 2015, Sophia Antipolis, France
Communication dans un congrès
hal-01240254v1
|
||
CARE: a platform for reliable Comparison and Analysis of Reverse-Engineering techniques18th IEEE International Conference on Engineering of Complex Computer Systems -- ICECCS, Jul 2013, Singapore, Singapore. pp.252-255, ⟨10.1109/ICECCS.2013.44⟩
Communication dans un congrès
hal-01216087v1
|
|||
Standardisation des réseaux de Petri : état de l'art et enjeux futursGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2010, 93, pp.5-10
Article dans une revue
hal-01176335v1
|
|||
A primer on the Petri Net Markup Language and ISO/IEC 15909-210th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN'09), Oct 2009, Aarhus, Denmark. pp.19
Communication dans un congrès
hal-01126017v1
|
- 1
- 2