|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 35 publication records. Showing 35 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Bara Buhnova, Lucia Happe, Jan Kofron (eds.) |
Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nils Jähnig, Thomas Göthel, Sabine Glesner |
A Denotational Semantics for Communicating Unstructured Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015., pp. 9-21, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ian Cassar, Adrian Francalanza, Simon Said |
Improving Runtime Overheads for detectEr. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015., pp. 1-8, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vasileios Koutsoumpas |
A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015., pp. 62-76, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Diego Marmsoler, Alexander Malkis, Jonas Eckhardt |
A Model of Layered Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015., pp. 47-61, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Michel Hufflen |
Using Model-Checking Techniques for Component-Based Systems with Reconfigurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015., pp. 33-46, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Riener, Rüdiger Ehlers, Görschwin Fey |
Path-Based Program Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015., pp. 22-32, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Faiz Ul Muram, Huy Tran, Uwe Zdun |
Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014., pp. 93-107, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Lanoix, Olga Kouchnarenko |
Component Substitution through Dynamic Reconfigurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014., pp. 32-46, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar |
Transformation of UML Behavioral Diagrams to Support Software Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014., pp. 133-142, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian Colombo 0001, Gordon J. Pace |
Comprehensive Monitor-Oriented Compensation Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014., pp. 47-61, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Stattelmann, Manuel Oriol, Thomas Gamer |
Execution Time Analysis for Industrial Control Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014., pp. 16-31, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Barbora Buhnova, Lucia Happe, Jan Kofron (eds.) |
Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rui Couto, António Nestor Ribeiro, José Creissac Campos |
Application of Ontologies in Identifying Requirements Patterns in Use Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014., pp. 62-76, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wei Bai 0005, Emmanuel M. Tadjouddine, Yu Guo |
Enabling Automatic Certification of Online Auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014., pp. 123-132, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux |
Correct-by-construction model composition: Application to the Invasive Software Composition method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014., pp. 108-122, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Antinisca Di Marco, Catia Trubiani |
A model-driven approach to broaden the detection of software performance antipatterns at runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014., pp. 77-92, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt |
Towards Verifying Safety Properties of Real-Time Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014., pp. 1-15, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Helena Gruhn, Sabine Glesner |
Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013., pp. 49-62, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Davide Arcelli, Vittorio Cortellessa |
Software model refactoring based on performance analysis: better working on software or performance side? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013., pp. 33-47, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Jeffrey Terrell |
Assembling the Proofs of Ordered Model Transformations ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013., pp. 63-77, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sven Sieverding, Christian Ellen, Peter Battram |
Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013., pp. 17-31, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Barbora Buhnova, Lucia Happe, Jan Kofron (eds.) |
Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian Colombo 0001, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace |
Extensible Technology-Agnostic Runtime Verification ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013., pp. 1-15, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jan Olaf Blech |
Towards a Framework for Behavioral Specifications of OSGi Components ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013., pp. 79-93, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Barbora Buhnova, Lucia Kapová Happe, Jan Kofron (eds.) |
Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![Elsevier The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Natallia Kokash, Mohammad Mahdi Jaghoori, Farhad Arbab |
From Timed Reo Networks to Networks of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012, pp. 11-29, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fazle Rabbi 0001, Hao Wang 0003, Wendy MacCaull, Adrian Rutle |
A Model Slicing Method for Workflow Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012, pp. 79-93, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Barbora Buhnova, Lucia Kapová Happe, Jan Kofron |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012, pp. 1-2, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christian Prehofer |
Behavioral Refinement and Compatibility of Statechart Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012, pp. 65-78, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco H. Wesselius |
Incorporating Formal Techniques into Industrial Practice: an Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012, pp. 49-63, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Samir Chouali, Ahmed Hammad, Hassan Mountassir |
Assembling Components using SysML with Non-Functional Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012, pp. 31-47, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michal Malohlava, Petr Hnetynka, Tomás Bures |
SOFA 2 Component Framework and Its Ecosystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012, pp. 101-106, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Kounev, Christoph Rathfelder, Benjamin Klatt |
Modeling of Event-based Communication in Component-based Architectures: State-of-the-Art and Future Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012, pp. 3-9, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Cerschi Seceleanu |
A Design Tool for Service-oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012, pp. 95-100, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #35 of 35 (100 per page; Change: )
|
|