Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

29 results
Page :
sorted by
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

Exposing Latent Mutual Exclusion by Work Automata

 Kasper Dokter , Farhad Arbab
2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.59-73, ⟨10.1007/978-3-319-68953-1_6⟩
Conference papers hal-01760644v1
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

Scheduling Games for Concurrent Systems

 Kasper Dokter , Sung-Shik Jongmans , Farhad Arbab
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.84-100, ⟨10.1007/978-3-319-39519-7_6⟩
Conference papers hal-01631719v1
Image document

How to Kill Epsilons with a Dagger

 Filippo Bonchi , Stefan Milius , Alexandra Silva , Fabio Zanasi
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.53-74, ⟨10.1007/978-3-662-44124-4_4⟩
Conference papers hal-01408752v1
Image document

Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models

 Sung-Shik Jongmans , Christian Krause , Farhad Arbab
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.31-48, ⟨10.1007/978-3-642-21464-6_3⟩
Conference papers hal-01582996v1
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

Session-Based Concurrency, Reactively

 Mauricio Cano , Jaime Arias , Jorge A. Pérez
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.74-91, ⟨10.1007/978-3-319-60225-7_6⟩
Conference papers hal-01566466v1
Image document

Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?

 Sung-Shik Q. Jongmans , Farhad Arbab
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.238-258, ⟨10.1007/978-3-319-24644-4_17⟩
Conference papers hal-01446603v1
Image document

Take Command of Your Constraints!

 Sung-Shik Jongmans , Farhad Arbab
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.117-132, ⟨10.1007/978-3-319-19282-6_8⟩
Conference papers hal-01774935v1
Image document

Relating Process Languages for Security and Communication Correctness (Extended Abstract)

 Daniele Nantes , Jorge A. Pérez
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.79-100, ⟨10.1007/978-3-319-92612-4_5⟩
Conference papers hal-01824820v1
Image document

Protocol Scheduling

 Kasper Dokter , Farhad Arbab
9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.3-17, ⟨10.1007/978-3-030-89247-0_1⟩
Conference papers hal-04074514v1
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

Reducing the Cost of Grammar-Based Testing Using Pattern Coverage

 Cleverton Hentz , Jurgen J. Vinju , Anamaria M. Moreira
ICTSS 2015 - 27th IFIP International Conference on Testing Software and Systems, Nov 2015, Dubai, United Arab Emirates. pp.71-85, ⟨10.1007/978-3-319-25945-1_5⟩
Conference papers hal-01470158v1
Image document

Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics

 Helle Hvid Hansen , Clemens Kupke , Raul Andres Leal
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.281-295, ⟨10.1007/978-3-662-44602-7_22⟩
Conference papers hal-01402072v1
Image document

Compositional Construction of Real-Time Dataflow Networks

 Stephanie Kemper
12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.92-106, ⟨10.1007/978-3-642-13414-2_7⟩
Conference papers hal-01054621v1
Image document

The Future of a Missed Deadline

 Behrooz Nobakht , Frank De Boer , Mohammad Mahdi Jaghoori
15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.181-195, ⟨10.1007/978-3-642-38493-6_13⟩
Conference papers hal-01486026v1
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

Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms

 Sung-Shik Q. Jongmans , Sean Halle , Farhad Arbab
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.65-82, ⟨10.1007/978-3-662-43376-8_5⟩
Conference papers hal-01290068v1
Image document

Simulation-Based Performance Analysis of Channel-Based Coordination Models

 C. Verhoef , C. Krause , O. Kanters , R. van Der Mei
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.187-201, ⟨10.1007/978-3-642-21464-6_13⟩
Conference papers hal-01582989v1
Image document

Rule-Based Form for Stream Constraints

 Kasper Dokter , Farhad Arbab
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.142-161, ⟨10.1007/978-3-319-92408-3_6⟩
Conference papers hal-01821489v1
Image document

On the Integration of Automatic Deployment into the ABS Modeling Language

 Stijn De Gouw , Michael Lienhardt , Jacopo Mauro , Behrooz Nobakht , Gianluigi Zavattaro
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.49-64, ⟨10.1007/978-3-319-24072-5_4⟩
Conference papers hal-01757558v1
Image document

Game Developers Need Lua AiR

 Paul Klint , Loren Roosendaal , Riemer van Rozen
ICEC 2012 - 11th International Confernece on Entertainment Computing, Sep 2012, Bremen, Germany. pp.530-535, ⟨10.1007/978-3-642-33542-6_69⟩
Conference papers hal-00758607v1

Fundamentals of Software Engineering

 Farhad Arbab , Marjan Sirjani
Farhad Arbab; Marjan Sirjani. Springer Berlin Heidelberg, LNCS-8161, 2013, Lecture Notes in Computer Science, 978-3-642-40212-8. ⟨10.1007/978-3-642-40213-5⟩
Books hal-01514876v1
Image document

On Futures for Streaming Data in ABS

 Keyvan Azadbakht , Nikolaos Bezirgiannis , Frank Boer
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.67-73, ⟨10.1007/978-3-319-60225-7_5⟩
Conference papers hal-01658410v1
Image document

Formal Verification of Service Level Agreements Through Distributed Monitoring

 Behrooz Nobakht , Stijn De Gouw , Frank Boer
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.125-140, ⟨10.1007/978-3-319-24072-5_9⟩
Conference papers hal-01757576v1
Image document

High Performance Computing Applications Using Parallel Data Processing Units

 Keyvan Azadbakht , Vlad Serbanescu , Frank De Boer
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.191-206, ⟨10.1007/978-3-319-24644-4_13⟩
Conference papers hal-01446600v1

Theoretical Computer Science

 Jos C. M. Baeten , Tom Ball , Frank S. de Boer
Springer, LNCS-7604, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-33475-7⟩
Books hal-01556209v1
Page :