×

Design/CPN

swMATH ID: 1952
Software Authors: Al-Azzoni, Issam; Down, Douglas G.
Description: Modeling and verification of cryptographic protocols using coloured Petri nets and Design/CPN
Homepage: http://cpntools.org/
Related Software: CPN/Tools; PNML; TINA; ML; SYROCO; SNOOPY; mCRL2; Woflan; SPIN; C4.5; Chaff; Kronos; UCI-ml; GPenSIM; LOOPN++; Eiffel; BETA; Reo; PRISM; LoLA
Cited in: 35 Documents
Further Publications: http://cpntools.org/publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Modeling and verification of cryptographic protocols using coloured Petri nets and Design/CPN. Zbl 1087.68033
Al-Azzoni, Issam; Down, Douglas G.
2005
all top 5

Cited by 64 Authors

9 Kristensen, Lars Michael
3 Lakos, Charles A.
3 Mailund, Thomas
3 Padberg, Julia
2 Christensen, Soren
2 de Vink, Erik P.
2 Ehrig, Hartmut
2 Jensen, Kurt
2 Penczek, Wojciech
2 Półrola, Agata
1 Al-Azzoni, Issam
1 Al-Riyami, Badriya
1 Albuquerque, Rosângela
1 Argirov, V. S.
1 Baldan, Paolo
1 Baresi, Luciano
1 Barreto, Guilherme A.
1 Barroso, Giovanni C.
1 Barylska, Kamila
1 Beloglazov, D. M.
1 Ben Mnaouer, Adel
1 Bosilj-Vuksic, Vesna
1 Bystrov, Aleksandr V.
1 Chaouiya, Claudine
1 Chetvertakov, E. A.
1 Churina, T. G.
1 Cocco, Nicoletta
1 Júnior, Corneli
1 Cotronis, J. Y.
1 Down, Douglas G.
1 Ermel, Claudia
1 Essani, Furqan Hussain
1 Gajewsky, Maike
1 Gogolinska, Anna
1 Gradišar, D.
1 Hafidi, Y.
1 Haider, Sajjad A.
1 Hlupic, Vlatka
1 Hoffmann, Kathrin
1 Høyer Mortensen, Kjeld
1 Jørgensen, Jens Bæk
1 Kokash, Natallia
1 Krause, Christian
1 Lai, Yuan-Cheng
1 Lewis, Glenn
1 Lin, Yi-Neng
1 Lin, Ying-Dar
1 Lorentsen, Louise
1 Marin, Andrea
1 Mossakowski, Till
1 Mušič, Gašper
1 Najafi, Issa
1 Nepomniaschy, Valery A.
1 Pezzè, Mauro
1 Qian, Zhilin
1 Remy, Elisabeth
1 Simeoni, Marta
1 Sun, Hua
1 Thieffry, Denis
1 Tsiatsoulis, Zacharias
1 Urbášek, Milan
1 Valmari, Antti
1 Yang, Nianhua
1 Yu, Huiqun
all top 5

Cited in 18 Serials

2 Fundamenta Informaticae
1 Programming and Computer Software
1 Theoretical Computer Science
1 Science of Computer Programming
1 Parallel Computing
1 Mathematical and Computer Modelling
1 Formal Aspects of Computing
1 Journal of Parallel and Distributed Computing
1 Discrete Event Dynamic Systems
1 Nordic Journal of Computing
1 Informatica (Ljubljana)
1 Mathematical and Computer Modelling of Dynamical Systems
1 Natural Computing
1 Journal of Discrete Algorithms
1 Studies in Computational Intelligence
1 Algorithms
1 International Journal of Nonlinear Analysis and Applications
1 Journal of Logical and Algebraic Methods in Programming
all top 5

Cited in 7 Fields

33 Computer science (68-XX)
4 Operations research, mathematical programming (90-XX)
2 Systems theory; control (93-XX)
1 Mathematical logic and foundations (03-XX)
1 Probability theory and stochastic processes (60-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year