• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

Filter
Conferentiebijdrage
2005

From Chi-t to mCRL : combining performance and functional analysis

Wijs, A. J. & Fokkink, W. J., 2005, Proceedings of the 10th Conference on Engineering of Complex Computer Systems. Washington: Institute of Electrical and Electronics Engineers, blz. 184-193

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Generalized innermost rewriting

Pol, van de, J. C. & Zantema, H., 2005, Rewriting Techniques and Applications (Proceedings 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005). Giesl, J. (redactie). Berlin: Springer, blz. 2-16 (Lecture Notes in Computer Science; vol. 3467).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
2 Downloads (Pure)

Incremental verification of Owicki/Gries proof outlines using PVS

Mooij, A. J. & Wesselink, J. W., 2005, Formal methods and software engineering : 7th international conference, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings. Lau, K. K. & Banach, R. (redactie). Berlin: Springer, blz. 390-404 (Lecture Notes in Computer Science; vol. 3785).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)

Is timed branching bisimilarity an equivalence indeed?

Fokkink, W. J., Pang, J. & Wijs, A. J., 2005, Proceedings of the 3rd Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2005). Pettersson, P. & Yi, W. (redactie). Heidelberg: Springer, blz. 258-272 (Lecture Notes in Computer Science; vol. 3829).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

10 Citaten (Scopus)

Lock-free parallel garbage collection

Gao, H., Groote, J. F. & Hesselink, W. H., 2005, Parallel and distributed processing and applications (Third International Symposium, ISPA'05, Nanjing, China, November 2-5, 2005. Proceedings). Pan, Y., Chen, D., Guo, M., Cao, J. & Dongarra, J. J. (redactie). Berlin: Springer, blz. 263-274 (Lecture Notes in Computer Science; vol. 3758).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
1 Downloads (Pure)

Looking for stability

Huizing, C., Kuiper, R., Punter, H. T. & Serebrenik, A., 2005, Proceedings 6th Net.Object Days (Erfurt, Germany, September 19-22, 2005). Franczyk, B. & et al., X. (redactie). Ilmenau, Germany: tranSIT GmbH, blz. 575-585

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Looking for stability

Huizing, C., Kuiper, R., Punter, H. T. & Serebrenik, A., 2005, Proceedings of VVSS2005 : verification and validation of software systems (Eindhoven, The Netherlands, November 24, 2005). Punter, T. & Eekelen, van, M. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 148-161 (Computer Science Reports; vol. 05-30).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Looking for stability

Huizing, C., Kuiper, R., Punter, H. T. & Serebrenik, A., 2005, Proceedings of Development and Deployment of Product Software 2005 (DDoPS-05, San Diego CA, USA, June 27-28, 2005). Dey, P., Amin, M. & Brinkkemper, S. (redactie). blz. 291-304

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Modeling the epistemics of communication with functional programming

Orzan, S. M. & Eijck, van, J., 2005, Proceedings 6th Symposium on Trends in Functional Programming (TFP'05, Tallinn, Estonia, September 23-24, 2005). Eekelen, van, M. (redactie). Tallinn: Institute of Cybernetics, blz. 44-59

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

On tree automata that certify termination of left-linear term rewriting systems

Geser, A., Hofbauer, D., Waldmann, J. & Zantema, H., 2005, Rewriting Techniques and Applications (Proceedings 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005). Giesl, J. (redactie). Berlin: Springer, blz. 353-367 (Lecture Notes in Computer Science; vol. 3467).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

11 Citaten (Scopus)
2 Downloads (Pure)

Operational semantics of security protocols

Cremers, C. J. F. & Mauw, S., 2005, Scenarios : Models, Transformations and Tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised selected papers. Leue, S. & Systä, T. J. (redactie). Berlin: Springer, blz. 66-89 24 blz. (Lecture Notes in Computer Science (LNCS); vol. 3466).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

30 Citaten (Scopus)

Proving liveness with fairness using rewriting

Koprowski, A. & Zantema, H., 2005, Frontiers of Combining Systems (Proceedings 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005). Gramlich, B. (redactie). Berlin: Springer, blz. 232-247 16 blz. (Lecture Notes in Computer Science (LNCS); vol. 3717)(Lecture Notes in Artificial Intelligence (LNAI); vol. 3717).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)

Reflections on a geometry of processes

Grabmayer, C. A., Klop, J. W. & Luttik, B., 2005, Algebraic Process Calculi: The First Twenty Five Years and Beyond (Short contributions from the workshop, Bertinoro, Forli, Italy, August 1-5, 2005), BRICS Notes Series NS-05-3. Aceto, L. & Gordon, A. D. (redactie). Aarhus, Denmark: BRICS, University of Aarhus, blz. 118-125

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Regular expressions in process algebra

Baeten, J. C. M. & Corradini, F., 2005, Logic in Computer Science (Proceedings Twentieth Annual IEEE Symposium, LICS 2005, Chicago IL, USA, June 26-29, 2005). Los Alamitos: Institute of Electrical and Electronics Engineers, blz. 12-19

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)

