Search results for "liveness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Wenbo He, Ying Huang, Klara Nahrstedt, Whay Chiou Lee	Alert propagation in mobile ad hoc networks.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2008	DBLP DOI BibTeX RDF
8	Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier	Applying CSP \|\| B to information systems.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Information systems, CSP, Compositional verification, B, Combining formalisms
8	Panagiotis Manolios, Sudarshan K. Srinivasan	A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
8	Rachid Guerraoui, Michal Kapalka, Petr Kouznetsov	The weakest failure detectors to boost obstruction-freedom.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Obstruction-free, Shared memory, Contention manager, Failure detector, Wait-free, Non-blocking
8	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	Model driven code checking.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Logic model checking, Embedded C code, Software verification, Spin model checker
8	Yuyue Du, Changjun Jiang, MengChu Zhou	A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems.	IEEE Trans. Syst. Man Cybern. Part C	2008	DBLP DOI BibTeX RDF
8	Zhiwu Li 0001, Mi Zhao	On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
8	Graeme Smith	Extending Formal Methods for Software-Intensive Systems.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF
8	Peter Höfner	Automated Reasoning for Hybrid Systems - Two Case Studies -.	RelMiCS	2008	DBLP DOI BibTeX RDF
8	Andreas Podelski	Verification, Least-Fixpoint Checking, Abstraction.	VSTTE	2008	DBLP DOI BibTeX RDF
8	Wilhelm Schäfer	Model Driven Development with Mechatronic UML.	Diagrams	2008	DBLP DOI BibTeX RDF
8	Yair Amir, Brian A. Coan, Jonathan Kirsch, John Lane	Byzantine replication under attack.	DSN	2008	DBLP DOI BibTeX RDF
8	Simplice Djoko Djoko, Rémi Douence, Pascal Fradet	Aspects preserving properties.	PEPM	2008	DBLP DOI BibTeX RDF	semantics, proof, temporal properties, aspect weaving
8	Sukhendu Kanrar, Sankhayan Choudhury, Nabendu Chaki	A Link-failure Resilient Token based Mutual Exclusion Algorithm for Directed Graph Topology.	ISPDC	2008	DBLP DOI BibTeX RDF
8	Tsutomu Kumazawa, Tetsuo Tamai	Iterative Model Fixing with Counterexamples.	APSEC	2008	DBLP DOI BibTeX RDF
8	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Masking Faults While Providing Bounded-Time Phased Recovery.	FM	2008	DBLP DOI BibTeX RDF	Bounded-time recovery, Phased recovery, Fault-tolerance, Real-time, Formal methods, Synthesis, Transformation
8	Ashutosh Gupta 0001, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu	Proving non-termination.	POPL	2008	DBLP DOI BibTeX RDF	non-termination, recurrent sets, model checking, testing, program verification
8	Anna Zaks, Rajeev Joshi	Verifying Multi-threaded C Programs with SPIN.	SPIN	2008	DBLP DOI BibTeX RDF
8	Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar	Survey on Directed Model Checking.	MoChArt	2008	DBLP DOI BibTeX RDF
8	Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger	Model-Checking omega-Regular Properties of Interval Markov Chains.	FoSSaCS	2008	DBLP DOI BibTeX RDF
8	Hong Feng Lai, J. L. Hong, Wang Han Jeng	Model E-contract Update by Coloured Activity Net.	APSCC	2008	DBLP DOI BibTeX RDF
8	Zhuoshi Wei, Xianchao Qiu, Zhenan Sun, Tieniu Tan	Counterfeit iris detection based on texture analysis.	ICPR	2008	DBLP DOI BibTeX RDF
8	Chuanliang Xia	Property Preservation by Petri-Net-Based Refinements in System Design.	ICYCS	2008	DBLP DOI BibTeX RDF
8	Ahlem Ben Younes, Leila Jemni Ben Ayed	From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications.	COMPSAC	2008	DBLP DOI BibTeX RDF	UML AD, workflow applications, Formal verification, Specification, Event B
8	Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh	Permissiveness in Transactional Memories.	DISC	2008	DBLP DOI BibTeX RDF
8	Guillermo Molina, Enrique Alba 0001	Wireless Sensor Network Deployment Using a Memetic Simulated Annealing.	SAINT	2008	DBLP DOI BibTeX RDF	Wireless Sensor Networks, metaheuristics
8	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Towards SMT Model Checking of Array-Based Systems.	IJCAR	2008	DBLP DOI BibTeX RDF
8	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora	Disassembling real-time fault-tolerant programs.	EMSOFT	2008	DBLP DOI BibTeX RDF	bounded-time recovery, component-based analysis, fault-tolerance, real-time, formal methods, decomposition
8	Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson	Modal Abstractions of Concurrent Behaviour.	SAS	2008	DBLP DOI BibTeX RDF
8	Baruch Awerbuch, Yossi Azar, Amir Epstein, Vahab S. Mirrokni, Alexander Skopalik	Fast convergence to nearly optimal solutions in potential games.	EC	2008	DBLP DOI BibTeX RDF	potential games, game theory, nash equilibrium, price of anarchy, congestion games, convergence time
8	Azadeh Farzan, Yu-Fang Chen 0001, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang	Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages.	TACAS	2008	DBLP DOI BibTeX RDF
8	Christoph Knieke, Michaela Huhn, Malte Lochau	Modeling and Validation of Executable Requirements Using Live Activity Diagrams.	SERA	2008	DBLP DOI BibTeX RDF	Unified Modeling Language, Requirements Engineering, Model Driven Engineering, Activity Diagrams, Live Sequence Charts
8	Nicolas Schiper, Fernando Pedone	Solving Atomic Multicast When Groups Crash.	OPODIS	2008	DBLP DOI BibTeX RDF
8	Chaogai Xue, Haiwang Cao	Dynamic Properties of Enterprise Information System Based on Formal Representation.	CSSE (2)	2008	DBLP DOI BibTeX RDF
8	Wilhelm Schäfer	Model driven development with mechatronic UML.	VL/HCC	2008	DBLP DOI BibTeX RDF
8	Sergey Tverdyshev, Eyad Alkassar	Efficient Bit-Level Model Reductions for Automated Hardware Verification.	TIME	2008	DBLP DOI BibTeX RDF
8	Clare Dixon, Michael Fisher 0001, Boris Konev, Alexei Lisitsa 0001	Practical First-Order Temporal Reasoning.	TIME	2008	DBLP DOI BibTeX RDF
8	Shankar Bhausaheb Nikam, Suneeta Agarwal	Gabor Filter-Based Fingerprint Anti-spoofing.	ACIVS	2008	DBLP DOI BibTeX RDF
8	Marco Carbone, Kohei Honda 0001, Nobuko Yoshida	Structured Interactional Exceptions in Session Types.	CONCUR	2008	DBLP DOI BibTeX RDF
8	Lucia Acciai, Michele Boreale	Spatial and Behavioral Types in the Pi-Calculus.	CONCUR	2008	DBLP DOI BibTeX RDF	behavioural type systems, pi-calculus, spatial logic
8	Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann	Environment Assumptions for Synthesis.	CONCUR	2008	DBLP DOI BibTeX RDF
8	Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau	Adapting Petri Nets Reductions to Promela Specifications.	FORTE	2008	DBLP DOI BibTeX RDF
8	Chao Yan 0001, Mark R. Greenstreet	Verifying an Arbiter Circuit.	FMCAD	2008	DBLP DOI BibTeX RDF
8	Wolfgang Thomas	Optimizing Winning Strategies in Regular Infinite Games.	SOFSEM	2008	DBLP DOI BibTeX RDF
8	Rachid Guerraoui, Michal Kapalka	On obstruction-free transactions.	SPAA	2008	DBLP DOI BibTeX RDF	transactional memory, obstruction-freedom, impossibility, consensus number
8	Luis Ceze, Christoph von Praun, Calin Cascaval, Pablo Montesinos, Josep Torrellas	Concurrency control with data coloring.	MSPC	2008	DBLP DOI BibTeX RDF	data coloring, concurrency control, programming model
8	Abhay Vardhan, Mahesh Viswanathan 0001	Learning to verify branching time properties.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Verification, Learning, CTL
8	Miguel Valero Espada, Jaco van de Pol	An abstract interpretation toolkit for µCRL.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	muCRL, Model checking, Abstract interpretation, Process algebra
8	Tobias Schüle, Klaus Schneider 0001	Bounded model checking of infinite state systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Temporal logic hierarchy, Global model checking, Local model checking, Bounded model checking, Infinite state systems
8	Maycel Isaac Faraj, Josef Bigün	Synergy of Lip-Motion and Acoustic Features in Biometric Speech and Speaker Recognition.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	normal image flow, normal image velocity, lip motion, SVM, motion estimation, biometrics, Speech recognition, GMM, speaker recognition, lip reading
8	Lucia Pallottino, Vincenzo Giovanni Scordio, Antonio Bicchi, Emilio Frazzoli	Decentralized Cooperative Policy for Conflict Resolution in Multivehicle Systems.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
8	Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham	Improved verification of hardware designs through antecedent conditioned slicing.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	LTL property, Antecedent conditioned slicing, Verilog RTL, Model checking, Program slicing, Hardware description languages, Hardware verification
8	Raed T. Al-Zubi, Dia I. Abu-Al-Nadi	Automated personal identification system based on human iris analysis.	Pattern Anal. Appl.	2007	DBLP DOI BibTeX RDF	Human iris, 1D Log-Gabor filter, Template matching, Personal identification
8	Abhishek Dubey, Steven Nordstrom, Turker Keskinpala, Sandeep Neema, Ted Bapty, Gabor Karsai	Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems.	Innov. Syst. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Fault mitigation, Healing, Fault tolerance, Real time systems, Model checking, Autonomic computing, Timed automaton, Reflex
8	Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley	Specifying real-time properties in autonomic systems.	Innov. Syst. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Model checking, Adaptation, Temporal logic, Autonomic systems, Timing properties
8	Gang Pan 0001, Lin Sun, Zhaohui Wu 0001, Shihong Lao	Eyeblink-based Anti-Spoofing in Face Recognition from a Generic Webcamera.	ICCV	2007	DBLP DOI BibTeX RDF
8	David Zhang 0001, Zhi Liu, Jingqi Yan, Pengfei Shi	Tongue-Print: A Novel Biometrics Pattern.	ICB	2007	DBLP DOI BibTeX RDF	tongue-print, verification, Biometrics
8	Lin Sun, Gang Pan 0001, Zhaohui Wu 0001, Shihong Lao	Blinking-Based Live Face Detection Using Conditional Random Fields.	ICB	2007	DBLP DOI BibTeX RDF
8	Dereje Teferi, Josef Bigün	Pyramid Based Interpolation for Face-Video Playback in Audio Visual Recognition.	ICB	2007	DBLP DOI BibTeX RDF
8	Kishori M. Konwar, Peter M. Musial, Nicolas C. Nicolaou, Alexander A. Shvartsman	Implementing Atomic Data through Indirect Learning in Dynamic Networks.	NCA	2007	DBLP DOI BibTeX RDF
8	Byron Cook	Automatically Proving Program Termination.	CAV	2007	DBLP DOI BibTeX RDF
8	Chiheb Ameur Abid, Belhassen Zouari	A distributed verification approach for modular Petri nets.	SCSC	2007	DBLP BibTeX RDF	verification, Petri net, distributed, analysis
8	Hillel Kugler, Cory Plock, Amir Pnueli	Synthesizing reactive systems from LSC requirements using the play-engine.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	reactive systems, live sequence charts, controller synthesis
8	David Lo 0001, Shahar Maoz, Siau-Cheng Khoo	Mining modal scenarios from execution traces.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	live sequence charts, specification mining, UML sequence diagrams
8	Yiming Lau, Wenyun Zhao, Xin Peng 0001, Zhixiong Jiang, Liwei Shen	Coordination-Policy Based Composed System Behavior Derivation.	APSEC	2007	DBLP DOI BibTeX RDF
8	Indranil Saha, Debapriyay Mukhopadhyay	A Distributed Algorithm of Fault Recovery for Stateful Failover.	TAMC	2007	DBLP DOI BibTeX RDF	stateful failover, verification of programs, distributed algorithm, SPIN model checker
8	Sami Evangelista, Christophe Pajault	Some Solutions to the Ignoring Problem.	SPIN	2007	DBLP DOI BibTeX RDF	explicit model checking, ignoring problem, cycle proviso, partial order reduction
8	Radek Pelánek	BEEM: Benchmarks for Explicit Model Checkers.	SPIN	2007	DBLP DOI BibTeX RDF
8	Laura Recalde, Serge Haddad, Manuel Silva Suárez	Continuous Petri Nets: Expressive Power and Decidability Issues.	ATVA	2007	DBLP DOI BibTeX RDF
8	Indranil Saha, Janardan Misra, Suman Roy 0001	Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems.	ATVA	2007	DBLP DOI BibTeX RDF
8	Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin	On the Efficient Computation of the Minimal Coverability Set for Petri Nets.	ATVA	2007	DBLP DOI BibTeX RDF
8	Martin Berger 0001, Nobuko Yoshida	Timed, Distributed, Probabilistic, Typed Processes.	APLAS	2007	DBLP DOI BibTeX RDF
8	Philip Brisk, Majid Sarrafzadeh	Interference graphs for procedures in static single information form are interval graphs.	SCOPES	2007	DBLP DOI BibTeX RDF	k-colorable subgraph problem, linear scan register allocation, static single information (SSI) form, compilers, register allocation, interval graph
8	François de Ferrière	Improvements to the Psi-SSA representation.	SCOPES	2007	DBLP DOI BibTeX RDF
8	Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski	Modal I/O Automata for Interface and Product Line Theories.	ESOP	2007	DBLP DOI BibTeX RDF
8	Ricardo V. Oliveira, Beichuan Zhang 0001, Lixia Zhang 0001	Observing the evolution of internet as topology.	SIGCOMM	2007	DBLP DOI BibTeX RDF	internet topology, topology evolution
8	Quan Phan, Gerda Janssens	Static Region Analysis for Mercury.	ICLP	2007	DBLP DOI BibTeX RDF
8	Ralph Mueller, Christos Alexopoulos, Leon F. McGinnis	Automatic generation of simulation models for semiconductor manufacturing.	WSC	2007	DBLP DOI BibTeX RDF
8	Kamel Barkaoui, Awatef Hicheur	Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF	Recursive Petri nets, Flexible collaborative workflow, Rewriting logic
8	Dereje Teferi, Maycel Isaac Faraj, Josef Bigün	Text Driven Face-Video Synthesis Using GMM and Spatial Correlation.	SCIA	2007	DBLP DOI BibTeX RDF
8	Gerard J. Holzmann, Dragan Bosnacki	Multi-Core Model Checking with SPIN.	IPDPS	2007	DBLP DOI BibTeX RDF
8	Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel	Model checking service compositions under resource constraints.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	web services, validation, BPEL4WS, resource modelling
8	Muhammad Khurram Khan, Jiashu Zhang	An Intelligent Fingerprint-Biometric Image Scrambling Scheme.	ICIC (2)	2007	DBLP DOI BibTeX RDF
8	José R. Celaya, Alan A. Desrochers, Robert J. Graves	Modeling and analysis of multi-agent systems using petri nets.	SMC	2007	DBLP DOI BibTeX RDF
8	Qiao Haiyan	Testing and Proving Distributed Algorithms in Constructive Type Theory.	TAP	2007	DBLP DOI BibTeX RDF
8	Moshe Y. Vardi	The Büchi Complementation Saga.	STACS	2007	DBLP DOI BibTeX RDF
8	Hongjiang Gao, Zheng Qin, Li-Ping Shao, Xingchen Heng	Specifying and Verifying Cases Retrieval System Combining Event B and Spin.	ICSC	2007	DBLP DOI BibTeX RDF
8	Raid Ayoub, Alex Orailoglu	Power efficient register file update approach for embedded processors.	ICCD	2007	DBLP DOI BibTeX RDF
8	Philippe Bidinger, Adriana B. Compagnoni	Pict Correctness Revisited.	FMOODS	2007	DBLP DOI BibTeX RDF
8	John Mullins, Raveca Oarga	Model Checking of Extended OCL Constraints on UML Models in SOCLe.	FMOODS	2007	DBLP DOI BibTeX RDF
8	Xiangang Zhao, Bai Wang 0001, Liutong Xu	Grid Application Scheduling Model Based on Petri Net with Changeable Structure.	GCC	2007	DBLP DOI BibTeX RDF
8	Jerzy Brzezinski, Anna Kobusinska, Jacek Kobusinski	On the Optimality of Rollback-Recovery Protocol Preserving Session Guarantees.	ISPA	2007	DBLP DOI BibTeX RDF	fault tolerance, optimality, mobile systems, rollback-recovery, session guarantees
8	Mila E. Majster-Cederbaum, Moritz Martens	Robustness in Interaction Systems.	FORTE	2007	DBLP DOI BibTeX RDF
8	David Lo 0001, Shahar Maoz, Siau-Cheng Khoo	Mining modal scenario-based specifications from execution traces of reactive systems.	ASE	2007	DBLP DOI BibTeX RDF	dynamic analysis, live sequence charts, specification mining, UML sequence diagrams
8	Letu Yang, Michael Poppleton	Automatic Translation from Combined B and CSP Specification to Java Programs.	B	2007	DBLP DOI BibTeX RDF
8	Björn Wachter, Bernd Westphal	The Spotlight Principle.	VMCAI	2007	DBLP DOI BibTeX RDF
8	Michel Raynal, Gadi Taubenfeld	The notion of a timed register and its application to indulgent synchronization.	SPAA	2007	DBLP DOI BibTeX RDF	test&set, timing assumption, universal object, wait-free implementation, consensus, mutual exclusion, timing constraint, contention manager, process crash, simplicity, atomic register, renaming, concurrent object, asynchronous shared memory system
8	Byron Cook	Automatically Proving Concurrent Programs Correct.	SEFM	2007	DBLP DOI BibTeX RDF
8	Indranil Saha, Suman Roy 0001, Kuntal Chakraborty	Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar.	SEFM	2007	DBLP DOI BibTeX RDF
8	Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse	Runtime monitoring of web service conversations.	CASCON	2007	DBLP DOI BibTeX RDF