Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Paul Johnson, Ehsan Nourbakhsh, T. Ryan Burchfield, Jeff Dix, Ravi Prakash 0001, Subbarayan Venkatesan, Neeraj Mittal |
ASSERT: Advanced wireleSS Environment Research Testbed. |
SenSys |
2009 |
DBLP DOI BibTeX RDF |
wireless, sensor, testbeds, ASSERT |
50 | David Harel, Shahar Maoz |
Assert and negate revisited: Modal semantics for UML sequence diagrams. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
UML Interactions, Standardization, Formal semantics, Sequence diagrams, Live sequence charts |
50 | Kara L. Nance, Brian Hay, Christopher Hecker |
Promoting Digital Forensics Awareness through the University of Alaska Fairbanks ASSERT Center. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
38 | David Harel, Shahar Maoz |
Assert and negate revisited: modal semantics for UML sequence diagrams. |
SCESM |
2006 |
DBLP DOI BibTeX RDF |
inter-object approach, UML, semantics, specification, scenarios, sequence diagrams, live sequence charts, visual formalisms |
38 | Jack Brassil |
Using Mobile Communications to Assert Privacy from Video Surveillance. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Alexander Brodsky 0001, Hadon Nash |
CoJava: Optimization Modeling by Nondeterministic Simulation. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Yuwei Zhang 0003, Zhi Jin, Zejun Wang, Ying Xing, Ge Li |
SAGA: Summarization-Guided Assert Statement Generation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Alex Mei, Sharon Levy, William Yang Wang |
ASSERT: Automated Safety Scenario Red Teaming for Evaluating the Robustness of Large Language Models. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Yisong Liu, Toerless Eckert, Mike McBride, Zheng (Sandy) Zhang |
PIM Assert Message Packing. |
RFC |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Sherae L. Daniel, Likoebe M. Maruping, Renzhi Fred Zhao, Truong (Jack) P. Luu |
To Assert or Defend My Role as an OSS Developer: How IT Infrastructure Access Changes the Effect of Digital Platform Behavior on Firm Mobility. |
AMCIS |
2023 |
DBLP BibTeX RDF |
|
26 | Alex Mei, Sharon Levy, William Yang Wang |
ASSERT: Automated Safety Scenario Red Teaming for Evaluating the Robustness of Large Language Models. |
EMNLP (Findings) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Railana Santana, Luana Almeida Martins, Tássio Virgínio, Larissa Rocha Soares, Heitor A. X. Costa, Ivan Machado |
Refactoring Assertion Roulette and Duplicate Assert test smells: a controlled experiment. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Fahed Alkhabbas, Mohammed Alsadi, Sadi Alawadi, Feras M. Awaysheh, Victor R. Kebande, Mahyar Tourchi Moghaddam |
ASSERT: A Blockchain-Based Architectural Approach for Engineering Secure Self-Adaptive IoT Systems. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Railana Santana, Luana Almeida Martins, Tássio Virgínio, Larissa Rocha Soares, Heitor A. X. Costa, Ivan Machado |
Refactoring Assertion Roulette and Duplicate Assert test smells: a controlled experiment. |
CIBSE |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Michele Tufano, Dawn Drain, Alexey Svyatkovskiy, Neel Sundaresan |
Generating Accurate Assert Statements for Unit Test Cases using Pretrained Transformers. |
AST@ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Steve Counsell, Tracy Hall, Thomas Shippey, David Bowes, Amjed Tahir, Stephen G. MacDonell |
Assert Use and Defectiveness in Industrial Code. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
26 | Ayush Kaushal, Avirup Saha, Niloy Ganguly |
tWT-WT: A Dataset to Assert the Role of Target Entities for Detecting Stance of Tweets. |
NAACL-HLT |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Nils Ehrenberg, Turkka Keinonen |
The Technology Is Enemy for Me at the Moment: How Smart Home Technologies Assert Control Beyond Intent. |
CHI |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Robert White, Jens Krinke |
ReAssert: Deep Learning for Assert Generation. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
26 | Cody Watson, Michele Tufano, Kevin Moran, Gabriele Bavota, Denys Poshyvanyk |
On Learning Meaningful Assert Statements for Unit Test Cases. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
26 | Michele Tufano, Dawn Drain, Alexey Svyatkovskiy, Neel Sundaresan |
Generating Accurate Assert Statements for Unit Test Cases using Pretrained Transformers. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
26 | Railana Santana, Luana Almeida Martins, Larissa Rocha 0001, Tássio Virgínio, Adriana Cruz, Heitor A. X. Costa, Ivan Machado |
RAIDE: a tool for Assertion Roulette and Duplicate Assert identification and refactoring. |
SBES |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Cody Watson, Michele Tufano, Kevin Moran, Gabriele Bavota, Denys Poshyvanyk |
On learning meaningful assert statements for unit test cases. |
ICSE |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Cheng-I Lai, Nanxin Chen, Jesús Villalba 0001, Najim Dehak |
ASSERT: Anti-Spoofing with Squeeze-Excitation and Residual neTworks. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
26 | Ahmet Okutan, Shanchieh Jay Yang |
ASSERT: attack synthesis and separation with entropy redistribution towards predictive cyber defense. |
Cybersecur. |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Cheng-I Lai, Nanxin Chen, Jesús Villalba 0001, Najim Dehak |
ASSERT: Anti-Spoofing with Squeeze-Excitation and Residual Networks. |
INTERSPEECH |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Cong Wang 0020, Yu Jiang 0001, Xibin Zhao, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001 |
Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. |
ICSE (Companion Volume) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Andrew W. Crapo, Abha Moitra, Craig McMillan, Daniel Russell |
Requirements Capture and Analysis in ASSERT(TM). |
RE |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Steve Counsell, Tracy Hall, Thomas Shippey, David Bowes, Amjed Tahir, Stephen G. MacDonell |
Assert Use and Defectiveness in Industrial Code. |
ISSRE Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Pavneet Singh Kochhar, David Lo 0001 |
Revisiting Assert Use in GitHub Projects. |
EASE |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Casey Casalnuovo, Premkumar T. Devanbu, Abílio Oliveira, Vladimir Filkov, Baishakhi Ray |
Assert Use in GitHub Projects. |
ICSE (1) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Cheng Li, Philip Shilane, Fred Douglis, Darren Sawyer, Hyong Shim |
Assert(!Defined(Sequential I/O)). |
HotStorage |
2014 |
DBLP BibTeX RDF |
|
26 | James Segedy, Kirk M. Loretz, Gautam Biswas |
Suggest-Assert-Modify: A Taxonomy of Adaptive Scaffolds in Computer-Based Learning Environments. |
AIED Workshops |
2013 |
DBLP BibTeX RDF |
|
26 | Owen Sacco, John G. Breslin |
"I Like" - Analysing Interactions within Social Networks to Assert the Trustworthiness of Users, Sources and Content. |
SocialCom |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Alex Groce, Martin Erwig |
Finding common ground: choose, assert, and assume. |
WODA |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Ehsan Nourbakhsh, T. Ryan Burchfield, S. Venkatesan 0001, Neeraj Mittal, Ravi Prakash 0001 |
Enhancing ASSERT: making an accurate testbed friendly. |
WiNTECH@MOBICOM |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Juan Zamorano, Juan Antonio de la Puente |
Design and implementation of real-time distributed systems with the ASSERT Virtual Machine. |
ETFA |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Ehsan Nourbakhsh, Jeff Dix, Paul Johnson, T. Ryan Burchfield, S. Venkatesan 0001, Neeraj Mittal, Ravi Prakash 0001 |
ASSERT: A Wireless Networking Testbed. |
TRIDENTCOM |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Tullio Vardanega |
Property Preservation and Composition with Guarantees: From ASSERT to CHESS. |
ISORC |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Grant Martin |
Learning to assert yourself [review of Creating Assertion-Based IP (H.D. Foster and A.C. Krolnik; 2008)]. |
IEEE Des. Test Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Mass Soldal Lund, Ketil Stølen |
Deriving Tests from UML 2.0 Sequence Diagrams with neg and assert. |
AST |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Hans-Joachim Lenz, Veit Köppen, Roland M. Müller |
Edits - Data Cleansing at the Data Entry to assert semantic Consistency of metric Data. |
SSDBM |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Chi-Ren Shyu, Carla E. Brodley, Avinash C. Kak, Akio Kosaka, Alex M. Aisen, Lynn S. Broderick |
ASSERT: A Physician-in-the-Loop Content-Based Retrieval System for HRCT Image Databases. |
Comput. Vis. Image Underst. |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sharon Simmons, Phil Kearns |
A Causal Assert Statement for Distributed Systems. |
Parallel and Distributed Computing and Systems |
1995 |
DBLP BibTeX RDF |
|
26 | Scott Dietzen, Frank Pfenning |
A Declarative Alternative to "Assert" in Logic Programming. |
ISLP |
1991 |
DBLP BibTeX RDF |
|
26 | J. F. Dazy, J. M. Pozas |
Décompilation de clauses, Traitement des predicats assert/1, retract/1, clause/2, ...: Pour une implantation compilée de "tout" Prolog. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
26 | Robert M. Colomb |
Assert, Retract and External Processes in Prolog. |
Softw. Pract. Exp. |
1988 |
DBLP DOI BibTeX RDF |
|
26 | David Matuszek |
The case for the assert statement. |
ACM SIGPLAN Notices |
1976 |
DBLP DOI BibTeX RDF |
|
23 | Endre Bangerter, Maksim Djackov, Ahmad-Reza Sadeghi |
A Demonstrative Ad Hoc Attestation System. |
ISC |
2008 |
DBLP DOI BibTeX RDF |
Kiosk computing, platform integrity, smart cards, Trusted computing, attestation |
23 | Qing Xie 0003, Atif M. Memon |
Designing and comparing automated test oracles for GUI-based software applications. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
GUI state, user interfaces, graphical user interfaces, widgets, Test oracles, GUI testing |
23 | Andrea Hoplight Tapia, Magy Seif El-Nasr, Ibrahim Yucel, Joseph A. Zupko, Edgar A. Maldonado |
Building Virtual Spaces. (PDF / PS) |
Virtuality and Virtualization |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Rodolfo Gómez 0001, Howard Bowman |
Efficient Detection of Zeno Runs in Timed Automata. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
Zeno Runs, Model-checking, Timed Automata, Uppaal |
23 | Alexander Brodsky 0001, Hadon Nash |
CoJava: a unified language for simulation and optimization. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
simulation, optimization, constraints |
23 | Panagiotis Manolios, Richard J. Trefler |
A lattice-theoretic characterization of safety and liveness. |
PODC |
2003 |
DBLP DOI BibTeX RDF |
|
23 | K. Chandra Sekharaiah, D. Janaki Ram |
Object Schizophrenia Problem in Object Role System Design. |
OOIS |
2002 |
DBLP DOI BibTeX RDF |
Object Schizophrenia (OS), Object Schizophrenia Problem (OSP), Role Modeling Problem (RMP), Subject Oriented Programming (SOP), Whole-Part Association (WPA), Role Paradigm Conformance Model (RPCM) |
23 | Nicholas C. Romano Jr. |
E-Commerce Customer Relations Management - Minitrack Introduction. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
|
23 | François Jacquenet, Irène Foucherot |
A new logical view of knowledge manipulation with PROLOG. |
ANZIIS |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Yacov Yacobi, Zahava Shmuely |
On Key Distribution Systems. |
CRYPTO |
1989 |
DBLP DOI BibTeX RDF |
|
12 | Gernot Heiser, Ben Leslie |
The OKL4 microvisor: convergence point of microkernels and hypervisors. |
ApSys |
2010 |
DBLP DOI BibTeX RDF |
real-time systems, embedded systems, virtual machines, hypervisors, microkernels |
12 | Carl Friedrich Bolz, Michael Leuschel, David Schneider 0001 |
Towards a jitting VM for prolog execution. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
logic programming, interpreters, partial evaluation, jit |
12 | Maithili Narasimha, John Solis, Gene Tsudik |
Privacy-preserving revocation checking. |
Int. J. Inf. Sec. |
2009 |
DBLP DOI BibTeX RDF |
Privacy-preserving revocation checking, Anonymity and privacy, Certificate revocation trees, Revocation, Certificate revocation lists |
12 | Nader Ghasemi, Subhrakanti Dey |
A Constrained MDP Approach to Dynamic Quantizer Design for HMM State Estimation. |
IEEE Trans. Signal Process. |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Andreas Klenk, Holger Kinkelin, Christoph Eunicke, Georg Carle |
Preventing identity theft with electronic identity cards and the trusted platform module. |
EUROSEC |
2009 |
DBLP DOI BibTeX RDF |
authentication with TPM, electronic ID, identity system |
12 | Angelos Stavrou, Gabriela F. Cretu-Ciocarlie, Michael E. Locasto, Salvatore J. Stolfo |
Keep your friends close: the necessity for updating an anomaly sensor with legitimate environment changes. |
AISec |
2009 |
DBLP DOI BibTeX RDF |
anomaly detection, concept drift, model update |
12 | Sanjay Rawat 0001, Ashutosh Saxena |
Danger theory based SYN flood attack detection in autonomic network. |
SIN |
2009 |
DBLP DOI BibTeX RDF |
syn flood attack, intrusion detection, artificial immune system, adaptive threshold, autonomic networks, danger theory |
12 | Marie-Hélène Gorisse |
The Art of Non-asserting: Dialogue with Nagarjuna. |
ICLA |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Robert G. Abbott, J. Chris Forsythe |
Characterizing Cognitive Adaptability via Robust Automated Knowledge Capture. |
HCI (16) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Sebastian Fleissner, Elisa L. A. Baniassad |
Harmony-oriented programming and software evolution. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
resonance, harmony |
12 | Guenther Starnberger, Lorenz Froihofer, Karl M. Göschka |
QR-TAN: Secure Mobile Transaction Authentication. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
12 | James T. Yeh |
The Many Colors and Shapes of Cloud. |
CloudCom |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Weikuan Yu, Oleg Drokin, Jeffrey S. Vetter |
Design, implementation, and evaluation of transparent pNFS on Lustre. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Julie L. Baher, Bill Westerman |
The usability of creativity: experts v. novices. |
Creativity & Cognition |
2009 |
DBLP DOI BibTeX RDF |
photoshop, usability, software, creativity |
12 | Felienne Hermans, Martin Pinzger 0001, Arie van Deursen |
Domain-Specific Languages in Practice: A User Study on the Success Factors. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Muhammad Ali Babar 0001, He Zhang 0001 |
Systematic literature reviews in software engineering: Preliminary results from interviews with researchers. |
ESEM |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Ken C. K. Lee, Wang-Chien Lee, Hong Va Leong, Brandon Unger, Baihua Zheng |
Efficient valid scope computation for location-dependent spatial queries in mobile and wireless environments. |
ICUIMC |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Vítor Santos Costa |
On Just in Time Indexing of Dynamic Predicates in Prolog. |
EPIA |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Michael Zoumboulakis, George Roussos |
Estimation of Pollutant-Emitting Point-Sources Using Resource-Constrained Sensor Networks. |
GSN |
2009 |
DBLP DOI BibTeX RDF |
Source Localisation, Spatial Event Detection, Kalman Filters, Estimation |
12 | Ajay Chakravarthy, Richard Beales, Paul Walland, Angelos Yannopoulos |
ANSWER: A Semantic Approach to Film Direction. |
ICIW |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Klaus G. Troitzsch |
Perspectives and challenges of agent-based simulation as a tool for economics and other social sciences. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
level hierarchy, social systems simulation, simulation, agents, complex system, role, social system |
12 | Shih-Chieh Wu, Chun-Yao Wang, Yung-Chih Chen |
Novel Probabilistic Combinational Equivalence Checking. |
IEEE Trans. Very Large Scale Integr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Do Young Eun, Xinbing Wang |
Achieving 100% throughput in TCP/AQM under aggressive packet marking with small buffer. |
IEEE/ACM Trans. Netw. |
2008 |
DBLP DOI BibTeX RDF |
router buffer sizing, small buffer, transmission control protocol, TCP/IP, stochastic modeling |
12 | Nan Jin, Scott Jordan |
On the feasibility of dynamic congestion-based pricing in differentiated services networks. |
IEEE/ACM Trans. Netw. |
2008 |
DBLP DOI BibTeX RDF |
quality of service (QoS), pricing, differentiated services |
12 | Dan Corbett |
Graph-Based Representation and Reasoning for Ontologies. |
Computational Intelligence: A Compendium |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Shahbaz Khan 0001, S. A. Mahmud, Hamed S. Al-Raweshidy |
A Rate-Adaptive MAC for IEEE 802.11 Networks. |
CNSR |
2008 |
DBLP DOI BibTeX RDF |
Loss Differentiation, WLAN, Rate Adaptation |
12 | Christian Bartsch 0002, Marco von Mevius, Andreas Oberweis |
Simulation of IT Service Processes with Petri-Nets. |
ICSOC Workshops |
2008 |
DBLP DOI BibTeX RDF |
IT Service Process, Availability Pattern, Petri-Net, Process Modeling, Process Simulation |
12 | David R. Lester |
Real Number Calculations and Theorem Proving. |
TPHOLs |
2008 |
DBLP DOI BibTeX RDF |
Computable Reals, Exact Arithmetic, Theorem Proving, PVS, Higher-order Logic |
12 | Zhibo Chen 0002, Carlos Ordonez 0001 |
Efficient OLAP with UDFs. |
DOLAP |
2008 |
DBLP DOI BibTeX RDF |
OLAP, CUBE, UDF |
12 | Honggang Wang 0001, Dongming Peng, Wei Wang 0015, Hamid Sharif, Hsiao-Hwa Chen |
Energy-Aware Adaptive Watermarking for Real-Time Image Delivery in Wireless Sensor Networks. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Piernicola Bettiol, Richard B. Vinter |
Sensitivity relations for optimal control problems with state constraints. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Eleni Michailidou, Simon Harper, Sean Bechhofer |
Investigating sighted users' browsing behaviour to assist web accessibility. |
ASSETS |
2008 |
DBLP DOI BibTeX RDF |
eye tracking, visual impairments, web accessibility, visual perception |
12 | Niels Lohmann |
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. |
BPM |
2008 |
DBLP DOI BibTeX RDF |
graph correction, correction of services, verification of services, service automata, BPEL, Choreographies, operating guidelines |
12 | Fehmida Hussain, Sharon Wood |
Modelling the Efficiencies and Interactions of Attentional Networks. |
WAPCV |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Lei Zhang 0004, Sushil Jajodia, Alexander Brodsky 0001 |
Simulatable Binding: Beyond Simulatable Auditing. |
Secure Data Management |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Sibo Yang, Franck Gechter, Abderrafiaa Koukam |
Application of Reactive Multi-agent System to Vehicle Collision Avoidance. |
ICTAI (1) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Jeff Pool, Anselmo Lastra, Montek Singh |
Energy-precision tradeoffs in mobile Graphics Processing Units. |
ICCD |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Jeff Sutherland, Carsten Ruseng Jakobsen, Kent Johnson |
Scrum and CMMI Level 5: The Magic Potion for Code Warriors. |
HICSS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Fu-ren Lin, Sheng-cheng Lin, Ying-fen Wang |
Can Peer-to-Peer Networks Facilitate Information Sharing in Collaborative Learning? |
HICSS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Cynthia Y. Lester |
Advancing the Multidisciplinary Nature of Human Computer Interaction in a Newly Developed Undergraduate Course. |
ACHI |
2008 |
DBLP DOI BibTeX RDF |
peer teaching, HCI education, multidisciplinary collaboration |
12 | T. Rajendran, K. V. Sreenaath |
Hash optimization for cryptographically generated address. |
COMSWARE |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry |
Verification of a Hierarchical Generic Mutual Exclusion Algorithm. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
model checking, grid computing, distributed algorithm, composition, mutual exclusion, colored Petri nets |