Six themes for future concurrency research

Baeten, J. C. M. & Bergstra, J. A., 2005, Algebraic process calculi : the first twenty five years and beyond : short contributions from the workshop, PA'05, Bertinoro, Forli, Italy, August 1-5, 2005. Aceto, L. & Gordon, A. D. (redactie). Aarhus: University of Aarhus, blz. 21-23 (BRICS notes series; vol. NS-05-3).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Strong splitting bisimulation equivalence

Bergstra, J. A. & Middelburg, C. A., 2005, Algebra and Coalgebra in Computer Science (Proceedings First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005). Fiadeiro, J. L., Harman, N., Roggenbach, M. & Rutten, J. (redactie). Berlin: Springer, blz. 83-97 (Lecture Notes in Computer Science; vol. 3629).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)

Stuttering congruence for $\Chi$

Luttik, B. & Trcka, N., 2005, Model Checking Software (Proceedings 12th International SPIN Workshop, San Francisco CA, USA, August 22-24, 2005). Godefroid, P. (redactie). Berlin: Springer, blz. 185-199 (Lecture Notes in Computer Science; vol. 3639).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

SystemC^FL : a formalism for hardware/software co-design

Man, K. L., 2005, Proceedings of the 17th European Conference on Circuit Theory and Design (ECCTD'05, Cork, Ireland, August 29-September 2, 2005). O'Regan, F. & Wegener, C. (redactie). Piscataway: Institute of Electrical and Electronics Engineers, Vol. 1. blz. 193-196

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
4 Citaten (Scopus)
43 Downloads (Pure)

Toward reasoning about security protocols : a semantic approach

Hommersom, A., Meyer, J-JC. & Vink, de, E. P., 2005, Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2004, Nancy, France, August 16-20, 2004). blz. 53-75 (Electronic Notes in Theoretical Computer Science; vol. 126).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

93 Citaten (Scopus)

Verifying SystemC^FL designs using the SMV model checker

Man, K. L., 2005, Proceedings of the 8th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'05, Sopron, Hungary, April 13-16, 2005). blz. 244-247

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Virtual analysis and reduction of side-channel vulnerabilities of smartcards

Hartog, den, J. I. & Vink, de, E. P., 2005, Formal Aspects in Security and Trust (Proceedings IFIP TC1 WG1.7 Workshop, FAST, Toulouse, France, August 26-27, 2004). Dimitrakos, T. & Martinelli, F. (redactie). Boston: Kluwer Academic Publishers, blz. 85-98

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

11 Citaten (Scopus)

Weak bisimulation for action-type coalgebras (Extended abstract)

Sokolova, A., Vink, de, E. P. & Woracek, H., 2005, Proceedings 10th Conference on Category Theory and Computer Science (CTCS 2004, Copenhagen, Denmark, August 12-14, 2004). blz. 211-228 (Electronic Notes in Theoretical Computer Science; vol. 122).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)

What is algebraic in process theory?

Luttik, B., 2005, Algebraic Process Calculi: The First Twenty Five Years and Beyond (Short contributions from the workshop, Bertinoro, Forli, Italy, August 1-5, 2005), BRICS Notes Series NS-05-3. Aceto, L. & Gordon, A. D. (redactie). Aarhus, Denmark: BRICS, University of Aarhus, blz. 159-163

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

XML security in the next generation optical disc context

Nair, G. G., Gopalakrishnan, A., Mauw, S. & Moll, E., 2005, Secure Data Management (Proceedings 2nd VLDB Workshop, SDM 2005, Trondheim, Norway, September 2-3, 2005). Petkovic, M. (redactie). Berlin: Springer, blz. 217-233 (Lecture Notes in Computer Science; vol. 3674).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
2004

A checker for modal formulae for processes with data

Groote, J. F. & Willemse, T. A. C., 2004, Formal Methods for Components and Objects (Revised Lectures, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003). Boer, F. S., Bonsangue, M. M., Graf, S. & Roever, de, W. P. (redactie). Berlin: Springer, blz. 223-239 (Lecture Notes in Computer Science; vol. 3188).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
5 Downloads (Pure)

