| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jean-Michel Hufflen |
Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems.  |
FESCA@ETAPS  |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Marmsoler, Silvio Degenhardt |
Verifying Patterns of Dynamic Architectures using Model Checking. |
FESCA@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kofron, Jana Tumova (eds.) |
Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. |
FESCA@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bence Czipó, Ákos Hajdu, Tamás Tóth, István Majzik |
Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers. |
FESCA@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Guillaume Rousset |
Model-based Testing of the Java Network API. |
FESCA@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Oldrich Faldik, Richard John Payne, John S. Fitzgerald, Barbora Buhnova |
Modelling System of Systems Interface Contract Behaviour. |
FESCA@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman |
Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts. |
FESCA@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Vinárek, Petr Hnetynka |
Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems. |
FESCA@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Chircop, Christian Colombo 0001, Gordon J. Pace |
Device-Centric Monitoring for Mobile Device Management. |
FESCA@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Couto, António Nestor Ribeiro, José Creissac Campos |
Validating an Approach to Formalize Use Cases with Ontologies. |
FESCA@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kofron, Jana Tumova, Bara Buhnova (eds.) |
Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. |
FESCA@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Avinash Visagan Varadarajan, Marcel Romijn, Bart Oosthoek, Joanna M. van de Mortel-Fronczak, Jos Beijer |
Development and Validation of Functional Model of a Cruise Control System. |
FESCA@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Premek Brada |
Enhanced Type-based Component Compatibility Using Deployment Context Information. |
FESCA@ETAPS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Burger, Ralf H. Reussner |
Performance Certification of Software Components. |
FESCA@ETAPS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko |
Combining Proof and Model-checking to Validate Reconfigurable Architectures. |
FESCA@ETAPS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Galina Besova, Heike Wehrheim, Annika Wagner |
Reputation-based Reliability Prediction of Service Compositions. |
FESCA@ETAPS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaroslav Snajberk, Premek Brada |
ENT: A Generic Meta-Model for the Description of Component-Based Applications. |
FESCA@ETAPS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbora Buhnova, Jens Happe |
Preface. |
FESCA@ETAPS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbora Buhnova, Jens Happe (eds.) |
Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2011, Saarbrücken, Germany, April 2, 2011 |
FESCA@ETAPS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel 0001 |
Semi-Automatic Specification of Behavioural Service Adaptation Contracts. |
FESCA@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Happe, Barbora Buhnova |
Preface. |
FESCA@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamil Jezek, Premek Brada, Petr Stepan |
Towards Context Independent Extra-functional Properties Descriptor for Components. |
FESCA@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Mayer, Andreas Schroeder 0001, Sebastian S. Bauer |
A Strict-Observational Interface Theory for Analysing Service Orchestrations. |
FESCA@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matias David Lee, Pedro R. D'Argenio |
Describing Secure Interfaces with Interface Automata. |
FESCA@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Henrio, Muhammad Uzair Khan |
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL. |
FESCA@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Brosch, Ralf Gitzel, Heiko Koziolek, Simone Krug |
Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations. |
FESCA@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioan Lazar, Simona Motogna, Bazil Pârv |
Behaviour-Driven Development of Foundational UML Components. |
FESCA@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Kapová, Steffen Becker 0001 |
Systematic Refinement of Performance Models for Concurrent Component-based Systems. |
FESCA@ETAPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf H. Reussner, Iman Poernomo, Juliana Küster Filipe Bowles (eds.) |
Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2008, Budapest, Hungary, March 29, 2008 |
FESCA@ETAPS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jens Happe, Barbora Buhnova (eds.) |
Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2010, Paphos, Cyprus, March 27, 2010 |
FESCA@ETAPS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Anne Martens, Heiko Koziolek |
Automatic, Model-Based Software Performance Improvement for Component-based Software Designs. |
FESCA@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhong Zhao 0001, Franz-Josef Rammig |
Model-based Runtime Verification Framework. |
FESCA@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson |
Analyzing a Pattern-Based Model of a Real-Time Turntable System. |
FESCA@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kuperberg, Fouad Omri |
Using Heuristics to Automate Parameter Generation for Benchmarking of Java Methods. |
FESCA@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Parízek, Jirí Adámek, Tomas Kalibera |
Automated Construction of Reasonable Environment for Java Components. |
FESCA@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Happe, Barbora Zimmerová |
Preface. |
FESCA@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Motogna, Ioan Lazar, Bazil Pârv, István Gergely Czibula |
An Agile MDA Approach for Service-Oriented Components. |
FESCA@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebti Mouelhi, Samir Chouali, Hassan Mountassir |
Refinement of Interface Automata Strengthened by Action Semantics. |
FESCA@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider |
On the Specification of Full Contracts. |
FESCA@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Owe, Gerardo Schneider |
Wrap Your Objects Safely. |
FESCA@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Koziolek, Franz Brosch |
Parameter Dependencies for Component Reliability Specifications. |
FESCA@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001 |
From Architectural to Behavioural Specification of Services. |
FESCA@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Happe, Barbora Zimmerová (eds.) |
Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, FESCA@ETAPS 2009, York, UK, April 28, 2009 |
FESCA@ETAPS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ralf H. Reussner, Iman Poernomo, Juliana Küster Filipe Bowles |
Preface. |
FESCA@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitar P. Guelev, Dang Van Hung |
Reasoning about QoS Contracts in the Probabilistic Duration Calculus. |
FESCA@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Collingbourne, Paul H. J. Kelly |
Inference of Session Types From Control Flow. |
FESCA@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tolga Ovatman, Aske Wiid Brekling, Michael R. Hansen |
Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata. |
FESCA@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sotiris Moschoyiannis, Amir Reza Razavi, Paul J. Krause |
Transaction Scripts: Making Implicit Scenarios Explicit. |
FESCA@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Samir Chouali, Hassan Mountassir, Sebti Mouelhi |
An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. |
FESCA@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner (eds.) |
Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2007, Braga, Portugal, March 24, 2007 |
FESCA@ETAPS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sotiris Moschoyiannis, Paul J. Krause, Michael W. Shields |
A True-Concurrent Interpretation of Behavioural Scenarios. |
FESCA@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner |
Preface. |
FESCA@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Matousek, Pavel Jezek |
DeSpec: Modeling the Windows Driver Environment. |
FESCA@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel Morel, Louis Mandel |
Executable Contracts for Incremental Prototypes of Embedded Systems. |
FESCA@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Szulman |
WCET Analysis of Data Dependent, Component Oriented, Embedded Software Systems. |
FESCA@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christiano Braga, Fabricio Chalub, Alexandre Sztajnberg |
A Formal Semantics for a Quality of Service Contract Language. |
FESCA@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Padberg, Hartmut Ehrig, Fernando Orejas |
Towards Component Verification in the Generic Component Framework. |
FESCA@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marieke Huisman, Dilian Gurov |
Composing Modal Properties of Programs with Procedures. |
FESCA@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Colin, Arnaud Lanoix, Jeanine Souquières |
Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement. |
FESCA@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner (eds.) |
Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna, Austria, March 26, 2006 |
FESCA@ETAPS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lars Gesellensetter, Sabine Glesner |
Only the Best Can Make It: Optimal Component Selection. |
FESCA@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu 0001, Partha S. Roop, Roopak Sinha |
Local Module Checking for CTL Specifications. |
FESCA@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner |
Preface. |
FESCA@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Metzler 0001, Heike Wehrheim |
Extending a Component Specification Language with Time. |
FESCA@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong 0006, Zhenbang Chen, Ji Wang 0001 |
A Contract-based Approach to Specifying and Verifying Safety Critical Systems. |
FESCA@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Koziolek, Viktoria Firus |
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation. |
FESCA@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Klein 0001, Julia Padberg, Fernando Orejas |
Towards Multiple Access in Generic Component Architectures. |
FESCA@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Rausch |
DisCComp - A Formal Model for Distributed Concurrent Components. |
FESCA@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Parízek, Frantisek Plásil |
Specification and Generation of Environment for Model Checking of Software Components. |
FESCA@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelaziz Guerrouat, Harald Richter 0001 |
A Formal Approach for Analysis and Testing of Reliable Embedded Systems. |
FESCA@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes |
Modelling the GSM Handover Protocol in CommUnity. |
FESCA@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker |
Towards formalising AADL in Proof Assistants. |
FESCA@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sotiris Moschoyiannis, Michael W. Shields, Paul J. Krause |
Modelling Component Behaviour with Concurrent Automata. |
FESCA@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Menon, Michael Johnson, Charles Lakos |
Inconsistency Management and View Updates. |
FESCA@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roopak Sinha, Partha S. Roop, Bakhadyr Khoussainov |
Adaptive Verification using Forced Simulation. |
FESCA@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Benjamin Braatz, Markus Klein 0001, Fernando Orejas, Sonia Pérez, Elvira Pino |
Object-Oriented Connector-Component Architectures. |
FESCA@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Malcolm Wallace |
Modular Architectural Representation and Analysis of Fault Propagation and Transformation. |
FESCA@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Carlson, Mikael Åkerholm |
An Event Algebra Extension of the Triggering Mechanism in a Component Model for Embedded Systems. |
FESCA@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktoria Firus, Steffen Becker 0001, Jens Happe |
Parametric Performance Contracts for QML-specified Software Components. |
FESCA@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla |
Preface. |
FESCA@ETAPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla (eds.) |
Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2005, Edinburgh, UK, April 9, 2005 |
FESCA@ETAPS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Arnab Ray, Rance Cleaveland |
Formal Modeling Of Middleware-based Distributed Systems. |
FESCA@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nelson S. Rosa, Paulo Roberto Freire Cunha |
A Software Architecture-Based Approach for Formalising Middleware Behaviour. |
FESCA@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract. |
FESCA@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla |
Preface. |
FESCA@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sotiris Moschoyiannis |
Generating Snapshots of a Component Setting. |
FESCA@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer |
Managing Complexity in Software Development with Formally Based Tools. |
FESCA@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Edgar G. Daylight, Bart Demoen, Francky Catthoor |
Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach. |
FESCA@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazareno Aguirre, T. S. E. Maibaum |
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. |
FESCA@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein 0001, Fernando Orejas, Sonia Pérez, Elvira Pino |
A Generic Framework for Connector Architectures based on Components and Transformations. |
FESCA@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla (eds.) |
Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2004, Barcelona, Spain, April 3, 2004 |
FESCA@ETAPS |
2004 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license