Search - IFIP Open Digital Library Access content directly

Filter your results

9 results
Structure: Internal structure identifier : 135222
Page :
sorted by
Image document

Human-in-the-Loop Simulation of Cloud Services

 Nikolaos Bezirgiannis , Frank De Boer , Stijn De Gouw
6th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2017, Oslo, Norway. pp.143-158, ⟨10.1007/978-3-319-67262-5_11⟩
Conference papers hal-01677612v1
Image document

Bounded Model Checking of Recursive Programs with Pointers in K

 Irina Măriuca Asăvoae , Frank De Boer , Marcello M. Bonsangue , Dorel Lucanu , Jurriaan Rot
21th 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
Image document

Defining Context-Free Power Series Coalgebraically

 Marcello M. Bonsangue , Jan Rutten , Joost Winter
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.20-39, ⟨10.1007/978-3-642-32784-1_2⟩
Conference papers hal-01539885v1
Image document

A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems

 Narges Khakpour , Jetty Kleijn , Marjan Sirjani
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.3-19, ⟨10.1007/978-3-030-31517-7_1⟩
Conference papers hal-03769124v1
Image document

Service Orchestration with Priority Constraints

 Behnaz Changizi , Natallia Kokash , Farhad Arbab
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.194-209, ⟨10.1007/978-3-030-31517-7_14⟩
Conference papers hal-03769135v1
Image document

ML-ModelExplorer: An Explorative Model-Agnostic Approach to Evaluate and Compare Multi-class Classifiers

 Andreas Theissler , Simon Vollert , Patrick Benz , Laurentius A. Meerhoff , Marc Fernandes
4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.281-300, ⟨10.1007/978-3-030-57321-8_16⟩
Conference papers hal-03414731v1
Image document

Duality of Equations and Coequations via Contravariant Adjunctions

 Julian Salamanca , Marcello Bonsangue , Jurriaan Rot
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.73-93, ⟨10.1007/978-3-319-40370-0_6⟩
Conference papers hal-01446034v1
Image document

Unbounded Allocation in Bounded Heaps

 Jurriaan Rot , Frank De Boer , Marcello Bonsangue
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.1-16, ⟨10.1007/978-3-642-40213-5_1⟩
Conference papers hal-01514664v1
Image document

Games that Make Curious: An Exploratory Survey into Digital Games that Invoke Curiosity

 Marcello A. Gómez Maureira , Isabelle Kniestedt
17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.76-89, ⟨10.1007/978-3-319-99426-0_7⟩
Conference papers hal-02128582v1
Page :