| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bernhard Steffen, Falk Howar, Maik Merten |
Introduction to Active Automata Learning from a Practical Perspective.  |
SFM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Valérie Issarny, Amel Bennaceur, Yérom-David Bromberg |
Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Tretmans |
Model-Based Testing and Some Steps towards Test-Based Modelling. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Jonsson |
Learning of Automata Models Extended with Data. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Moschitti |
Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Automated Verification Techniques for Probabilistic Systems. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi |
Security and Trust. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Joachim Klein, Sascha Klüppelholz |
Modeling and Verification of Components and Connectors. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens, Martín Ochoa, Holger Schmidt, Loïc Marchal, Siv Hilde Houmb, Shareeful Islam |
Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Valérie Issarny (eds.) |
Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro |
Dependability and Performance Assessment of Dynamic CONNECTed Systems. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas |
Interoperability in Complex Distributed Systems. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Grace, Nikolaos Georgantas, Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Valérie Issarny, Massimo Paolucci, Rachid Saadi, Bertrand Souville, Daniel Sykes |
The CONNECT Architecture. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitra Giannakopoulou, Corina S. Pasareanu |
Context Synthesis. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong |
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Romina Spalazzese, Massimo Tivoli |
Application-Layer Connector Synthesis. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Katinka Wolter, Philipp Reinecke |
Performance and Security Tradeoff. |
SFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pasquale Malacaria, Jonathan Heusser |
Information Theory and Security: Quantitative Information Flow. |
SFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.) |
Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures |
SFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Broadbent, Joseph Fitzsimons, Elham Kashefi |
Measurement-Based and Universal Blind Quantum Computation. |
SFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
Probabilistic Semantics and Program Analysis. |
SFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni |
Calculi for Service-Oriented Computing. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.) |
Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani |
Contract-Based Discovery and Adaptation of Web Services. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Clark, Stephen Gilmore, Mirco Tribastone |
Quantitative Analysis of Web Services Using SRMC. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone, Nobuko Yoshida, Kohei Honda |
Asynchronous Session Types: Exceptions and Multiparty Interactions. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Annapaola Marconi, Marco Pistore |
Synthesis and Composition of Web Services. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Gianluigi Zavattaro |
Contract-Based Discovery and Composition of Web Services. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf |
Service Interaction: Patterns, Formalization, and Analysis. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
Open Nets, Service Interaction Patterns, Verification, Service Orientation, Service Choreography |
| 1 | Vasco Thudichum Vasconcelos |
Fundamentals of Session Types. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gheorghe Paun, Francisco José Romero-Campero |
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluigi Zavattaro |
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Sylvain Soliman |
Formal Cell Biology in Biocham. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Degasperi, Stephen Gilmore |
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Jane Hillston |
Process Algebras in Systems Biology. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carolyn L. Talcott |
Pathway Logic. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
Symbolic systems biology, Pathway Logic, Epidermal Growth Factor signaling, rewriting logic, signal transduction |
| 1 | Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini |
The Calculus of Looping Sequences. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.) |
Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures |
SFM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Cristian Versari, Roberto Gorrieri |
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus |
| 1 | Daniel T. Gillespie |
Simulation Methods in Systems Biology. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
stochastic chemical kinetics, stochastic simulation algorithm, tau-leaping, Langevin equation, Fokker-Planck equation, stiff systems, slow-scale stochastic simulation algorithm, Michaelis-Menten, enzyme-substrate reaction, multiscale, master equation |
| 1 | Carsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher |
Hierarchical Modeling for Computational Biology. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
model components, DEVS, hierarchical models, pi calculus, multi-level modeling |
| 1 | Monika Heiner, David Gilbert, Robin Donaldson |
Petri Nets for Systems and Synthetic Biology. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni |
Cells in Silico: A Holistic Approach. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bortolussi, Alberto Policriti |
Hybrid Systems and Biology. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Dematté, Corrado Priami, Alessandro Romanel |
The BlenX Language: A Tutorial. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Balbo |
Introduction to Generalized Stochastic Petri Nets. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Jane Hillston (eds.) |
Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures |
SFM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gianfranco Ciardo |
Data Representation and Efficient Solution: A Decision Diagram Approach. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
edge-valued decision diagrams, binary decision diagrams, symbolic model checking, Kronecker algebra, multi-valued decision diagrams, state-space generation |
| 1 | William J. Knottenbelt, Jeremy T. Bradley |
Tackling Large State Spaces in Performance Modelling. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Simonetta Balsamo, Andrea Marin |
Queueing Networks. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone |
Stochastic Process Algebras. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | William J. Stewart |
Performance Modelling and Markov Chains. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Connie U. Smith |
Introduction to Software Performance Engineering: Origins and Outstanding Problems. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
Performance patterns, Performance Antipattterns, SPE Process, Performance models, Performance prediction, Software Performance Engineering, SPE, Queueing Network Models |
| 1 | Marco Bernardo |
A Survey of Markovian Behavioral Equivalences. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gribaudo, Miklós Telek |
Fluid Models in Performance Analysis. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | C. Murray Woodside |
From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
Stochastic Model Checking. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Aarti Gupta, Malay K. Ganai, Chao Wang |
SAT-Based Verification Methods and Applications in Hardware Verification. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
Hardware Design and Simulation for Verification. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John Harrison |
Floating-Point Verification Using Theorem Proving. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianpiero Cabodi, Marco Murciano |
BDD-Based Hardware Verification. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Roberto Sebastiani |
Building Efficient Decision Procedures on Top of SAT Solvers. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Jan-Willem Roorda |
An Introduction to Symbolic Trajectory Evaluation. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Panagiotis Manolios |
Refinement and Theorem Proving. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Drechsler, Görschwin Fey |
Automatic Test Pattern Generation. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Alessandro Cimatti (eds.) |
Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures |
SFM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marco Bernardo, Alessandro Bogliolo (eds.) |
Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures |
SFM |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ugo Montanari, Marco Pistore |
History-Dependent Automata: An Introduction. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Grassi |
Performance Analysis of Mobile Systems. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Acquaviva, Edoardo Bontà, Emanuele Lattanzi |
Dynamic Power Management Strategies Within the IEEE 802.11 Standard. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele Lattanzi, Andrea Acquaviva, Alessandro Bogliolo |
Network Swapping. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Gerla, Ling-Jyh Chen, Yeng-Zhong Lee, Biao Zhou, Jiwei Chen, Guang Yang 0001, Shirshanka Das |
Dealing with Node Mobility in Ad Hoc Wireless Network. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Emanuela Merelli |
Hermes: Agent-Based Middleware for Mobile Computing. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Rocco De Nicola |
Mobile Distributed Programming in X-Klaim. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi |
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen |
A Tutorial on Uppaal. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, P. Madhusudan |
Decision Problems for Timed Automata: A Survey. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis |
The IF Toolset. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns |
Embedded Software Analysis with MOTOR. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini |
Expressiveness of Timed Events and Timed Languages. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Flavio Corradini (eds.) |
Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures |
SFM |
2004 |
DBLP BibTeX RDF |
|
| 1 | Elmar Bihler, Walter Vogler |
Timed Petri Nets: Efficiency of Asynchronous Systems. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti |
Real Time and Stochastic Time. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bran Selic |
On the Semantic Foundations of Standard UML 2.0. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Michel A. Reniers |
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing). |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Paola Inverardi (eds.) |
Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures |
SFM |
2003 |
DBLP BibTeX RDF |
|
| 1 | Paola Inverardi, Massimo Tivoli |
Software Architecture for Correct Components Assembly. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simonetta Balsamo, Marco Bernardo, Marta Simeoni |
Performance Evaluation at the Software Architecture Level. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nima Kaveh, Wolfgang Emmerich |
Validating Distributed Object and Component Designs. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Valérie Issarny, Apostolos Zarras |
Software Architecture and Dependability. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Filipe Andrade, José Luiz Fiadeiro |
Architecture Based Evolution of Software Systems. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan |
Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel van Lamsweerde |
From System Goals to Software Architecture. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Judith A. Stafford, Alexander L. Wolf, Mauro Caporuscio |
The Application of Dependence Analysis to Software Architecture Descriptions. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman |
Software Architecture for Mobile Computing. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Paola Inverardi, Henry Muccini |
Formal Methods in Testing Software Architectures. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Software Architecture Modeling & Analysis: A Rigorous Approach. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")