Search results for "µCRL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
115	Jim Dowling, Raymond Cunningham, Anthony Harrington, Eoin Curran, Vinny Cahill	Emergent Consensus in Decentralised Systems Using Collaborative Reinforcement Learning.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
110	Qiang Guo 0001, John Derrick, Csaba Hoch	Verifying Erlang Telecommunication Systems with the Process Algebra µCRL.	FORTE	2008	DBLP DOI BibTeX RDF	Telecoms case study, ?CRL, Verification, Process Algebras, Translation, Erlang
108	Qiang Guo 0001, John Derrick	Verification of timed Erlang/OTP components using the process algebra mucrl.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	OTP, process algebra ?CRL, timeout events, verification, erlang
103	Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol	µCRL: A Toolset for Analysing Algebraic Specifications.	CAV	2001	DBLP DOI BibTeX RDF
96	Stefan Blom, Natalia Ioustinova, Natalia Sidorova	Timed Verification with µCRL.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	modelling, model checking, verification, discrete time, CRL
88	Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas	Translating Erlang to µCRL.	ACSD	2004	DBLP DOI BibTeX RDF
86	Gregory Neven	Privacy-enhanced access control in primelife.	Digital Identity Management	2010	DBLP DOI BibTeX RDF
74	Anton Wijs, Wan J. Fokkink	From chi-t to µCRL: Combining Performance and Functional Analysis.	ICECCS	2005	DBLP DOI BibTeX RDF
72	H. W. Go, P. Y. Chan 0001, Y. Dong, Ai Fen Sui, Siu-Ming Yiu, Lucas Chi Kwong Hui, Victor O. K. Li	Performance evaluation on CRL distribution using flooding in mobile ad hoc networks (MANETs).	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF	performance evaluation, mobile ad hoc network (MANET), flooding, public-key infrastructure, certificate revocation
65	Qiang Guo 0001	Verifying Erlang/OTP Components in mu CRL.	FORTE	2007	DBLP DOI BibTeX RDF	OTP, ?CRL, Verification, process algebra, Erlang
60	Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko	Time abstraction in timed μCRL a la regions.	IPDPS	2006	DBLP DOI BibTeX RDF
60	Jun Pang 0001	Analysis of a Security Protocol in µCRL.	ICFEM	2002	DBLP DOI BibTeX RDF
57	Beng-Hong Lim, Chi-Chao Chang, Grzegorz Czajkowski, Thorsten von Eicken	Performance Implications of Communication Mechanisms in All-Software Global Address Space Systems.	PPoPP	1997	DBLP DOI BibTeX RDF
57	Philip W. Hall IV	Parsing with C++ Constructors.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	C++
57	Baowen Xu	CRL/Pascal: A Pascal-oriented Cross Reference Language And Its Applications.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	Pascal
53	Bahareh Badban, Wan J. Fokkink, Jan Friso Groote, Jun Pang 0001, Jaco van de Pol	Verification of a sliding window protocol in µCRL and PVS.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	?CRL, Specification, Process algebra, Verification techniques, Sliding window protocols, Branching bisimulation
51	David A. Cooper	A Model of Certificate Revocation.	ACSAC	1999	DBLP DOI BibTeX RDF	certificate revocation, certification authority, CRL, certificate revocation list
45	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
45	Jaco van de Pol, Miguel Valero Espada	Modal Abstractions in µCRL.	AMAST	2004	DBLP DOI BibTeX RDF
44	David A. Cooper	A More Efficient Use of Delta-CRLs.	S&P	2000	DBLP DOI BibTeX RDF	delta-CRL, certificate revocation, CRL, certificate revocation list
43	Xia Zhanguo, Guan Hongjie, Wang Ke	Research on Refining the Distributed Supply Chain Procurement Plans Based on CRL.	ISIP	2008	DBLP DOI BibTeX RDF
43	As'ad Salkham, Raymond Cunningham, Anurag Garg, Vinny Cahill	A Collaborative Reinforcement Learning Approach to Urban Traffic Control Optimization.	IAT	2008	DBLP DOI BibTeX RDF
43	Anantharaman Lakshminarayanan, Tong-Lee Lim	Augmented Certificate Revocation Lists.	ACISP	2006	DBLP DOI BibTeX RDF
43	Jim Dowling, Raymond Cunningham, Eoin Curran, Vinny Cahill	Collaborative Reinforcement Learning of Autonomic Behaviour.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
36	Jun Pang 0001, Wan J. Fokkink, Rutger F. H. Hofman, Ronald Veldema	Model Checking a Cache Coherence Protocol for a Java DSM Implementation.	IPDPS	2003	DBLP DOI BibTeX RDF	µCRL, Java, model checking, distributed shared memory, cache coherence protocols
36	Jan Friso Groote, Tim A. C. Willemse	A Checker for Modal Formulae for Processes with Data.	FMCO	2003	DBLP DOI BibTeX RDF	First Order Modal -Calculus, First Order Boolean Equation Systems, Data-Dependent Systems, Model Checking, Infinite State Systems, CRL
36	Dae Hyun Yum, Jae Eun Kang, Pil Joong Lee	Advanced Certificate Status Protocol.	MMM-ACNS	2003	DBLP DOI BibTeX RDF	ACSP, PKI, certificate revocation, CRL, OCSP
36	Ninghui Li, Joan Feigenbaum	Nonmonotonicity, User Interfaces, and Risk Assessment in Certificate Revocation.	Financial Cryptography	2001	DBLP BibTeX RDF	Certificates, PKI, Revocation, CRL
36	Diana Berbecaru, Antonio Lioy, Marius Marian	On the Complexity of Public-Key Certificate Validation.	ISC	2001	DBLP DOI BibTeX RDF	certificate validation, DPD, DPV, PKI, certificate revocation, CRL, OCSP
36	Petra Wohlmacher	Digital certificates: a survey of revocation methods.	ACM Multimedia Workshops	2000	DBLP DOI BibTeX RDF	CRS, CRT, revocation, digital certificate, CRL, public-key certificate, X.509, attribute certificate, OCSP
36	Alexander D. Stoyen, Thomas J. Marlowe, Mohamed F. Younis, Plamen V. Petrov	A Development Environment for Complex Distributed Real-Time Applications.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Engineering of complex distributed real-time systems, integrated tool suites, user-transparent handling of complexity, runtime kernels, code transformers and optimizers, schedulability analyzers, compilation, C++, monitoring, debugging, allocation, CRL
36	Carlisle Adams, Steve Lloyd	Profiles and protocols for the Internet Public-Key Infrastructure.	FTDCS	1997	DBLP DOI BibTeX RDF	Internet Public-Key Infrastructure, X.509 authentication framework, IETF PKIX working group, CRL profile, operational protocols, certificate management protocols, certificate policy, time stamp protocols, notrary protocols, Internet, protocols, standardization, certification, X.509 certificate
31	Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko	From µCRL to mCRL2: Motivation and Outline.	APC 25	2005	DBLP DOI BibTeX RDF
31	Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik	Analysing the BKE-security Protocol with µCRL.	ARTS	2004	DBLP DOI BibTeX RDF
31	Wan J. Fokkink, Jan Friso Groote, Jun Pang 0001, Bahareh Badban, Jaco van de Pol	Verifying a Sliding Window Protocol in µCRL.	AMAST	2004	DBLP DOI BibTeX RDF
31	Jaco van de Pol, Miguel Valero Espada	Formal Specification of JavaSpaces Architecture Using µCRL.	COORDINATION	2002	DBLP DOI BibTeX RDF
31	Jan Friso Groote, Jos van Wamel	Analysis of three hybrid systems in timed µCRL.	Sci. Comput. Program.	2001	DBLP DOI BibTeX RDF
31	Carron Shankland, Mark van der Zwaag	The Tree Identify Protocol of IEEE 1394 in µCRL.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Verification of distributed systems, Leader election protocols, Process algebra
31	Marc Bezem, Jan Friso Groote	A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL.	Comput. J.	1994	DBLP DOI BibTeX RDF
31	Jan Friso Groote, Alban Ponse	Proof Theory for µCRL: A Language for Processes with Data.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
29	Keita Emura, Atsuko Miyaji, Kazumasa Omote	A Certificate Revocable Anonymous Authentication Scheme with Designated Verifier.	ARES	2009	DBLP DOI BibTeX RDF
29	Gustavo Carneiro 0001, Bogdan Georgescu, Sara Good, Dorin Comaniciu	Detection and Measurement of Fetal Anatomies from Ultrasound Images using a Constrained Probabilistic Boosting Tree.	IEEE Trans. Medical Imaging	2008	DBLP DOI BibTeX RDF
29	Dov M. Gabbay, George Metcalfe	Fuzzy logics based on [0, 1)-continuous uninorms.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 03B47, 03B52
29	Maithili Narasimha, Gene Tsudik	Privacy-Preserving Revocation Checking with Modified CRLs.	EuroPKI	2007	DBLP DOI BibTeX RDF	Anonymity and Privacy, Certificate Revocation
29	Bas Ploeger, Lou J. Somers	Analysis and verification of an automatic document feeder.	SAC	2007	DBLP DOI BibTeX RDF	copier, mCRL, process algebra, document systems
29	Tom Chothia, Simona Orzan, Jun Pang 0001, Muhammad Torabi Dashti	A Framework for Automatically Checking Anonymity with mu CRL.	TGC	2006	DBLP DOI BibTeX RDF
29	Tomasz Jurdzinski	The Boolean Closure of Growing Context-Sensitive Languages.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
29	Ying Wang, Huiyu Jin, Shunzhi Zhu, Maoqing Li	Scheduling of Re-entrant Lines with Neuro-Dynamic Programming Based on a New Evaluating Criterion.	ISNN (2)	2006	DBLP DOI BibTeX RDF
29	Peter Rigole, Yolande Berbers	Resource-Driven Collaborative Component Deployment in Mobile Environments.	ICAS	2006	DBLP DOI BibTeX RDF
29	Anantharaman Lakshminarayanan, Aditya Liviandi, Tong-Lee Lim, William Chui	Can CRLs Provide Bandwidth-Efficient Online Certificate Status?	LCN	2006	DBLP DOI BibTeX RDF
29	Jim Dowling, Eoin Curran, Raymond Cunningham, Vinny Cahill	Using feedback in collaborative reinforcement learning to adaptively optimize MANET routing.	IEEE Trans. Syst. Man Cybern. Part A	2005	DBLP DOI BibTeX RDF
29	Michel A. Reniers, Yaroslav S. Usenko	Analysis of Timed Processes with Data Using Algebraic Transformations.	TIME	2005	DBLP DOI BibTeX RDF
29	Aradee Rojanapasakorn, Chanboon Sathitwiriyawong	A Performance Study of Over-Issuing Delta-CRLs with Distribution Points.	AINA (2)	2004	DBLP DOI BibTeX RDF
29	Jaco van de Pol, Miguel Valero Espada	Verification of JavaSpacesTM Parallel Programs.	ACSD	2003	DBLP DOI BibTeX RDF	software architecture (JavaSpaces), Formal analysis and verification, Distributed termination problem, Parallel computing
29	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	On the Logical Characterisation of Performability Properties.	ICALP	2000	DBLP DOI BibTeX RDF
29	Hiroaki Kikuchi, Kensuke Abe, Shohachiro Nakanishi	Performance Evaluation of Certificate Revocation Using k-Valued Hash Tree.	ISW	1999	DBLP DOI BibTeX RDF
29	Henri E. Bal, Raoul Bhoedjang, Rutger F. H. Hofman, Ceriel J. H. Jacobs, Koen Langendoen, Tim Rühl	Performance Evaluation of the Orca Shared-Object System.	ACM Trans. Comput. Syst.	1998	DBLP DOI BibTeX RDF	parallel processing, distributed shared memory, portability
29	Jan Friso Groote, Radu Mateescu 0001	Verification of Temporal Properties of Processes in a Setting with Data.	AMAST	1998	DBLP DOI BibTeX RDF
22	Zhao Qiu, Mingrui Chen, Jun Huang	A Study on CRL Issue by P2P Network.	IITSI	2010	DBLP DOI BibTeX RDF	P2P, PKI, CRL
22	Kenneth P. Laberteaux, Jason J. Haas, Yih-Chun Hu	Security certificate revocation list distribution for vanet.	Vehicular Ad Hoc Networks	2008	DBLP DOI BibTeX RDF	security, simulation, vanet, revocation, crl
22	Jan Friso Groote, François Monin, Jan Springintveld	A computer checked algebraic verification of a distributed summation algorithm.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Distributed summation algorithm, Formal proof checking, Verification, Process algebra, PVS, CRL
22	Jose L. Muñoz, Jordi Forné, Oscar Esparza, Miguel Soriano	Implementation of an Efficient Authenticated Dictionary for Certificate Revocation.	ISCC	2003	DBLP DOI BibTeX RDF	AD and OCSP, Public key cryptography, PKI, CRT, certificate revocation, CRL
22	Vishwa Prasad, Sreenivasa Potakamuri, Michael Ahern, Igor Balabine, Michah Lerner, Partha Dutta	Scalable Policy Driven and General Purpose Public Key Infrastructure (PKI).	ACSAC	2000	DBLP DOI BibTeX RDF	interoperable security infrastructure, AT? Labs, multiple certificate authorities, third-party CA systems, uniform enrollment procedures, Verisign, authenticated IP services, policy descriptions, certificate sources, X.509v3 certificates, CRML, PKCS, X509, XML, software architecture, authentication, public key cryptography, certification, client-server systems, public key infrastructure, revocation, intranets, message authentication, CRL, OCSP, middleware platform
14	Krystian Samp, Stefan Decker	Supporting menu design with radial layouts.	AVI	2010	DBLP DOI BibTeX RDF	radial layout, menus
14	Jens R. Calamé, Jaco van de Pol	Applying Model-Based Testing to HTML Rendering Engines - A Case Study.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
14	Stefan Blom, Jaco van de Pol	Symbolic Reachability for Process Algebras with Recursive Data Types.	ICTAC	2008	DBLP DOI BibTeX RDF
14	Vipul Goyal	Certificate Revocation Using Fine Grained Certificate Space Partitioning.	Financial Cryptography	2007	DBLP DOI BibTeX RDF
14	Muhammad Torabi Dashti, Anton Wijs	Pruning State Spaces with Extended Beam Search.	ATVA	2007	DBLP DOI BibTeX RDF
14	Muhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker	Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme.	FSEN	2007	DBLP DOI BibTeX RDF
14	Wan J. Fokkink, Allard Kakebeen, Jun Pang 0001	Adapting the UPPAAL Model of a Distributed Lift System.	FSEN	2007	DBLP DOI BibTeX RDF
14	Martin Lukac, Marek A. Perkowski	Quantum Mechanical Model of Emotional Robot Behaviors.	ISMVL	2007	DBLP DOI BibTeX RDF
14	Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang 0001, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs	Distributed Analysis with mu CRL: A Compendium of Case Studies.	TACAS	2007	DBLP DOI BibTeX RDF
14	Jun Liu, Jianxin Liao, Xiaomin Zhu 0002	A Password-Based Authentication and Key Establishment Scheme for Mobile Environment.	AINA Workshops (2)	2007	DBLP DOI BibTeX RDF
14	Seung Wook Jung, Souhwan Jung	Forward Secure Password-Enabled PKI with Instant Revocation.	EuroPKI	2006	DBLP DOI BibTeX RDF
14	Yuan Zhou, Zhenfu Cao, Zhenchuan Chai	Identity Based Key Insulated Signature.	ISPEC	2006	DBLP DOI BibTeX RDF
14	Frédéric Lang	Refined Interfaces for Compositional Verification.	FORTE	2006	DBLP DOI BibTeX RDF
14	Taolue Chen, Tingting Han 0001, Jian Lu 0001	Analysis of A Leader Election Algorithm in uCRL.	CIT	2005	DBLP DOI BibTeX RDF
14	Frédéric Lang	Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods.	IFM	2005	DBLP DOI BibTeX RDF
14	Clara Benac Earle, Lars-Åke Fredlund	Verification of Language Based Fault-Tolerance.	EUROCAST	2005	DBLP DOI BibTeX RDF
14	Clara Benac Earle, Lars-Åke Fredlund, John Derrick	Verifying fault-tolerant Erlang programs.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	code verification, fault-tolerance, concurrency
14	Amir Herzberg, Yosi Mass	Relying Party Credentials Framework.	Electron. Commer. Res.	2004	DBLP DOI BibTeX RDF
14	Thomas Arts, Clara Benac Earle, John Derrick	Development of a verified Erlang program for resource locking.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Formal methods, Functional programming, Erlang, Software verification
14	Dae Hyun Yum, Pil Joong Lee	Separable Implicit Certificate Revocation.	ICISC	2004	DBLP DOI BibTeX RDF	certificate-based encryption, PKI, certificate revocation
14	Alvin T. S. Chan, Peter Y. H. Wong, Siu Nam Chuang	CRL: A Context-Aware Request Language for Mobile Computing.	ISPA	2004	DBLP DOI BibTeX RDF
14	Jan Cederquist, Muhammad Torabi Dashti	Formal Analysis of a Fair Payment Protocol.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
14	Jun Pang 0001, Jaco van de Pol, Miguel Valero Espada	Abstraction of Parallel Uniform Processes with Data.	SEFM	2004	DBLP DOI BibTeX RDF
14	J. J. T. Kleijn, Michel A. Reniers, Jacobus E. Rooda	Analysis of an Industrial System.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	verification, formal methods, process algebra, industrial systems
14	Simona Orzan, Jaco van de Pol	Verification of Distributed Dataspace Architectures.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
14	Jun Pang 0001, Bart Karstens, Wan J. Fokkink	Analyzing the Redesign of a Distributed Lift System in UPPAAL.	ICFEM	2003	DBLP DOI BibTeX RDF
14	Md Maruf Hasan, Kazuhiro Takeuchi, Hitoshi Isahara, Virach Sornlertlamvanich	Digital Libraries in Asian Languages - A TCL Initiative.	ICADL	2003	DBLP DOI BibTeX RDF
14	Masaya Nakayama, Hiroyuki Ohno	Current Status of IAA (I Am Alive) system and IAA Alliance.	SAINT Workshops	2003	DBLP DOI BibTeX RDF
14	Matei Ciobanu Morogan, Sead Muftic	Certificate Management in Ad Hoc Networks.	SAINT Workshops	2003	DBLP DOI BibTeX RDF
14	Eugenio Faldella, Marco Prandini	An Application of Efficient Certificate Status Handling Methods to High Traffic Authentication Services.	ISCC	2003	DBLP DOI BibTeX RDF
14	Jose L. Muñoz, Jordi Forné, Oscar Esparza, Miguel Soriano, David Jodra	Evaluation of Revocation Systems with a JAVA Test-bed.	DEXA Workshops	2003	DBLP DOI BibTeX RDF
14	Jozef Hooman, Jaco van de Pol	Formal verification of replication on a distributed data space architecture.	SAC	2002	DBLP DOI BibTeX RDF	data space architecture, model-checking, formal verification, coordination, theorem proving
14	Jose L. Muñoz, Jordi Forné, Juan C. Castro	Evaluation of Certificate Revocation Policies: OCSP vs. Overissued-CRL.	DEXA Workshops	2002	DBLP DOI BibTeX RDF
14	Jong-Phil Yang, Weon Shin, Kyung Hyune Rhee	An End-to-End Authentication Protocol in Wireless Application Protocol.	ACISP	2001	DBLP DOI BibTeX RDF
14	Amir Herzberg, Yosi Mass	Relying Party Credentials Framework.	CT-RSA	2001	DBLP DOI BibTeX RDF
14	Barbara Fox, Brian A. LaMacchia	Panel: Public Key Infrastructure: PKIX, Signed XML or Something Else?	Financial Cryptography	2000	DBLP DOI BibTeX RDF
14	Patrick D. McDaniel, Aviel D. Rubin	A Response to ''Can We Eliminate Certificate Revocation Lists?''.	Financial Cryptography	2000	DBLP DOI BibTeX RDF