Filter your results
- 14
- 14
- 14
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 14
- 1
- 1
- 1
- 1
- 1
- 3
- 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
|
|
|
sorted by
|
|
|
Conformance-Based Doping Detection for Cyber-Physical Systems40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.59-77, ⟨10.1007/978-3-030-50086-3_4⟩
Conference papers
hal-03283236v1
|
||
|
|
A Framework for the Adoption of Blockchain-Based e-Procurement Systems in the Public Sector19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.3-14, ⟨10.1007/978-3-030-44999-5_1⟩
Conference papers
hal-03222868v1
|
||
|
|
Deducing User Presence from Inter-Message Intervals in Home Automation Systems31st IFIP International Information Security and Privacy Conference (SEC), May 2016, Ghent, Belgium. pp.369-383, ⟨10.1007/978-3-319-33630-5_25⟩
Conference papers
hal-01369569v1
|
||
|
|
From Qualitative to Quantitative Data Valuation in Manufacturing CompaniesIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.172-180, ⟨10.1007/978-3-030-85902-2_19⟩
Conference papers
hal-04117655v1
|
||
|
|
Deep Statistical Model Checking40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.96-114, ⟨10.1007/978-3-030-50086-3_6⟩
Conference papers
hal-03283238v1
|
||
|
|
Improving Time Bounded Reachability Computations in Interactive Markov Chains5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.250-266, ⟨10.1007/978-3-642-40213-5_16⟩
Conference papers
hal-01514669v1
|
||
|
|
Component-aware Input-Output Conformance39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.111-128, ⟨10.1007/978-3-030-21759-4_7⟩
Conference papers
hal-02313733v1
|
||
|
|
FriendGroupVR: Design Concepts Using Virtual Reality to Organize Social Network Friends17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.719-739, ⟨10.1007/978-3-030-29387-1_42⟩
Conference papers
hal-02553932v1
|
||
|
|
URetail: Privacy User Interfaces for Intelligent Retail Stores16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.473-477, ⟨10.1007/978-3-319-68059-0_54⟩
Conference papers
hal-01679771v1
|
||
|
|
A Model-Based Certification Framework for the EnergyBus Standard34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.84-99, ⟨10.1007/978-3-662-43613-4_6⟩
Conference papers
hal-01098360v1
|
||
|
|
Partial Order Methods for Statistical Model Checking and Simulation13th 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.59-74, ⟨10.1007/978-3-642-21461-5_4⟩
Conference papers
hal-01583327v1
|
||
|
|
Treewidth Computation and Kernelization in the Parallel External Memory Model8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.78-89, ⟨10.1007/978-3-662-44602-7_7⟩
Conference papers
hal-01402030v1
|
||
|
|
Terminating Tableaux for $\mathcal{SOQ}$ with Number Restrictions on Transitive Roles6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.213-228, ⟨10.1007/978-3-642-15240-5_16⟩
Conference papers
hal-01054458v1
|
||
|
|
Unsupervised Multi-sensor Anomaly Localization with Explainable AI18th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2022, Hersonissos, Greece. pp.507-519, ⟨10.1007/978-3-031-08333-4_41⟩
Conference papers
hal-04317155v1
|