| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | 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 | Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa |
Hybrid Specification of Reactive Systems: An Institutional Approach. |
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 | Marco Mori, Fei Li, Christoph Dorn, Paola Inverardi, Schahram Dustdar |
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems. |
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 | Jaap Boender |
Efficient Computation of Dominance in Component Systems (Short Paper). |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. |
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 | Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem |
Runtime Verification of Component-Based Systems. |
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 | Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats |
Safe Distribution of Declarative Processes. |
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 | Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse |
Synchronizing Asynchronous Conformance Testing. |
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 | Andreas Eggers, Nacim Ramdani, Nedialko Nedialkov, Martin Fränzle |
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. |
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 | 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 | Emil Vassev, Mike Hinchey |
Developing Model-Checking Mechanisms for ASSL: An Experience Report. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer 0002 |
Context-Bounded Model Checking of LTL Properties for ANSI-C Software. |
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 | Edsko de Vries, Vasileios Koutavas |
Reverse Hoare Logic. |
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 | Radu Muschevici, José Proença, Dave Clarke |
Modular Modelling of Software Product Lines with Feature Nets. |
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 | Siavash Soleimanifard, Dilian Gurov, Marieke Huisman |
ProMoVer: Modular Verification of Temporal Safety Properties. |
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 | 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 | 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 | Matteo Pedercini |
Models and Communication in the Policy Process. |
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 | Jan Olaf Blech, Sidi Ould Biha |
Verification of PLC Properties Based on Formal Semantics in Coq. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pedercini |
Development Policy Analysis in Mali: Sustainable Growth Prospects. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns |
Formal Methods in Energy Informatics. |
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 | Natallia Kokash, Christian Krause, Erik P. de Vink |
Time and Data-Aware Analysis of Graphical Service Models in Reo. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Roberto Zunino |
Static Enforcement of Service Deadlines. |
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 | Dusko Pavlovic |
The Unreasonable Ineffectiveness of Security Engineering: An Overview. |
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 | Kun Wei, Jim Woodcock, Alan Burns |
A Timed Model of Circus with the Reactive Design Miracle. |
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 | Marie del Mar Gallardo, David Sanán |
Verification of Dynamic Data Tree with mu-calculus Extended with Separation. |
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 | Á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 | 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 | 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 | 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 | 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 | Davide Benetti, Massimo Merro, Luca Viganò |
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Goldsmith, Sadie Creese |
Refinement-Friendly Bigraphs and Spygraphs. |
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 | Haitao Dan, Robert M. Hierons, Steve Counsell |
Non-local Choice and Implied Scenarios. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiwu Xu, Lixiao Zheng, Haiming Chen |
A Toolkit for Generating Sentences from Context-Free Grammars. |
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 | 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 | Jiri Barnat, Lubos Brim, Petr Rockai |
Parallel Partial Order Reduction with Topological Sort Proviso. |
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 | Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi |
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 | Carlo Ghezzi |
Adaptive Software Needs Continuous Verification. |
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 | Kirsten Winter, Ian J. Hayes, Robert Colvin |
Integrating Requirements: The Behavior Tree Philosophy. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Faraz Hussain, Gary T. Leavens |
temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties. |
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 | Franz Weitl, Shin Nakajima, Burkhard Freitag |
Structured Counterexamples for the Temporal Description Logic ALCCTL. |
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 | Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet |
Designing Log Architectures for Legal Evidence. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Powell |
Behavior Engineering - A Scalable Modeling and Analysis Method. |
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 | Thai Son Hoang, Andreas Furst, Jean-Raymond Abrial |
Event-B Patterns and Their Tool Support. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Hummel, Judith Thyssen |
Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Goessler, Jean-Baptiste Raclet |
Modal Contracts for Component-Based Design. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Do Thi Bich Ngoc, Mizuhito Ogawa |
Overflow and Roundoff Error Analysis via Model Checking. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Ezekiel, Alessio Lomuscio |
An Automated Approach to Verifying Diagnosability in Multi-agent Systems. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ninh-Thuan Truong, Thanh-Binh Trinh, Viet Ha Nguyen |
Coordinated Consensus Analysis of Multi-agent Systems Using Event-B. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Colombo, Gordon J. Pace, Gerardo Schneider |
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jewgenij Botaschanjan, Alexander Harhurin |
Property-Driven Scenario Integration. |
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 |
|
| 1 | Guillaume Bonfante, Jean-Yves Marion, Daniel Reynaud-Plantey |
A Computability Perspective on Self-Modifying Programs. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thang H. Bui, Albert Nymeyer |
Heuristic Sensitivity in Guided Random-Walk Based Model Checking. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, Shinichi Honiden |
Specifying and Checking Refinement Relationships in VDM++. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dang Van Hung, Padmanabhan Krishnan (eds.) |
Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009 |
SEFM |
2009 |
DBLP BibTeX RDF |
|
| 1 | Prakash Chandrasekaran, Madhavan Mukund |
Specifying Interacting Components with Coordinated Concurrent Scenarios. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Bertolini, Alexandre Mota |
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dang Viet Dzung, Atsushi Ohnishi |
Ontology-Based Reasoning in Requirements Elicitation. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisabeth Lien, Peter Csaba Ölveczky |
Formal Modeling and Analysis of an IETF Multicast Protocol. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertrand Jeannet |
Relational Interprocedural Verification of Concurrent Programs. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Gianluigi Zavattaro |
Programming Sagas in SOCK. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alcino Cunha, Hugo Pacheco |
Mapping between Alloy Specifications and Database Implementations. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Manuel Núñez |
Simulation Relations for Systems with Distributed Interfaces. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Mercedes G. Merayo, Manuel Núñez |
Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John M. Rushby |
Software Verification and System Assurance. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi |
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahadevan Subramaniam, Bo Guo, Zoltán Pap |
Using Change Impact Analysis to Select Tests for Extended Finite State Machines. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Ferrara |
Checkmate: A Generic Static Analyzer of Java Multithreaded Programs. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa |
Refinement via Interpretation. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün |
Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Daum, Norbert Schirmer, Mareike Schmidt |
Implementation Correctness of a Real-Time Operating System. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")