Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio

name

• Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio

Authored works

Works contributed to

• A new unfolding approach to LTL model checking
• A reachability analyser for algebraic system nets
• A rule-based formal model for software configuration
• A tree expansion formalism for generative string rewriting
• A wireless multicast delivery architecture for mobile terminals
• Algorithms for classification of combinatorial objects
• Algorithms for nonuniform networks
• Analysis of cryptographic protocols via symbolic state space enumeration
• Aspects of modelling and simulation of genetic algorithms : a formal approach
• Authorization and availability : aspects of open network security
• Automated testing of Büchi automata translators for linear temporal logic
• Automatic translation of SDL into high level Petri nets
• Bounded model checking for verifying concurrent programs
• Combining symbolic and partial order methods for model checking 1-safe Petri nets
• Computational complexity of the place/transition-net symmetry reduction method
• Computational methods for Ramsey numbers
• Covering a square with up to 30 equal circles
• Deadlock and reachability checking with finite complete prefixes
• Efficient computer-aided verification of parallel and distributed software systems
• Implementing LTL model checking with net unfoldings
• Isomorph-free exhaustive generation of combinatorial designs
• Julk. - Hels. yliop., viest. laitos, 1
• Leksa notes in computer science : festschrift in honour of professor Leo Ojala
• Minimum sum and difference covers of Abelian groups
• Model checking linear temporal logic properties of Petri nets with fairness constraints
• New canonical representative marking algorithms for place/transition-nets
• On model checking safety properties
• On the symmetry reduction method for Petri nets and similar formalisms
• Privacy and accountability in certificate systems
• Proof complexity of cut-based tableaux for Boolean circuit satisfiability checking
• Sets in Abelian groups with distinct sums of pairs
• Specification-based test selection in formal conformance testing
• Symbolic model checking of hierarchical UML state machines
• Symbolic step encodings for object based communicating state machines
• Symmetry reduction algorithms for data symmetries

Works about Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio