| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Raluca Lefticaru, Florentin Ipate |
An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms.  |
SEFM  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski |
Frama-C - A Software Analysis Perspective. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Durica Nikolic, Corrado Priami, Roberto Zunino |
A Rule-Based and Imperative Language for Biochemical Modeling and Simulation. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Ayrault, Vincent Benayoun, Catherine Dubois, François Pessaux |
ML Dependency Analysis for Assessors. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He 0001 |
A Denotational Model for Instantaneous Signal Calculus. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Matichuk, Toby C. Murray |
Extensible Specifications for Automatic Re-use of Specifications and Proofs. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu |
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Ferrara 0001, Raphael Fuchs, Uri Juhasz |
TVAL+ : TVLA and Value Analyses Together. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Crystal Chang Din, Johan Dovland, Olaf Owe |
Compositional Reasoning about Shared Futures. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang J. Paul, Sabine Schmaltz, Andrey Shadrin |
Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira |
Implementing Tactics of Refinement in CRefine. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitris Dranidis, Konstantinos Bratanis, Florentin Ipate |
JSXM: A Tool for Automated Test Generation. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cliff B. Jones |
Abstraction as a Unifying Link for Formal Approaches to Concurrency. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh |
A Systematic Approach to Atomicity Decomposition in Event-B. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks |
A Low-Overhead, Value-Tracking Approach to Information Flow Security. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Petr Bauch, Lubos Brim |
Checking Sanity of Software Requirements. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini 0001 |
Securely Accessing Shared Resources with Concurrent Constraint Programming. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles |
A Timed Mobility Semantics Based on Rewriting Strategies. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Islam Abdelhalim, Steve A. Schneider, Helen Treharne |
An Optimization Approach for Effective Formalized fUML Model Checking. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Visar Januzaj, Stefan Kugele, Florian Biechele, Ralf Mauersberger |
A Configuration Approach for IMA Systems. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.) |
Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi |
Efficient Probabilistic Abstraction for SysML Activity Diagrams. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman |
Sound Control-Flow Graph Extraction for Java Programs with Exceptions. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro |
Towards a Formal Component Model for the Cloud. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Colombo 0001, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace |
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Brett Bicknell, Jose Reis, Michael J. Butler, John Colley, Colin F. Snook |
A Practical Approach for Closed Systems Formal Verification Using Event-B. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Qinglei Zhang, Ridha Khédri, Jason Jaskolka |
Verification of Aspectual Composition in Feature-Modeling. |
SEFM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre |
dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Madeira, José M. Faria, Manuel A. Martins 0001, Luís Soares Barbosa |
Hybrid Specification of Reactive Systems: An Institutional Approach. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer 0001 |
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias |
A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaap Boender |
Efficient Computation of Dominance in Component Systems (Short Paper). |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.) |
Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Corral, Daniel Calegari |
Towards an Agent-Based Methodology for Developing Agro-Ecosystem Simulations. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif |
Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow |
Broadcast Psi-calculi with an Application to Wireless Protocols. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Le Métayer |
Formal Methods as a Link between Software Code and Legal Rules. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Olaf Blech, Sidi Ould Biha |
Verification of PLC Properties Based on Formal Semantics in Coq. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hefeng Tong, Weishuang Qu |
Energy Consumption and CO2 Emissions of Beijing Heating System: Based on a System Dynamics Model. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pedercini |
Development Policy Analysis in Mali: Sustainable Growth Prospects. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer 0002 |
Context-Bounded Model Checking of LTL Properties for ANSI-C Software. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats |
Safe Distribution of Declarative Processes. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Imene Ben Hafaiedh, Susanne Graf, Nejla Mazouz |
Distributed Implementation of Systems with Multiparty Interactions and Priorities. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edsko de Vries, Vasileios Koutavas |
Reverse Hoare Logic. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pedercini |
Models and Communication in the Policy Process. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi 0001, Tim A. C. Willemse |
Synchronizing Asynchronous Conformance Testing. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Mori, Fei Li 0002, Christoph Dorn 0001, Paola Inverardi, Schahram Dustdar |
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Tong, Siraj A. Shaikh, Anne E. James |
A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle |
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yliès Falcone, Mohamad Jaber 0001, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem |
Runtime Verification of Component-Based Systems. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya |
Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Vassev, Mike Hinchey |
Developing Model-Checking Mechanisms for ASSL: An Experience Report. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisa Analía Sánchez |
Using System Dynamics to Assess the Role of Socio-economic Status in Tuberculosis Incidence. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Gabriela Garis, Alcino Cunha, Daniel Riesco |
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Claire Le Goues, K. Rustan M. Leino, Michal Moskal |
The Boogie Verification Debugger (Tool Paper). |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Muschevici, José Proença, Dave Clarke 0001 |
Modular Modelling of Software Product Lines with Feature Nets. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Siavash Soleimanifard, Dilian Gurov, Marieke Huisman |
ProMoVer: Modular Verification of Temporal Safety Properties. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bubel, Reiner Hähnle, Ulrich Geilmann |
A Formalisation of Java Strings for Program Specification and Verification. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois |
Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám |
Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Manuel Crespo, César Kunz |
A Machine-Checked Framework for Relational Separation Logic. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns |
Formal Methods in Energy Informatics. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Roberto Zunino |
Static Enforcement of Service Deadlines. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirsten Winter, Ian J. Hayes, Robert Colvin |
Integrating Requirements: The Behavior Tree Philosophy. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kun Wei, Jim Woodcock 0001, Alan Burns 0001 |
A Timed Model of Circus with the Reactive Design Miracle. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage |
Safety Assessment Using Behavior Trees and Model Checking. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings |
TART: Timed-Automata to Real-Time Java Tool. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, David Sanán |
Verification of Dynamic Data Tree with mu-calculus Extended with Separation. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
Assertion-based Slicing and Slice Graphs. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet |
Designing Log Architectures for Legal Evidence. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli |
Testing Web Service Orchestrators in Context: A Symbolic Approach. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Petr Rockai |
Parallel Partial Order Reduction with Topological Sort Proviso. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitra Giannakopoulou |
"Fly Me to the Moon": Verification of Aerospace Systems. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison |
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ábel Hegedüs, Gábor Bergmann, István Ráth, Dániel Varró |
Back-annotation of Simulation Traces with Change-Driven Model Transformations. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusko Pavlovic |
The Unreasonable Ineffectiveness of Security Engineering: An Overview. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximiliano Cristiá, Pablo Albertengo, Pablo Rodríguez Monetti |
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi 0001 |
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet |
Assessing the Quality of B Models. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Göthel, Sabine Glesner |
Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan J. Galler, Martin Weiglhofer, Franz Wotawa |
Synthesize It: From Design by Contract to Meaningful Test Input Data. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Natallia Kokash, Christian Krause 0001, Erik P. de Vink |
Time and Data-Aware Analysis of Graphical Service Models in Reo. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter A. Lindsay |
Behavior Trees: From Systems Engineering to Software Engineering. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Scanniello, Michele Risi, Genoveffa Tortora |
Architecture Recovery Using Latent Semantic Indexing and K-Means: An Empirical Evaluation. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Tudose, Radu Opria |
A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Haitao Dan, Robert M. Hierons, Steve Counsell |
Non-local Choice and Implied Scenarios. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiwu Xu 0001, Lixiao Zheng, Haiming Chen |
A Toolkit for Generating Sentences from Context-Free Grammars. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilia Katz, Shmuel Katz |
User Queries for Specification Refinement Treating Shared Aspect Join Points. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle |
Combinatorial Testing for VDM. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Goldsmith, Sadie Creese |
Refinement-Friendly Bigraphs and Spygraphs. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Faraz Hussain 0001, Gary T. Leavens |
temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Ghezzi |
Adaptive Software Needs Continuous Verification. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Weitl, Shin Nakajima 0001, Burkhard Freitag |
Structured Counterexamples for the Temporal Description Logic ALCCTL. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Leuxner, Wassiou Sitou, Bernd Spanfelner |
A Formal Model for Work Flows. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Powell |
Behavior Engineering - A Scalable Modeling and Analysis Method. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Benetti, Massimo Merro, Luca Viganò 0001 |
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini (eds.) |
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010 |
SEFM |
2010 |
DBLP BibTeX RDF |
|
| 1 | Prakash Chandrasekaran, Madhavan Mukund |
Specifying Interacting Components with Coordinated Concurrent Scenarios. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Gianluigi Zavattaro |
Programming Sagas in SOCK. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Duc-Hanh Dang, Martin Gogolla |
Precise Model-Driven Transformations Based on Graphs and Metamodels. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license