A distributed spanning tree algorithm for topology-aware networks

Mooij, A. J., Goga, N. & Wesselink, J. W., 2004, Proceedings of the Conference on Design, Analysis, and Simulation of Distributed Systems 2004 (DASD 2004, Arlington VA, USA, April 18-22, 2004). Unger, H. (redactie). The Society for Modeling and Simulation International (SCS), blz. 168-178

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

A formalization of anonymity and onion routing

Mauw, S., Verschuren, J. H. S. & Vink, de, E. P., 2004, Computer Security - ESORICS 2004 (Proceedings 9th European Symposium on Research in Computer Security, Sophia Antipolis, France, September 13-15, 2004). Samarati, P., Ryan, P., Gollmann, D. & Molva, R. (redactie). Berlin: Springer, blz. 109-124 (Lecture Notes in Computer Science; vol. 3193).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

40 Citaten (Scopus)
4 Downloads (Pure)

Almost wait-free resizable hashtable

Gao, H., Groote, J. F. & Hesselink, W. H., 2004, Proceedings 18th International Parallel and Distributed Processing Symposium (IPDPS 2004, Santa Fe, New Mexico, USA, April 26-30, 2004), Paper 50a. Los Alamitos CA: IEEE Computer Society, blz. 1-9

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

16 Citaten (Scopus)
1 Downloads (Pure)

Analyzing SystemC^FL designs using timed automata

Man, K. L., 2004, Proceedings 9th Biennial Baltic Electronics Conference (BEC 2004, Tallinn, Estonia, October 3-6, 2004).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

A proof system and a decision procedure for equality logic

Tveretina, O. & Zantema, H., 2004, LATIN 2004: Theoretical Informatics (Proceedings 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004). Farach-Colton, M. (redactie). Berlin: Springer, blz. 530-539 (Lecture Notes in Computer Science; vol. 2976).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
2 Downloads (Pure)

Automatic conformance testing of internet applications

Beek, van, H. M. A. & Mauw, S., 2004, Formal Approaches to Software Testing (Proceedings Third International Workshop, FATES 2003, Montreal, Quebec, Canada, October 6, 2003). Petrenko, A. & Ulrich, A. (redactie). Berlin: Springer, blz. 205-222 (Lecture Notes in Computer Science; vol. 2931).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)

Congruence for SOS with data

Mousavi, M. R., Reniers, M. A. & Groote, J. F., 2004, Proceedings 19th IEEE Symposium on Logic in Computer Science (LICS 2004, Turku, Finland, July 14-17, 2004). Los Alamitos CA, USA: IEEE Computer Society, blz. 303-312

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)

Denkniveaus bij algoritmen

Perrenet, J. C., Groote, J. F. & Kaasenbrood, E. J. S., 2004, NIOC Proceedings 2004 (Groningen, The Netherlands, November 3-4, 2004). Smedinga, R. & Tolboom, J. (redactie). Groningen: Uitgeverij Passage, blz. 83-88

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
48 Downloads (Pure)

Embeddings of hybrid automata in process algebra

Willemse, T. A. C., 2004, Integrated Formal Methods (Proceedings IFM 2004, Canterbury, UK, April 4-7, 2004). Boiten, E., Derrick, J. & Smith, G. (redactie). Berlin: Springer, blz. 343-362 (Lecture Notes in Computer Science; vol. 2999).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
2 Downloads (Pure)

Extensions of SystemC^FL for mixed-signal systems and formal verification

Man, K. L., 2004, Proceedings 5th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 20, 2004). Utrecht: STW Technology Foundation, blz. 103-107

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
33 Downloads (Pure)

Formal semantics of hybrid Chi

Schiffelers, R. R. H., Beek, van, D. A., Man, K. L., Reniers, M. A. & Rooda, J. E., 2004, Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers). Larsen, K. G. & Niebert, P. (redactie). Berlin: Springer, blz. 151-165 (Lecture Notes in Computer Science; vol. 2791).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)

Parameterised Boolean equation systems (Extended abstract)

Groote, J. F. & Willemse, T. A. C., 2004, CONCUR 2004 - concurrency theory : proceedings 15th international conference, London, UK, August 31-September 3, 2004. Gardner, P. & Yoshida, N. (redactie). Berlin: Springer, blz. 308-324 (Lecture Notes in Computer Science; vol. 3170).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Plug-ins for ISpec

