The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SFM"( http://dblp.L3S.de/Venues/SFM )

URL (DBLP): http://dblp.uni-trier.de/db/conf/sfm

Publication years (Num. hits)
2003-2004 (22) 2005-2006 (18) 2007-2008 (27) 2009-2011 (30) 2012-2013 (18) 2014-2015 (15) 2016 (9)
Publication types (Num. hits)
inproceedings(125) proceedings(14)
Venues (Conferences, Journals, ...)
SFM(139)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 22 occurrences of 21 keywords

Results
Found 139 publication records. Showing 139 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink Spatial Logic and Spatial Model Checking for Closure Spaces. Search on Bibsonomy SFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. Search on Bibsonomy SFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Nicolas Gast Mean-Field Limits Beyond Ordinary Differential Equations. Search on Bibsonomy SFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jacob Beal, Mirko Viroli Aggregate Programming: From Foundations to Applications. Search on Bibsonomy SFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vashti Galpin Spatial Representations and Analysis Techniques. Search on Bibsonomy SFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrea Vandin, Mirco Tribastone Quantitative Abstractions for Collective Adaptive Systems. Search on Bibsonomy SFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michele Loreti, Jane Hillston Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. Search on Bibsonomy SFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Carlo Ghezzi Dependability of Adaptable and Evolvable Distributed Systems. Search on Bibsonomy SFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marco Bernardo 0001, Rocco De Nicola, Jane Hillston (eds.) Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures Search on Bibsonomy SFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jade Alglave Modeling of Architectures. Search on Bibsonomy SFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elias Castegren, Johan Östlund, Tobias Wrigstad Refined Ownership: - Fine-Grained Controlled Internal Sharing. Search on Bibsonomy SFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stephan Brandauer, Elias Castegren, Dave Clarke 0001, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. Search on Bibsonomy SFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Bernardo 0001, Einar Broch Johnsen (eds.) Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures Search on Bibsonomy SFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Farhad Arbab, Sung-Shik T. Q. Jongmans Coordinating Multicore Computing. Search on Bibsonomy SFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida A Gentle Introduction to Multiparty Asynchronous Session Types. Search on Bibsonomy SFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Richard Bubel, Antonio Flores-Montoya, Reiner Hähnle Analysis of Executable Software Models. Search on Bibsonomy SFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Bernd Becker 0001, Christian Dehnert, Nils Jansen 0001, Joost-Pieter Katoen, Ralf Wimmer Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. Search on Bibsonomy SFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Malte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer Model-Based Testing. Search on Bibsonomy SFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Bernardo 0001, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.) Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures Search on Bibsonomy SFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Annu Gmeiner, Igor Konnov 0001, Ulrich Schmid 0001, Helmut Veith, Josef Widder Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms. Search on Bibsonomy SFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Stijn de Gouw Combining Monitoring with Run-Time Assertion Checking. Search on Bibsonomy SFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elena Giachino, Cosimo Laneve Deadlock Detection in Linear Recursive Programs. Search on Bibsonomy SFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, José Miguel Rojas Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency. Search on Bibsonomy SFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski Verification of Concurrent Systems with VerCors. Search on Bibsonomy SFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lubos Brim, Milan Ceska Jr., David Safránek Model Checking of Biological Systems. Search on Bibsonomy SFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Boris Köpf, Andrey Rybalchenko Automation of Quantitative Information-Flow Analysis. Search on Bibsonomy SFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Diana-Elena Gratie, Bogdan Iancu, Ion Petre ODE Analysis of Biological Systems. Search on Bibsonomy SFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Jane Hillston Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. Search on Bibsonomy SFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Bernardo 0001, Erik P. de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.) Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures Search on Bibsonomy SFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jiannis K. Pachos Topological Quantum Computation. Search on Bibsonomy SFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio Model Transformations. Search on Bibsonomy SFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel Abstractions for Validation in Action. Search on Bibsonomy SFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dorina C. Petriu, Mohammad Alhaj, Rasha Tawhid Software Performance Modeling. Search on Bibsonomy SFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jordi Cabot, Martin Gogolla Object Constraint Language (OCL): A Definitive Guide. Search on Bibsonomy SFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bran Selic The Less Well Known UML - A Short User Guide. Search on Bibsonomy SFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Antonio Vallecillo, Martin Gogolla, Loli Burgueño, Manuel Wimmer, Lars Hamann Formal Specification and Testing of Model Transformations. Search on Bibsonomy SFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vittorio Cortellessa, Antinisca Di Marco, Catia Trubiani Software Performance Antipatterns: Modeling and Analysis. Search on Bibsonomy SFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Steffen Becker 0001 Model Transformations in Non-functional Analysis. Search on Bibsonomy SFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marco Bernardo 0001, Vittorio Cortellessa, Alfonso Pierantonio (eds.) Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures Search on Bibsonomy SFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer An Introduction to Model Versioning. Search on Bibsonomy SFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Suzana Andova, Mark G. J. van den Brand, Luc J. P. Engelen, Tom Verhoeff MDE Basics with a DSL Focus. Search on Bibsonomy SFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann 0002, Thomas Vogel 0001, Sebastian Wätzoldt Graph Transformations for MDE, Adaptation, and Models at Runtime. Search on Bibsonomy SFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paul Grace, Nikolaos Georgantas, Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Valérie Issarny, Massimo Paolucci, Rachid Saadi, Bertrand Souville, Daniel Sykes The CONNECT Architecture. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Bernardo 0001, 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 Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bengt Jonsson Learning of Automata Models Extended with Data. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jan Jürjens, Martín Ochoa, Holger Schmidt 0001, Loïc Marchal, Siv Hilde Houmb, Shareeful Islam Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Moschitti Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Automated Verification Techniques for Probabilistic Systems. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jan Tretmans Model-Based Testing and Some Steps towards Test-Based Modelling. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christel Baier, Joachim Klein 0001, Sascha Klüppelholz Modeling and Verification of Components and Connectors. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Valérie Issarny, Amel Bennaceur, Yérom-David Bromberg Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dave Clarke 0001, 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. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro Dependability and Performance Assessment of Dynamic CONNECTed Systems. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bernhard Steffen, Falk Howar, Maik Merten Introduction to Active Automata Learning from a Practical Perspective. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas Interoperability in Complex Distributed Systems. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dimitra Giannakopoulou, Corina S. Pasareanu Context Synthesis. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi Security and Trust. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paola Inverardi, Romina Spalazzese, Massimo Tivoli Application-Layer Connector Synthesis. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Probabilistic Semantics and Program Analysis. Search on Bibsonomy SFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Anne Broadbent, Joseph F. Fitzsimons, Elham Kashefi Measurement-Based and Universal Blind Quantum Computation. Search on Bibsonomy SFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pasquale Malacaria, Jonathan Heusser Information Theory and Security: Quantitative Information Flow. Search on Bibsonomy SFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Aldini, Marco Bernardo 0001, 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 Search on Bibsonomy SFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Katinka Wolter, Philipp Reinecke Performance and Security Tradeoff. Search on Bibsonomy SFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marco Bernardo 0001, 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 Search on Bibsonomy SFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Vasco Thudichum Vasconcelos Fundamentals of Session Types. Search on Bibsonomy SFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Allan Clark, Stephen Gilmore, Mirco Tribastone Quantitative Analysis of Web Services Using SRMC. Search on Bibsonomy SFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf Service Interaction: Patterns, Formalization, and Analysis. Search on Bibsonomy SFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Open Nets, Service Interaction Patterns, Verification, Service Orientation, Service Choreography
1Marco Carbone, Nobuko Yoshida, Kohei Honda Asynchronous Session Types: Exceptions and Multiparty Interactions. Search on Bibsonomy SFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luca Padovani Contract-Based Discovery and Adaptation of Web Services. Search on Bibsonomy SFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mario Bravetti, Gianluigi Zavattaro Contract-Based Discovery and Composition of Web Services. Search on Bibsonomy SFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roberto Bruni Calculi for Service-Oriented Computing. Search on Bibsonomy SFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Annapaola Marconi, Marco Pistore Synthesis and Composition of Web Services. Search on Bibsonomy SFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1François Fages, Sylvain Soliman Formal Cell Biology in Biocham. Search on Bibsonomy SFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Cristian Versari, Roberto Gorrieri pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. Search on Bibsonomy SFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus
1Carolyn L. Talcott Pathway Logic. Search on Bibsonomy SFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Symbolic systems biology, Pathway Logic, Epidermal Growth Factor signaling, rewriting logic, signal transduction
1Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini The Calculus of Looping Sequences. Search on Bibsonomy SFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Lorenzo Dematté, Corrado Priami, Alessandro Romanel The BlenX Language: A Tutorial. Search on Bibsonomy SFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Monika Heiner, David R. Gilbert, Robin Donaldson Petri Nets for Systems and Synthetic Biology. Search on Bibsonomy SFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marco Bernardo 0001, 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 Search on Bibsonomy SFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Federica Ciocchetta, Jane Hillston Process Algebras in Systems Biology. Search on Bibsonomy SFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gheorghe Paun, Francisco José Romero-Campero Membrane Computing as a Modeling Framework. Cellular Systems Case Studies. Search on Bibsonomy SFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Andrea Degasperi, Stephen Gilmore Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions. Search on Bibsonomy SFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Carsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher Hierarchical Modeling for Computational Biology. Search on Bibsonomy SFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model components, DEVS, hierarchical models, pi calculus, multi-level modeling
1Gianluigi Zavattaro A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form. Search on Bibsonomy SFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Davide Chiarugi, Pierpaolo Degano, Jan Bert Van Klinken, Roberto Marangoni Cells in Silico: A Holistic Approach. Search on Bibsonomy SFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Daniel T. Gillespie Simulation Methods in Systems Biology. Search on Bibsonomy SFM The full citation details ... 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
1Luca Bortolussi, Alberto Policriti Hybrid Systems and Biology. Search on Bibsonomy SFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1C. Murray Woodside From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms. Search on Bibsonomy SFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Bernardo 0001, 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 Search on Bibsonomy SFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone Stochastic Process Algebras. Search on Bibsonomy SFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gianfranco Ciardo Data Representation and Efficient Solution: A Decision Diagram Approach. Search on Bibsonomy SFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF edge-valued decision diagrams, binary decision diagrams, symbolic model checking, Kronecker algebra, multi-valued decision diagrams, state-space generation
1William J. Knottenbelt, Jeremy T. Bradley Tackling Large State Spaces in Performance Modelling. Search on Bibsonomy SFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1William J. Stewart Performance Modelling and Markov Chains. Search on Bibsonomy SFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gianfranco Balbo Introduction to Generalized Stochastic Petri Nets. Search on Bibsonomy SFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Simonetta Balsamo, Andrea Marin Queueing Networks. Search on Bibsonomy SFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Bernardo 0001 A Survey of Markovian Behavioral Equivalences. Search on Bibsonomy SFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Connie U. Smith Introduction to Software Performance Engineering: Origins and Outstanding Problems. Search on Bibsonomy SFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Performance patterns, Performance Antipattterns, SPE Process, Performance models, Performance prediction, Software Performance Engineering, SPE, Queueing Network Models
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Stochastic Model Checking. Search on Bibsonomy SFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Gribaudo, Miklós Telek Fluid Models in Performance Analysis. Search on Bibsonomy SFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Roberto Sebastiani Building Efficient Decision Procedures on Top of SAT Solvers. Search on Bibsonomy SFM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 139 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license