Filter your results
- 33
- 33
- 33
- 3
- 3
- 2
- 2
- 3
- 1
- 5
- 3
- 6
- 2
- 6
- 33
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 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
- 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
|
|
sorted by
|
|
An AUML State Machine Based Method for Multi-agent Systems Model Checking8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. pp.106-112, ⟨10.1007/978-3-662-44980-6_12⟩
Conference papers
hal-01383322v1
|
||
|
Improved Iterative Methods for Verifying Markov Decision Processes6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.207-214, ⟨10.1007/978-3-319-24644-4_14⟩
Conference papers
hal-01446601v1
|
||
|
Model Checking the Ant Colony Optimisation7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.221-232, ⟨10.1007/978-3-642-15234-4_22⟩
Conference papers
hal-01054497v1
|
||
|
Modeling and Efficient Verification of Broadcasting Actors6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.69-83, ⟨10.1007/978-3-319-24644-4_5⟩
Conference papers
hal-01446611v1
|
||
|
Bounded Model Checking of Graph Transformation Systems via SMT Solving15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.178-192, ⟨10.1007/978-3-642-38592-6_13⟩
Conference papers
hal-01515236v1
|
||
|
Efficient Operational Semantics for $ EB ^3$ for Verification of Temporal Properties5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.133-149, ⟨10.1007/978-3-642-40213-5_9⟩
Conference papers
hal-01514655v1
|
||
|
Bounded Model Checking of Recursive Programs with Pointers in K21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.59-76, ⟨10.1007/978-3-642-37635-1_4⟩
Conference papers
hal-01485978v1
|
||
|
Formal Software Verification: How Close Are We?Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.1, ⟨10.1007/978-3-642-13464-7_1⟩
Conference papers
hal-01055211v1
|
||
|
SimGrid MC: Verification Support for a Multi-API Simulation Platform13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.274-288, ⟨10.1007/978-3-642-21461-5_18⟩
Conference papers
inria-00593505v1
|
||
|
UVHM: Model Checking Based Formal Analysis Scheme for Hypervisors1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.300-305, ⟨10.1007/978-3-642-36818-9_31⟩
Conference papers
hal-01480185v1
|
||
|
Automated Security Analysis of IoT Software Updates13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.223-239, ⟨10.1007/978-3-030-41702-4_14⟩
Conference papers
hal-03173903v1
|
||
|
Effectiveness for Input Output Conformance Simulation iocos̱34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.100-116, ⟨10.1007/978-3-662-43613-4_7⟩
Conference papers
hal-01398009v1
|
||
|
Verification of ArchiMate Behavioral Elements by Model Checking14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.132-144, ⟨10.1007/978-3-319-24369-6_11⟩
Conference papers
hal-01444460v1
|
||
|
Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov Models3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.1-16, ⟨10.1007/978-3-030-57852-7_1⟩
Conference papers
hal-03165383v1
|
||
|
Towards a Spatial Model Checker on GPU41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.188-196, ⟨10.1007/978-3-030-78089-0_12⟩
Conference papers
hal-03740266v1
|
||
|
Tutorial: Designing Distributed Software in mCRL241th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.226-243, ⟨10.1007/978-3-030-78089-0_15⟩
Conference papers
hal-03740269v1
|
||
|
On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.67-83, ⟨10.1007/978-3-319-39519-7_5⟩
Conference papers
hal-01631720v1
|
||
|
On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic ProtocolsJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.201-215, ⟨10.1007/978-3-642-13464-7_16⟩
Conference papers
hal-01055153v1
|
||
|
Statistical Model Checking for Composite Actor Systems21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.143-160, ⟨10.1007/978-3-642-37635-1_9⟩
Conference papers
hal-01485983v1
|
||
|
Debugging of Concurrent Systems using Counterexample Analysis7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. pp.20-34, ⟨10.1007/978-3-319-68972-2_2⟩
Conference papers
hal-01533401v2
|
||
|
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.293-310, ⟨10.1007/978-3-319-67549-7_18⟩
Conference papers
hal-01678972v1
|
||
|
Effective Infinite-State Model Checking by Input Equivalence Class Partitioning29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.38-53, ⟨10.1007/978-3-319-67549-7_3⟩
Conference papers
hal-01678956v1
|
||
|
Contract-Based Compositional Scheduling Analysis for Evolving Systems4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.272-282, ⟨10.1007/978-3-642-38853-8_25⟩
Conference papers
hal-01466683v1
|
||
|
Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2015, Costa de Caparica, Portugal. pp.73-81, ⟨10.1007/978-3-319-16766-4_8⟩
Conference papers
hal-01343467v1
|
||
|
Properties Preservation in Distributed Execution of Petri Nets ModelsFirst IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. pp.239-248, ⟨10.1007/978-3-642-11628-5_26⟩
Conference papers
hal-01060809v1
|
||
|
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.83-94, ⟨10.1007/978-3-642-16256-5_10⟩
Conference papers
hal-01055395v1
|
||
|
A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes7th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Dec 2017, Neuchâtel, Switzerland. pp.89-104, ⟨10.1007/978-3-030-11638-5_5⟩
Conference papers
hal-01944569v1
|
||
|
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.102-113, ⟨10.1007/978-3-642-15234-4_11⟩
Conference papers
hal-01054482v1
|
||
|
Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Teheran, Iran. pp.90-104, ⟨10.1007/978-3-319-28678-5_7⟩
Conference papers
hal-01202799v1
|
||
|
Formal Verification of Complex Properties on PLC Programs34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.284-299, ⟨10.1007/978-3-662-43613-4_18⟩
Conference papers
hal-01398021v1
|
- 1
- 2