Gool, van, L. C. M., Jonkers, H. B. M., Luit, E. J., Kuiper, R. & Roubtsov, S. A., 2004, Proceedings 5th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 20, 2004). Utrecht: STW Technology Foundation, blz. 35-40

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
39 Downloads (Pure)

Relative termination in term rewriting

Zantema, H., 2004, Proceedings 7th International Workshop on Termination (WST-04, Aachen, Germany, June 1-2, 2004), Aachener Informatik Berichte AIB-2004-07. Codish, M. & Middelkoop, A. (redactie). Aachen, Germany: RWTH, blz. 51-54

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

2 Downloads (Pure)

Rewriting for Fitch style natural deductions

Geuvers, J. H. & Nederpelt, R. P., 2004, Rewriting Techniques and Applications (Proceedings 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004). Oostrom, van, V. (redactie). Berlin: Springer, blz. 134-154 (Lecture Notes in Computer Science; vol. 3091).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)

Security aspects of DRM systems

Jonker, H. L., Mauw, S., Verschuren, J. H. S. & Schoonen, A. T. S. C., 2004, Proceedings of the 25th Symposium on Information Theory in the Benelux (Kerkrade, The Netherlands, June 2-4, 2004). Pellikaan, G. R. (redactie). Eindhoven, The Netherlands: Werkgemeenschap voor Informatie- en Communicatietheorie (WIC), blz. 169-176

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Solving disjunctive/conjunctive boolean equation systems with alternating fixed points

Groote, J. F. & Keinänen, M. K., 2004, Tools and Algorithms for the Construction and Analysis of Systems (Proceedings TACAS 2004, Part of ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004). Jensen, K. & Podelski, A. (redactie). Berlin: Springer, blz. 436-450 (Lecture Notes in Computer Science; vol. 2988).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)
3 Downloads (Pure)

Solving satisfiability of ground term algebras using DPLL and unification

Badban, B., Pol, van de, J. C., Tveretina, O. & Zantema, H., 2004, Proceedings 18th Workshop on Unification (UNIF2004, Cork, Ireland, July 5, 2004; affiliated with IJCAR'04). Kohlhase, M. (redactie).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

2 Downloads (Pure)

Statistical certification of software systems

Di Bucchianico, A., Groote, J. F., Hee, van, K. M. & Kruidhof, R., 2004, Proceedings CONQUEST 2004 (Nuremberg, Germany, September 22-24, 2004). Erlangen, Germany: ASQF, blz. 161-171

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

SystemC^FL: formalization of SystemC

Man, K. L., 2004, Proceedings 12th IEEE Mediterranean Electrotechnical Conference (Melecon 2004, Dubrovnik, Croatia, May 12-15, 2004). Matijasivic, M., Pejcinovic, B., Tomsic, Z. & Butkovic, Z. (redactie). Piscataway: Institute of Electrical and Electronics Engineers, blz. 201-204

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Test generation based on symbolic specifications

Frantzen, L., Tretmans, J. & Willemse, T. A. C., 2004, Formal Approaches to Software Testing (4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised selected papers). Grabowski, J. & Nielsen, B. (redactie). Berlin: Springer, blz. 1-15 (Lecture Notes in Computer Science; vol. 3395).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Thompson transformations for IF-logic?

Dechesne, F., 2004, Informal Proceedings of the workshop Knowledge and Games (KAG 2004, Liverpool, UK, July 10-11, 2004). Liverpool, UK: Department of Computer Science

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

TORPA : termination of rewriting proved automatically

Zantema, H., 2004, Rewriting techniques and applications : proceedings 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Oostrom, van, V. (redactie). Berlin: Springer, blz. 95-104 (Lecture Notes in Computer Science; vol. 3091).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

12 Citaten (Scopus)
2 Downloads (Pure)

Tree automata that certify termination of term rewriting systems

Geser, A., Hofbauer, D., Waldmann, J. & Zantema, H., 2004, Proceedings 7th International Workshop on Termination (WST-04, Aachen, Germany, June 1-2, 2004), Aachener Informatik Berichte AIB-2004-07. Codish, M. & Middelkoop, A. (redactie). Aachen, Germany: RWTH, blz. 14-17

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

2 Downloads (Pure)

Verification of a sliding window protocol in µCRL

Badban, B., Fokkink, W. J., Groote, J. F., Pang, J. & Pol, van de, J. C., 2004, Proceedings 5th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 20, 2004). Utrecht: STW Technology Foundation, blz. 157-176

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Open Access
Bestand
62 Downloads (Pure)